Safe Haskell	None
Language	Haskell2010

Opaleye.Internal.TypeFamilies

Documentation

type family IMap f a #

Instances

type IMap Nulled NullsT #
type IMap Nulled NullsT = NullsT
type IMap Nulled OT #
type IMap Nulled OT = NullsT

data HT #

Instances

type A * (TC a) k2 (H * (TC a) k2 HT) (TC a ((,) (a, a, Nullability) Optionality t b)) #
type A * (TC a) k2 (H * (TC a) k2 HT) (TC a ((,) (a, a, Nullability) Optionality t b)) = A * (C a) k2 (H * (C a) k2 HT) (C a t)
type A * (C k2) k2 (H * (C k2) k2 HT) (C k2 ((,,) k2 k2 Nullability h o NN)) #
type A * (C k2) k2 (H * (C k2) k2 HT) (C k2 ((,,) k2 k2 Nullability h o NN)) = h
type A * (C ) (H * (C ) HT) (C * ((,,) * * Nullability h o N)) #
type A * (C ) (H * (C ) HT) (C * ((,,) * * Nullability h o N)) = Maybe h

data OT #

Instances

type IMap Nulled OT #
type IMap Nulled OT = NullsT
type A * (TC a) k2 (H * (TC a) k2 OT) (TC a ((,) (a, a, Nullability) Optionality t b)) #
type A * (TC a) k2 (H * (TC a) k2 OT) (TC a ((,) (a, a, Nullability) Optionality t b)) = A * (C a) k2 (H * (C a) k2 OT) (C a t)
type A * (C ) (H * (C ) OT) (C * ((,,) * * Nullability h o N)) #
type A * (C ) (H * (C ) OT) (C * ((,,) * * Nullability h o N)) = Column (Nullable o)
type A * (C ) (H * (C ) OT) (C * ((,,) * * Nullability h o NN)) #
type A * (C ) (H * (C ) OT) (C * ((,,) * * Nullability h o NN)) = Column o

data NullsT #

Instances

type IMap Nulled NullsT #
type IMap Nulled NullsT = NullsT
type A * (TC a) k2 (H * (TC a) k2 NullsT) (TC a ((,) (a, a, Nullability) Optionality t b)) #
type A * (TC a) k2 (H * (TC a) k2 NullsT) (TC a ((,) (a, a, Nullability) Optionality t b)) = A * (C a) k2 (H * (C a) k2 NullsT) (C a t)
type A * (C ) (H * (C ) NullsT) (C * ((,,) * * Nullability h o NN)) #
type A * (C ) (H * (C ) NullsT) (C * ((,,) * * Nullability h o NN)) = Column (Nullable o)

data WT #

Instances

type A * (TC a) k2 (H * (TC a) k2 WT) (TC a ((,) (a, a, Nullability) Optionality t Req)) #
type A * (TC a) k2 (H * (TC a) k2 WT) (TC a ((,) (a, a, Nullability) Optionality t Req)) = A * (C a) k2 (H * (C a) k2 OT) (C a t)
type A * (TC a) * (H * (TC a) * WT) (TC a ((,) (a, a, Nullability) Optionality t Opt)) #
type A * (TC a) * (H * (TC a) * WT) (TC a ((,) (a, a, Nullability) Optionality t Opt)) = Maybe (A * (C a) * (H * (C a) * OT) (C a t))

type NN = Nullable #

type N = NonNullable #

data Optionality #

Constructors

OReq
OOpt

Instances

type A * (TC a) k2 (H * (TC a) k2 NullsT) (TC a ((,) (a, a, Nullability) Optionality t b)) #
type A * (TC a) k2 (H * (TC a) k2 NullsT) (TC a ((,) (a, a, Nullability) Optionality t b)) = A * (C a) k2 (H * (C a) k2 NullsT) (C a t)
type A * (TC a) k2 (H * (TC a) k2 WT) (TC a ((,) (a, a, Nullability) Optionality t Req)) #
type A * (TC a) k2 (H * (TC a) k2 WT) (TC a ((,) (a, a, Nullability) Optionality t Req)) = A * (C a) k2 (H * (C a) k2 OT) (C a t)
type A * (TC a) k2 (H * (TC a) k2 OT) (TC a ((,) (a, a, Nullability) Optionality t b)) #
type A * (TC a) k2 (H * (TC a) k2 OT) (TC a ((,) (a, a, Nullability) Optionality t b)) = A * (C a) k2 (H * (C a) k2 OT) (C a t)
type A * (TC a) k2 (H * (TC a) k2 HT) (TC a ((,) (a, a, Nullability) Optionality t b)) #
type A * (TC a) k2 (H * (TC a) k2 HT) (TC a ((,) (a, a, Nullability) Optionality t b)) = A * (C a) k2 (H * (C a) k2 HT) (C a t)
type A * (TC a) * (H * (TC a) * WT) (TC a ((,) (a, a, Nullability) Optionality t Opt)) #
type A * (TC a) * (H * (TC a) * WT) (TC a ((,) (a, a, Nullability) Optionality t Opt)) = Maybe (A * (C a) * (H * (C a) * OT) (C a t))

