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. deriveJsonNoTypeNamePrefix :: Name -> Q [Dec]

   deriveJsonNoPrefix	Data.Aeson.DeriveNoPrefix

   No documentation available.

2. deriveToJsonNoTypeNamePrefix :: Name -> Q [Dec]

   deriveJsonNoPrefix	Data.Aeson.DeriveNoPrefix

   No documentation available.

3. deriveElim :: Name -> Q [Dec]

   eliminators	Data.Eliminator.TH

   deriveElim dataName generates a top-level elimination function for the datatype dataName. The eliminator will follow these naming conventions:

   • If the datatype has an alphanumeric name, its eliminator will have that name with elim prepended.
   • If the datatype has a symbolic name, its eliminator will have that name with ~> prepended.

4. deriveElimNamed :: String -> Name -> Q [Dec]

   eliminators	Data.Eliminator.TH

   deriveElimNamed funName dataName generates a top-level elimination function named funName for the datatype dataName.

5. deriveTypeElim :: Name -> Q [Dec]

   eliminators	Data.Eliminator.TH

   deriveTypeElim dataName generates a type-level eliminator for the datatype dataName. The eliminator will follow these naming conventions:

   • If the datatype has an alphanumeric name, its eliminator will have that name with Elim prepended.
   • If the datatype has a symbolic name, its eliminator will have that name with ~> prepended.

6. deriveTypeElimNamed :: String -> Name -> Q [Dec]

   eliminators	Data.Eliminator.TH

   deriveTypeElimNamed funName dataName generates a type-level eliminator named funName for the datatype dataName.

7. deriveClasses :: OptionsT (f :: Type -> Type) -> [Name]

   enum-subset-generate	Data.MakeEnum.Options

   No documentation available.

8. deriveGeneralizable :: Name -> DecsQ

   extrapolate	Test.Extrapolate

   Derives a Generalizable instance for a given type Name. If needed, this function also automatically derivates Listable, Express and Name instances using respectively deriveListable, deriveExpress and deriveName. Consider the following Stack datatype:

   data Stack a = Stack a (Stack a) | Empty
   

   Writing

   deriveGeneralizable ''Stack
   

   will automatically derive the following Generalizable instance:

   instance Generalizable a => Generalizable (Stack a) where
   instances s = this "s" s
   $ let Stack x y = Stack undefined undefined `asTypeOf` s
   in instances x
   . instances y
   

   This function needs the TemplateHaskell extension.

9. deriveGeneralizableCascading :: Name -> DecsQ

   extrapolate	Test.Extrapolate

   Derives a Generalizable instance for a given type Name cascading derivation of type arguments as well.

10. deriveGeneralizableIfNeeded :: Name -> DecsQ

    extrapolate	Test.Extrapolate

    Same as deriveGeneralizable but does not warn when instance already exists (deriveGeneralizable is preferable).

Page 37 of many | Previous | Next