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.
type
PrimaryConstraint = KeyConstraint Primarypersistable-record Database.Record Specialized primary constraint.
-
persistable-record Database.Record.KeyConstraint Constraint type. Primary key.
type
PrimaryColumnConstraint = ColumnConstraint Primarypersistable-record Database.Record.KeyConstraint Specialized primary constraint.
type
PrimaryConstraint = KeyConstraint Primarypersistable-record Database.Record.KeyConstraint Specialized primary constraint.
module Database.Record.
Persistable This module defines proposition interfaces for database value type and record type width.
type
PersistableRecordWidth a = ProductConst Sum Int apersistable-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.
-
persistable-record Database.Record.Persistable Proposition to specify type q is database value type, contains null value
class Eq q =>
PersistableType qpersistable-record Database.Record.Persistable Interface of derivation rule for PersistableSqlType.
-
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 -
persistable-record Database.Record.Persistable Restricted in product isomorphism record type b