type Req = OReq #

type Opt = OOpt #

type family A (a :: Arr h k1 k2) (b :: k1) :: k2 #

Instances

type A h k2 k2 (I h k2) a #
type A h k2 k2 (I h k2) a = a
type A h k2 k3 (K h k2 k3 k4) _ #
type A h k2 k3 (K h k2 k3 k4) _ = k4
type A h k1 k5 (S h k1 k5 k4 f x) a #
type A h k1 k5 (S h k1 k5 k4 f x) a = A h k1 (k4 -> k5) f a (A h k1 k4 x a)
type A * (TC a) k2 (H * (TC a) k2 NullsT) (TC a ((,) (a, a, Nullability) Optionality t b)) #
type A * (TC a) k2 (H * (TC a) k2 NullsT) (TC a ((,) (a, a, Nullability) Optionality t b)) = A * (C a) k2 (H * (C a) k2 NullsT) (C a t)
type A * (TC a) k2 (H * (TC a) k2 WT) (TC a ((,) (a, a, Nullability) Optionality t Req)) #
type A * (TC a) k2 (H * (TC a) k2 WT) (TC a ((,) (a, a, Nullability) Optionality t Req)) = A * (C a) k2 (H * (C a) k2 OT) (C a t)
type A * (TC a) k2 (H * (TC a) k2 OT) (TC a ((,) (a, a, Nullability) Optionality t b)) #
type A * (TC a) k2 (H * (TC a) k2 OT) (TC a ((,) (a, a, Nullability) Optionality t b)) = A * (C a) k2 (H * (C a) k2 OT) (C a t)
type A * (TC a) k2 (H * (TC a) k2 HT) (TC a ((,) (a, a, Nullability) Optionality t b)) #
type A * (TC a) k2 (H * (TC a) k2 HT) (TC a ((,) (a, a, Nullability) Optionality t b)) = A * (C a) k2 (H * (C a) k2 HT) (C a t)
type A * (C k2) k2 (H * (C k2) k2 HT) (C k2 ((,,) k2 k2 Nullability h o NN)) #
type A * (C k2) k2 (H * (C k2) k2 HT) (C k2 ((,,) k2 k2 Nullability h o NN)) = h
type A * (TC a) * (H * (TC a) * WT) (TC a ((,) (a, a, Nullability) Optionality t Opt)) #
type A * (TC a) * (H * (TC a) * WT) (TC a ((,) (a, a, Nullability) Optionality t Opt)) = Maybe (A * (C a) * (H * (C a) * OT) (C a t))
type A * (C ) (H * (C ) NullsT) (C * ((,,) * * Nullability h o NN)) #
type A * (C ) (H * (C ) NullsT) (C * ((,,) * * Nullability h o NN)) = Column (Nullable o)
type A * (C ) (H * (C ) OT) (C * ((,,) * * Nullability h o N)) #
type A * (C ) (H * (C ) OT) (C * ((,,) * * Nullability h o N)) = Column (Nullable o)
type A * (C ) (H * (C ) OT) (C * ((,,) * * Nullability h o NN)) #
type A * (C ) (H * (C ) OT) (C * ((,,) * * Nullability h o NN)) = Column o
type A * (C ) (H * (C ) HT) (C * ((,,) * * Nullability h o N)) #
type A * (C ) (H * (C ) HT) (C * ((,,) * * Nullability h o N)) = Maybe h

data Arr h k1 k2 where #

Constructors

K :: k1 -> Arr h k2 k1
S :: Arr h k1 (k2 -> k3) -> Arr h k1 k2 -> Arr h k1 k3
I :: Arr h k1 k1
H :: h -> Arr h k2 k3

type (:<*>) = S #

type Pure = K #

