Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. 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

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

   grisette	Grisette.Internal.TH.Derivation.DeriveAllSyms

   Derive AllSyms instance for a data type.

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

   grisette	Grisette.Internal.TH.Derivation.DeriveAllSyms

   Derive AllSyms1 instance for a data type.

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

   grisette	Grisette.Internal.TH.Derivation.DeriveAllSyms

   Derive AllSyms2 instance for a data type.

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

   grisette	Grisette.Internal.TH.Derivation.DeriveBinary

   Derive Binary instance for a data type.

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

   grisette	Grisette.Internal.TH.Derivation.DeriveCereal

   Derive Serialize instance for a data type.

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

   grisette	Grisette.Internal.TH.Derivation.DeriveEq

   Derive Eq instance for a data type.

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

   grisette	Grisette.Internal.TH.Derivation.DeriveEq

   Derive Eq1 instance for a data type.

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

   grisette	Grisette.Internal.TH.Derivation.DeriveEq

   Derive Eq2 instance for a data type.

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

    grisette	Grisette.Internal.TH.Derivation.DeriveEvalSym

    Derive EvalSym instance for a data type.

Page 42 of many | Previous | Next