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. deriveConjurableIfNeeded :: Name -> DecsQ

   code-conjure	Conjure

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

2. deriveConjurable :: Name -> DecsQ

   code-conjure	Conjure.Conjurable.Derive

   Derives an Conjurable instance for the given type Name. If not already present, this also derives Listable, Express and Name instances. If the Data.Express' type binding operators (-:, ->: or ->>:) are not in scope, this derives them as well. This function needs the TemplateHaskell extension. You can place the following at the top of the file:

   {-# LANGUAGE TemplateHaskell #-}
   import Conjure
   import Test.LeanCheck
   

   Then just call deriveConjurable after your data type declaration:

   data Peano  =  Z | S Peano  deriving  (Show, Eq)
   
   deriveConjurable ''Peano
   

   deriveConjurable expects the argument type to be an instance of Show and Eq.

3. deriveConjurableCascading :: Name -> DecsQ

   code-conjure	Conjure.Conjurable.Derive

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

4. deriveConjurableIfNeeded :: Name -> DecsQ

   code-conjure	Conjure.Conjurable.Derive

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

5. deriveExpress :: Name -> DecsQ

   code-conjure	Conjure.Engine

   Derives an Express instance for the given type Name. This function needs the TemplateHaskell extension. If -:, ->:, ->>:, ->>>:, ... are not in scope, this will derive them as well.

6. deriveExpressCascading :: Name -> DecsQ

   code-conjure	Conjure.Engine

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

7. deriveExpressIfNeeded :: Name -> DecsQ

   code-conjure	Conjure.Engine

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

8. deriveName :: Name -> DecsQ

   code-conjure	Conjure.Engine

   Derives a Name instance for the given type Name. This function needs the TemplateHaskell extension.

9. deriveNameCascading :: Name -> DecsQ

   code-conjure	Conjure.Engine

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

10. deriveNameIfNeeded :: Name -> DecsQ

    code-conjure	Conjure.Engine

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

Page 35 of many | Previous | Next