| 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 NN = NonNullable Source #
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.