Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

  1. type PersistableRecordWidth a = ProductConst Sum Int a

    persistable-record Database.Record

    Proposition to specify width of Haskell type a. The width is length of database value list which is converted from Haskell type a.

  2. class PersistableWidth a

    persistable-record Database.Record

    PersistableWidth a is implicit rule to derive PersistableRecordWidth a width proposition for type a. Generic programming (https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#generic-programming) with default signature is available for PersistableWidth class, so you can make instance like below: 

    {-# LANGUAGE DeriveGeneric #-}
import GHC.Generics (Generic)
--
data Foo = Foo { ... } deriving Generic
instance PersistableWidth Foo

  3. derivedWidth :: PersistableWidth a => (PersistableRecordWidth a, Int)

    persistable-record Database.Record

    Pass type parameter and inferred width value.

  4. persistableWidth :: PersistableWidth a => PersistableRecordWidth a

    persistable-record Database.Record

    No documentation available.

  5. class GFieldWidthList (f :: Type -> Type)

    persistable-record Database.Record.Persistable

    Generic width value list of record fields.

  6. type PersistableRecordWidth a = ProductConst Sum Int a

    persistable-record Database.Record.Persistable

    Proposition to specify width of Haskell type a. The width is length of database value list which is converted from Haskell type a.

  7. class PersistableWidth a

    persistable-record Database.Record.Persistable

    PersistableWidth a is implicit rule to derive PersistableRecordWidth a width proposition for type a. Generic programming (https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#generic-programming) with default signature is available for PersistableWidth class, so you can make instance like below: 

    {-# LANGUAGE DeriveGeneric #-}
import GHC.Generics (Generic)
--
data Foo = Foo { ... } deriving Generic
instance PersistableWidth Foo

  8. derivedWidth :: PersistableWidth a => (PersistableRecordWidth a, Int)

    persistable-record Database.Record.Persistable

    Pass type parameter and inferred width value.

  9. maybeWidth :: PersistableRecordWidth a -> PersistableRecordWidth (Maybe a)

    persistable-record Database.Record.Persistable

    Derivation rule of PersistableRecordWidth from from Haskell type a into for Haskell type Maybe a.

  10. persistableWidth :: PersistableWidth a => PersistableRecordWidth a

    persistable-record Database.Record.Persistable

    No documentation available.

Page 1321 of many | Previous | Next