Database.Record.Persistable

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

Specify database value type

data PersistableSqlType q

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

runPersistableNullValue :: PersistableSqlType q -> q

Null value of database value type q.

unsafePersistableSqlTypeFromNull

Arguments

:: q

null value of database value type q

-> PersistableSqlType q

Result proof object

Unsafely specify PersistableSqlType axiom from specified database null value which type is q.

Specify record width

type PersistableRecordWidth a = ProductConst (Sum Int) a

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

runPersistableRecordWidth :: PersistableRecordWidth a -> Int

Get width Int value of record type a.

unsafePersistableRecordWidth

Arguments

:: Int

Specify width of Haskell type a

-> PersistableRecordWidth a

Result proof object

Unsafely specify PersistableRecordWidth axiom from specified width of Haskell type a.

unsafeValueWidth :: PersistableRecordWidth a

Unsafely specify PersistableRecordWidth axiom for Haskell type a which is single column type.

(<&>) :: PersistableRecordWidth a -> PersistableRecordWidth b -> PersistableRecordWidth (a, b)

Derivation rule of PersistableRecordWidth for tuple (,) type.

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

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

Implicit derivation rules, database value type and record type width

class Eq q => PersistableType q where

Interface of derivation rule for PersistableSqlType.

Methods

persistableType :: PersistableSqlType q

sqlNullValue :: PersistableType q => q

Implicitly derived null value of database value type.

class PersistableWidth a where

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

Minimal complete definition

Nothing

Methods

persistableWidth :: PersistableRecordWidth a

default persistableWidth :: (Generic a, GFieldWidthList (Rep a)) => PersistableRecordWidth a

Instances

PersistableWidth Int16

Defined in Database.Record.Instances

Methods

persistableWidth :: PersistableRecordWidth Int16

PersistableWidth Int32

Defined in Database.Record.Instances

Methods

persistableWidth :: PersistableRecordWidth Int32

PersistableWidth Int64

Defined in Database.Record.Instances

Methods

persistableWidth :: PersistableRecordWidth Int64

PersistableWidth Int8

Defined in Database.Record.Instances

Methods

persistableWidth :: PersistableRecordWidth Int8

PersistableWidth String

Defined in Database.Record.Instances

Methods

persistableWidth :: PersistableRecordWidth String

PersistableWidth ()

Inference rule of PersistableRecordWidth for Haskell unit () type. Derive from axiom.

Defined in Database.Record.Persistable

Methods

persistableWidth :: PersistableRecordWidth ()

PersistableWidth Bool

Defined in Database.Record.Instances

Methods

persistableWidth :: PersistableRecordWidth Bool

PersistableWidth Char

Defined in Database.Record.Instances

Methods

persistableWidth :: PersistableRecordWidth Char

PersistableWidth Int

Defined in Database.Record.Instances

Methods

persistableWidth :: PersistableRecordWidth Int

PersistableWidth a => PersistableWidth (Maybe a)

Inference rule of PersistableRecordWidth proof object for Maybe type.

Defined in Database.Record.Persistable

Methods

persistableWidth :: PersistableRecordWidth (Maybe a)

(PersistableWidth a, PersistableWidth b) => PersistableWidth (a, b)

Defined in Database.Record.TupleInstances

Methods

persistableWidth :: PersistableRecordWidth (a, b)

(PersistableWidth a, PersistableWidth b, PersistableWidth c) => PersistableWidth (a, b, c)

Defined in Database.Record.TupleInstances

Methods

persistableWidth :: PersistableRecordWidth (a, b, c)

(PersistableWidth a, PersistableWidth b, PersistableWidth c, PersistableWidth d) => PersistableWidth (a, b, c, d)

Defined in Database.Record.TupleInstances

Methods

persistableWidth :: PersistableRecordWidth (a, b, c, d)

(PersistableWidth a, PersistableWidth b, PersistableWidth c, PersistableWidth d, PersistableWidth e) => PersistableWidth (a, b, c, d, e)

Defined in Database.Record.TupleInstances

Methods

persistableWidth :: PersistableRecordWidth (a, b, c, d, e)

(PersistableWidth a, PersistableWidth b, PersistableWidth c, PersistableWidth d, PersistableWidth e, PersistableWidth f) => PersistableWidth (a, b, c, d, e, f)

Defined in Database.Record.TupleInstances

Methods

persistableWidth :: PersistableRecordWidth (a, b, c, d, e, f)

(PersistableWidth a, PersistableWidth b, PersistableWidth c, PersistableWidth d, PersistableWidth e, PersistableWidth f, PersistableWidth g) => PersistableWidth (a, b, c, d, e, f, g)

Defined in Database.Record.TupleInstances

Methods

persistableWidth :: PersistableRecordWidth (a, b, c, d, e, f, g)

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

Pass type parameter and inferred width value.

low-level interfaces

class GFieldWidthList f

Generic width value list of record fields.

Minimal complete definition

gFieldWidthList

Instances

GFieldWidthList (U1 :: Type -> Type)

Defined in Database.Record.Persistable

Methods

gFieldWidthList :: ProductConst (DList Int) (U1 a)

(GFieldWidthList a, GFieldWidthList b) => GFieldWidthList (a :*: b)

Defined in Database.Record.Persistable

Methods

gFieldWidthList :: ProductConst (DList Int) ((a :*: b) a0)

PersistableWidth a => GFieldWidthList (K1 i a :: Type -> Type)

Defined in Database.Record.Persistable

Methods

gFieldWidthList :: ProductConst (DList Int) (K1 i a a0)

GFieldWidthList a => GFieldWidthList (M1 i c a)

Defined in Database.Record.Persistable

Methods

gFieldWidthList :: ProductConst (DList Int) (M1 i c a a0)

data ProductConst a b

Restricted in product isomorphism record type b

Instances

Monoid a => ProductIsoApplicative (ProductConst a)

Defined in Database.Record.Persistable

Methods

pureP :: ProductConstructor a0 => a0 -> ProductConst a a0

(|*|) :: ProductConst a (a0 -> b) -> ProductConst a a0 -> ProductConst a b

ProductIsoFunctor (ProductConst a)

Defined in Database.Record.Persistable

Methods

(|$|) :: ProductConstructor (a0 -> b) => (a0 -> b) -> ProductConst a a0 -> ProductConst a b

Show a => Show (ProductConst a b)

Defined in Database.Record.Persistable

Methods

showsPrec :: Int -> ProductConst a b -> ShowS

show :: ProductConst a b -> String

showList :: [ProductConst a b] -> ShowS

getProductConst :: ProductConst a b -> a

extract constant value of ProductConst.

genericFieldOffsets :: (Generic a, GFieldWidthList (Rep a)) => ProductConst (Array Int Int) a

Generic offset array of record fields.