Opaleye.TypeFamilies

Documentation

type TableField 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

Instances

type IMap Nulled NullsT

type IMap Nulled NullsT = NullsT

type IMap Nulled OT

type IMap Nulled OT = NullsT

type F = H

type O = H OT

type H = H HT

type W = H WT

type N = NonNullable

type NN = Nullable

type Opt = OOpt

type Req = OReq

type Nulls = H NullsT