Moduleopaleye-0.10.8.0Haskell2010

Opaleye.TypeFamilies

Deprecated. No longer supported

type

type TableRecordField (f :: Arr h (TC a) k) (a1 :: a) (b :: a) (c :: Nullability) (d :: Optionality) = A f ('TC '('(a1, b, c), d))

typetype RecordField (f :: Arr h (C a) k) (a1 :: a) (b :: a) (c :: Nullability) = A f ('C '(a1, b, c))

typetype (:<*>) = 'S

typetype (:<$>) (f :: k2 -> k3) = (:<*>) (Pure f)

typetype Id = 'I

typetype Pure = 'K

familytype family IMap f a

typetype F = 'H

typetype O = 'H OT

Type families parameter for Opaleye types (Field Opaleye.SqlString, Field Opaleye.SqlInt4, etc.)

typetype H = 'H HT

Type families parameter for Haskell types (String, Int, etc.)

typetype W = 'H WT

Type families parameter for Opaleye write types (i.e. wrapped in Maybe for optional types)

typetype N = 'Nullable

Used in RecordField and TableRecordField for a nullable field

typetype NN = 'NonNullable

Used in RecordField and TableRecordField for a non-nullable field

typetype Opt = 'OOpt

TableRecordField for an optional field

typetype Req = 'OReq

TableRecordField for a required field

typetype Nulls = 'H NullsT

Type families parameter for nulled Opaleye types (FieldNullable Opaleye.SqlString, FieldNullable Opaleye.SqlInt4, etc.)