Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type N = NonNullable Source #
data Optionality Source #
type A * (TC a) k2 (H * (TC a) k2 NullsT) (TC a ((,) (a, a, Nullability) Optionality t b)) Source # | |
type A * (TC a) k2 (H * (TC a) k2 WT) (TC a ((,) (a, a, Nullability) Optionality t Req)) Source # | |
type A * (TC a) k2 (H * (TC a) k2 OT) (TC a ((,) (a, a, Nullability) Optionality t b)) Source # | |
type A * (TC a) k2 (H * (TC a) k2 HT) (TC a ((,) (a, a, Nullability) Optionality t b)) Source # | |
type A * (TC a) * (H * (TC a) * WT) (TC a ((,) (a, a, Nullability) Optionality t Opt)) Source # | |
type family A (a :: Arr h k1 k2) (b :: k1) :: k2 Source #
type A h k2 k2 (I h k2) a Source # | |
type A h k2 k3 (K h k2 k3 k4) _ Source # | |
type A h k1 k5 (S h k1 k5 k4 f x) a Source # | |
type A * (TC a) k2 (H * (TC a) k2 NullsT) (TC a ((,) (a, a, Nullability) Optionality t b)) Source # | |
type A * (TC a) k2 (H * (TC a) k2 WT) (TC a ((,) (a, a, Nullability) Optionality t Req)) Source # | |
type A * (TC a) k2 (H * (TC a) k2 OT) (TC a ((,) (a, a, Nullability) Optionality t b)) Source # | |
type A * (TC a) k2 (H * (TC a) k2 HT) (TC a ((,) (a, a, Nullability) Optionality t b)) Source # | |
type A * (C k2) k2 (H * (C k2) k2 HT) (C k2 ((,,) k2 k2 Nullability h o NN)) Source # | |
type A * (TC a) * (H * (TC a) * WT) (TC a ((,) (a, a, Nullability) Optionality t Opt)) Source # | |
type A * (C *) * (H * (C *) * NullsT) (C * ((,,) * * Nullability h o NN)) Source # | |
type A * (C *) * (H * (C *) * OT) (C * ((,,) * * Nullability h o N)) Source # | |
type A * (C *) * (H * (C *) * OT) (C * ((,,) * * Nullability h o NN)) Source # | |
type A * (C *) * (H * (C *) * HT) (C * ((,,) * * Nullability h o N)) Source # | |
C (a, a, Nullability) |
type A * (C k2) k2 (H * (C k2) k2 HT) (C k2 ((,,) k2 k2 Nullability h o NN)) Source # | |
type A * (C *) * (H * (C *) * NullsT) (C * ((,,) * * Nullability h o NN)) Source # | |
type A * (C *) * (H * (C *) * OT) (C * ((,,) * * Nullability h o N)) Source # | |
type A * (C *) * (H * (C *) * OT) (C * ((,,) * * Nullability h o NN)) Source # | |
type A * (C *) * (H * (C *) * HT) (C * ((,,) * * Nullability h o N)) Source # | |
TC ((a, a, Nullability), Optionality) |
type A * (TC a) k2 (H * (TC a) k2 NullsT) (TC a ((,) (a, a, Nullability) Optionality t b)) Source # | |
type A * (TC a) k2 (H * (TC a) k2 WT) (TC a ((,) (a, a, Nullability) Optionality t Req)) Source # | |
type A * (TC a) k2 (H * (TC a) k2 OT) (TC a ((,) (a, a, Nullability) Optionality t b)) Source # | |
type A * (TC a) k2 (H * (TC a) k2 HT) (TC a ((,) (a, a, Nullability) Optionality t b)) Source # | |
type A * (TC a) * (H * (TC a) * WT) (TC a ((,) (a, a, Nullability) Optionality t Opt)) Source # | |
type RecordField f a b c = A f (C '(a, b, c)) Source #
type TableField f a b c d = A f (TC '('(a, b, c), d)) Source #