type (:<$>) f = (:<*>) (Pure f) #

type Id = I #

type (:<|) f x = A f x #

data C a #

Constructors

C (a, a, Nullability)

Instances

type A * (C k2) k2 (H * (C k2) k2 HT) (C k2 ((,,) k2 k2 Nullability h o NN)) #
type A * (C k2) k2 (H * (C k2) k2 HT) (C k2 ((,,) k2 k2 Nullability h o NN)) = h
type A * (C ) (H * (C ) NullsT) (C * ((,,) * * Nullability h o NN)) #
type A * (C ) (H * (C ) NullsT) (C * ((,,) * * Nullability h o NN)) = Column (Nullable o)
type A * (C ) (H * (C ) OT) (C * ((,,) * * Nullability h o N)) #
type A * (C ) (H * (C ) OT) (C * ((,,) * * Nullability h o N)) = Column (Nullable o)
type A * (C ) (H * (C ) OT) (C * ((,,) * * Nullability h o NN)) #
type A * (C ) (H * (C ) OT) (C * ((,,) * * Nullability h o NN)) = Column o
type A * (C ) (H * (C ) HT) (C * ((,,) * * Nullability h o N)) #
type A * (C ) (H * (C ) HT) (C * ((,,) * * Nullability h o N)) = Maybe h

data TC a #

Constructors

TC ((a, a, Nullability), Optionality)

Instances

type A * (TC a) k2 (H * (TC a) k2 NullsT) (TC a ((,) (a, a, Nullability) Optionality t b)) #
type A * (TC a) k2 (H * (TC a) k2 NullsT) (TC a ((,) (a, a, Nullability) Optionality t b)) = A * (C a) k2 (H * (C a) k2 NullsT) (C a t)
type A * (TC a) k2 (H * (TC a) k2 WT) (TC a ((,) (a, a, Nullability) Optionality t Req)) #
type A * (TC a) k2 (H * (TC a) k2 WT) (TC a ((,) (a, a, Nullability) Optionality t Req)) = A * (C a) k2 (H * (C a) k2 OT) (C a t)
type A * (TC a) k2 (H * (TC a) k2 OT) (TC a ((,) (a, a, Nullability) Optionality t b)) #
type A * (TC a) k2 (H * (TC a) k2 OT) (TC a ((,) (a, a, Nullability) Optionality t b)) = A * (C a) k2 (H * (C a) k2 OT) (C a t)
type A * (TC a) k2 (H * (TC a) k2 HT) (TC a ((,) (a, a, Nullability) Optionality t b)) #
type A * (TC a) k2 (H * (TC a) k2 HT) (TC a ((,) (a, a, Nullability) Optionality t b)) = A * (C a) k2 (H * (C a) k2 HT) (C a t)
type A * (TC a) * (H * (TC a) * WT) (TC a ((,) (a, a, Nullability) Optionality t Opt)) #
type A * (TC a) * (H * (TC a) * WT) (TC a ((,) (a, a, Nullability) Optionality t Opt)) = Maybe (A * (C a) * (H * (C a) * OT) (C a t))

type RecordField f a b c = A f (C '(a, b, c)) #

type TableField f a b c d = A f (TC '('(a, b, c), d)) #

type H = H HT #

type O = H OT #

type Nulls = H NullsT #

type W = H WT #

type F = H #

type A * (C k2) k2 (H * (C k2) k2 HT) (C k2 ((,,) k2 k2 Nullability h o NN)) #
type A * (C k2) k2 (H * (C k2) k2 HT) (C k2 ((,,) k2 k2 Nullability h o NN)) = h
type A * (C ) (H * (C ) NullsT) (C * ((,,) * * Nullability h o NN)) #
type A * (C ) (H * (C ) NullsT) (C * ((,,) * * Nullability h o NN)) = Column (Nullable o)
type A * (C ) (H * (C ) OT) (C * ((,,) * * Nullability h o N)) #
type A * (C ) (H * (C ) OT) (C * ((,,) * * Nullability h o N)) = Column (Nullable o)
type A * (C ) (H * (C ) OT) (C * ((,,) * * Nullability h o NN)) #
type A * (C ) (H * (C ) OT) (C * ((,,) * * Nullability h o NN)) = Column o
type A * (C ) (H * (C ) HT) (C * ((,,) * * Nullability h o N)) #
type A * (C ) (H * (C ) HT) (C * ((,,) * * Nullability h o N)) = Maybe h