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.

  1. DeriveLift :: Extension

    hint Language.Haskell.Interpreter.Extension

    No documentation available.

  2. DeriveTraversable :: Extension

    hint Language.Haskell.Interpreter.Extension

    No documentation available.

  3. data DeriveOptions

    avro Data.Avro.Deriving

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

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

    avro Data.Avro.Deriving

    No documentation available.

  5. module Database.Relational.Derives

    This module defines typed SQLs derived from type information.

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

  7. 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))]
    

  8. DeriveKeyPairError :: String -> HPKEError

    hpke Crypto.HPKE

    No documentation available.

  9. class Deriver cls

    th-utilities TH.Derive

    Instances of Deriver describe a default way of creating an instance for a particular typeclass. For example, if I wanted to write something that derives Eq instances, I would write a instance Deriver (Eq a).

  10. module Text.Earley.Derived

    Derived operators.

Page 81 of many | Previous | Next