Opaleye.TypeFamilies

Deprecated: No longer supported

Documentation

type TableRecordField f a b c d = A f ('TC '('(a, b, c), d))

type RecordField f a b c = A f ('C '(a, b, c))

type (:<*>) = 'S

type (:<$>) f = (:<*>) (Pure f)

type Id = 'I

type Pure = 'K

type family IMap f a

type F = 'H

type O = 'H OT

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

type H = 'H HT

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

type W = 'H WT

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

type N = 'Nullable

Used in RecordField and TableRecordField for a nullable field

type NN = 'NonNullable

Used in RecordField and TableRecordField for a non-nullable field

type Opt = 'OOpt

TableRecordField for an optional field

type Req = 'OReq

TableRecordField for a required field

type Nulls = 'H NullsT

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