Opaleye.TypeFamilies

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

Instances

type IMap Nulled NullsT

Defined in Opaleye.Internal.Join

type IMap Nulled NullsT = NullsT

type IMap Nulled OT

Defined in Opaleye.Internal.Join

type IMap Nulled OT = NullsT

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.)

type TableField f a b c d = TableRecordField f a b c d

Do not use. Use TableRecordField instead. Will be deprecated in version 0.7.