| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Opaleye.TypeFamilies
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 #
Deprecated: Use TableRecordField instead. Will be remoed in version 0.8.