Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- 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 H = H HT
- type W = H WT
- type N = Nullable
- type NN = NonNullable
- type Opt = OOpt
- type Req = OReq
- type Nulls = H NullsT
- type TableField f a b c d = TableRecordField f a b c d
Documentation
type TableRecordField f a b c d = A f (TC '('(a, b, c), d)) Source #
type RecordField f a b c = A f (C '(a, b, c)) Source #
Type families parameter for Opaleye write types (i.e. wrapped in
Maybe
for optional types)
Used in RecordField
and TableRecordField
for a nullable field
type NN = NonNullable Source #
Used in RecordField
and TableRecordField
for a non-nullable
field
TableRecordField
for an optional field
TableRecordField
for a required field
type Nulls = H NullsT Source #
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 Source #
Do not use. Use TableRecordField
instead. Will be deprecated
in version 0.7.