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 #

type F = H #

type O = H OT #

type H = H HT #

type W = H WT #

type N = Nullable #

type NN = NonNullable #

type Opt = OOpt #

type Req = OReq #

type Nulls = H NullsT #