Hoogle Search

Within LTS Haskell 24.27 (ghc-9.10.3)

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

  1. data Deriver

    domain Domain

    Specification of which instances to automatically derive for all the supported types in the model and how. You can combine derivers using Monoid and Semigroup.

  2. module DomainCore.Deriver

    Toolkit for definition of instance derivers for Domain specs.

  3. newtype Deriver

    domain-core DomainCore.Deriver

    Specification of which instances to automatically derive for all the supported types in the model and how. You can combine derivers using Monoid and Semigroup.

  4. Deriver :: (TypeDec -> Q [Dec]) -> Deriver

    domain-core DomainCore.Deriver

    Function from the type declaration in this package's own AST to a list of Template Haskell declarations in its quotation monad.

  5. data DeriveOptions

    avro Data.Avro.Deriving

    Derives Avro from a given schema file. Generates data types, FromAvro and ToAvro instances.

  6. DeriveOptions :: (Text -> Field -> Text) -> (TypeName -> Field -> (FieldStrictness, FieldUnpackedness)) -> NamespaceBehavior -> DeriveOptions

    avro Data.Avro.Deriving

    No documentation available.

  7. module Database.Relational.Derives

    This module defines typed SQLs derived from type information.

  8. data DerivedVal i d

    tasty-checklist Test.Tasty.Checklist

    Each entry in the Assignment list for checkValues should be one of these DerivedVal values. The i type parameter is the input type, and the d is the value derived from that input type.

  9. class DeriveUniverseSome a

    universe-some Data.Universe.Some.TH

    Derive the UniverseSome n instance. 

    >>> :set -XGADTs -XTemplateHaskell -XStandaloneDeriving

>>> import Data.Universe.Class (universe)

>>> import Data.GADT.Show

    >>> data Tag b a where IntTag :: Tag b Int; BoolTag :: b -> Tag b Bool

>>> deriving instance Show b => Show (Tag b a)

>>> instance Show b => GShow (Tag b) where gshowsPrec = showsPrec
    (data Unused is to workaround bug in older GHCi) >>> data Unused; $(deriveUniverseSome ''Tag) 
    >>> universe :: [Some (Tag (Maybe Bool))]
[Some IntTag,Some (BoolTag Nothing),Some (BoolTag (Just False)),Some (BoolTag (Just True))]
    deriveUniverseSome variant taking a Name guesses simple class constraints. If you need more specific, you can specify them: (Note: on older GHCs this will warn, as the instance definition doesn't have all methods defined). 
    >>> data Tag b a where IntTag :: Tag b Int; BoolTag :: b -> Tag b Bool

>>> deriving instance Show b => Show (Tag b a)

>>> instance Show b => GShow (Tag b) where gshowsPrec = showsPrec

>>> data Unused; $(deriveUniverseSome ([d| instance Universe b => UniverseSome (Tag b) |] :: DecsQ))
...

>>> universe :: [Some (Tag (Maybe Bool))]
[Some IntTag,Some (BoolTag Nothing),Some (BoolTag (Just False)),Some (BoolTag (Just True))]

  10. DeriveKeyPairError :: String -> HPKEError

    hpke Crypto.HPKE

    No documentation available.

Page 80 of many | Previous | Next