Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

  1. type PrimaryConstraint = KeyConstraint Primary

    persistable-record Database.Record

    Specialized primary constraint.

  2. data Primary

    persistable-record Database.Record.KeyConstraint

    Constraint type. Primary key.

  3. type PrimaryColumnConstraint = ColumnConstraint Primary

    persistable-record Database.Record.KeyConstraint

    Specialized primary constraint.

  4. type PrimaryConstraint = KeyConstraint Primary

    persistable-record Database.Record.KeyConstraint

    Specialized primary constraint.

  5. module Database.Record.Persistable

    This module defines proposition interfaces for database value type and record type width.

  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. data PersistableSqlType q

    persistable-record Database.Record.Persistable

    Proposition to specify type q is database value type, contains null value

  8. class Eq q => PersistableType q

    persistable-record Database.Record.Persistable

    Interface of derivation rule for PersistableSqlType.

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

  10. data ProductConst a b

    persistable-record Database.Record.Persistable

    Restricted in product isomorphism record type b

Page 634 of many | Previous | Next