Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. derivedNoSpecSimpleFresh :: (Generic a, GenSymSimpleNoSpec (Rep a), MonadFresh m) => () -> m a

   grisette	Grisette.Internal.Core.Data.Class.GenSym

   We cannot provide DerivingVia style derivation for GenSymSimple, while you can use this simpleFresh implementation to implement GenSymSimple fo your own types. This simpleFresh implementation is for the types that does not need any specification. It will generate product types by generating each fields with () as specification. It will not work on sum types. Note: Never use on recursive types.

2. derivedSameShapeSimpleFresh :: (Generic a, GenSymSameShape (Rep a), MonadFresh m) => a -> m a

   grisette	Grisette.Internal.Core.Data.Class.GenSym

   We cannot provide DerivingVia style derivation for GenSymSimple, while you can use this simpleFresh implementation to implement GenSymSimple fo your own types. This simpleFresh implementation is for the types that can be generated with a reference value of the same type. For sum types, it will generate the result with the same data constructor. For product types, it will generate the result by generating each field with the corresponding reference value. Note: Can be used on recursive types.

3. deriveWith :: DeriveConfig -> [Name] -> [Name] -> Q [Dec]

   grisette	Grisette.Internal.TH.Derivation.Derive

   Derive the specified classes for a data type with the given name. Support the following classes for both vanilla data types and GADTs.

   • Mergeable
   • Mergeable1
   • Mergeable2
   • Mergeable3
   • EvalSym
   • EvalSym1
   • EvalSym2
   • ExtractSym
   • ExtractSym1
   • ExtractSym2
   • SubstSym
   • SubstSym1
   • SubstSym2
   • NFData
   • NFData1
   • NFData2
   • Hashable (will fail to derive if the type contains any symbolic variables)
   • Hashable1 (will fail to derive if the type contains any symbolic variables)
   • Hashable2 (will fail to derive if the type contains any symbolic variables)
   • Show
   • Show1
   • Show2
   • PPrint
   • PPrint1
   • PPrint2
   • AllSyms
   • AllSyms1
   • AllSyms2
   • Eq
   • Eq1
   • Eq2
   • Ord (will fail to derive if the type contains any symbolic variables)
   • Ord1 (will fail to derive if the type contains any symbolic variables)
   • Ord2 (will fail to derive if the type contains any symbolic variables)
   • SymOrd
   • SymOrd1
   • SymOrd2
   • SymEq
   • SymEq1
   • SymEq2
   • UnifiedSymEq
   • UnifiedSymEq1
   • UnifiedSymEq2
   • UnifiedSymOrd
   • UnifiedSymOrd1
   • UnifiedSymOrd2
   • ToSym
   • ToSym1
   • ToSym2
   • ToCon
   • ToCon1
   • ToCon2
   • Serial
   • Serial1
   • Serial2
   • SimpleMergeable
   • SimpleMergeable1
   • SimpleMergeable2
   • Binary
   • Serialize
   Note that the following type classes cannot be derived for GADTs with existential type variables.
   • ToCon
   • ToCon1
   • ToCon2
   • ToSym
   • ToSym1
   • ToSym2
   • Serial
   • Serial1
   • Serial2
   • Binary
   • Serialize

4. deriveAllSyms :: DeriveConfig -> Name -> Q [Dec]

   grisette	Grisette.Internal.TH.Derivation.DeriveAllSyms

   Derive AllSyms instance for a data type.

5. deriveAllSyms1 :: DeriveConfig -> Name -> Q [Dec]

   grisette	Grisette.Internal.TH.Derivation.DeriveAllSyms

   Derive AllSyms1 instance for a data type.

6. deriveAllSyms2 :: DeriveConfig -> Name -> Q [Dec]

   grisette	Grisette.Internal.TH.Derivation.DeriveAllSyms

   Derive AllSyms2 instance for a data type.

7. deriveBinary :: DeriveConfig -> Name -> Q [Dec]

   grisette	Grisette.Internal.TH.Derivation.DeriveBinary

   Derive Binary instance for a data type.

8. deriveCereal :: DeriveConfig -> Name -> Q [Dec]

   grisette	Grisette.Internal.TH.Derivation.DeriveCereal

   Derive Serialize instance for a data type.

9. deriveEq :: DeriveConfig -> Name -> Q [Dec]

   grisette	Grisette.Internal.TH.Derivation.DeriveEq

   Derive Eq instance for a data type.

10. deriveEq1 :: DeriveConfig -> Name -> Q [Dec]

    grisette	Grisette.Internal.TH.Derivation.DeriveEq

    Derive Eq1 instance for a data type.

Page 41 of many | Previous | Next