Moduleopaleye-0.10.8.0Haskell2010

Opaleye.Internal.TypeFamilies

24 types

Packageopaleye-0.10.8.0
Exports26
LanguageHaskell2010
LicenceBSD-3-Clause
SourceTypeFamilies.hs

familytype family IMap f a

datadata HT

Instances3A

type A ('H HT) ('C '(h, o, N)) = Maybe hDefined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H HT) ('C '(h, o, NN)) = hDefined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H HT) ('TC '(t, b)) = A ('H HT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies

datadata OT

Instances3A

type A ('H OT) ('C '(h, o, N)) = Column (Nullable o)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H OT) ('C '(h, o, NN)) = Column oDefined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H OT) ('TC '(t, b)) = A ('H OT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies

datadata NullsT

Instances2A

type A ('H NullsT) ('C '(h, o, n)) = Column (Nullable o)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H NullsT) ('TC '(t, b)) = A ('H NullsT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies

datadata WT

Instances2A

type A ('H WT) ('TC '(t, Opt)) = Maybe (A ('H OT) ('C t))Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H WT) ('TC '(t, Req)) = A ('H OT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies

typetype NN = 'NonNullable

Used in RecordField and TableRecordField for a non-nullable field

typetype N = 'Nullable

Used in RecordField and TableRecordField for a nullable field

datadata Optionality

OReq OOpt

Instances5A

type A ('H HT) ('TC '(t, b)) = A ('H HT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H NullsT) ('TC '(t, b)) = A ('H NullsT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H OT) ('TC '(t, b)) = A ('H OT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H WT) ('TC '(t, Opt)) = Maybe (A ('H OT) ('C t))Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H WT) ('TC '(t, Req)) = A ('H OT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies

typetype Req = 'OReq

TableRecordField for a required field

typetype Opt = 'OOpt

TableRecordField for an optional field

familytype family A (a :: Arr h k1 k2) (b :: k1) :: k2

Instances13A, …

type A 'I a = aDefined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H HT) ('C '(h, o, N)) = Maybe hDefined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H HT) ('C '(h, o, NN)) = hDefined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H HT) ('TC '(t, b)) = A ('H HT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H NullsT) ('C '(h, o, n)) = Column (Nullable o)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H NullsT) ('TC '(t, b)) = A ('H NullsT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H OT) ('C '(h, o, N)) = Column (Nullable o)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H OT) ('C '(h, o, NN)) = Column oDefined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H OT) ('TC '(t, b)) = A ('H OT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H WT) ('TC '(t, Opt)) = Maybe (A ('H OT) ('C t))Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H WT) ('TC '(t, Req)) = A ('H OT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('K k5) _1 = k5Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('S f x) a = A f a (A x a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies

datadata Arr h k1 k2 where

Constructors

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

typetype (:<*>) = 'S

typetype Pure = 'K

typetype (:<$>) (f :: k2 -> k3) = (:<*>) (Pure f)

typetype Id = 'I

typetype (:<|) (f :: Arr h k1 k) (x :: k1) = A f x

datadata C a

Constructors

C (a, a, Nullability)

Instances5A

type A ('H HT) ('C '(h, o, N)) = Maybe hDefined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H HT) ('C '(h, o, NN)) = hDefined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H NullsT) ('C '(h, o, n)) = Column (Nullable o)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H OT) ('C '(h, o, N)) = Column (Nullable o)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H OT) ('C '(h, o, NN)) = Column oDefined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies

datadata TC a

Constructors

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

Instances5A

type A ('H HT) ('TC '(t, b)) = A ('H HT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H NullsT) ('TC '(t, b)) = A ('H NullsT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H OT) ('TC '(t, b)) = A ('H OT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H WT) ('TC '(t, Opt)) = Maybe (A ('H OT) ('C t))Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H WT) ('TC '(t, Req)) = A ('H OT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies

typetype RecordField (f :: Arr h (C a) k) (a1 :: a) (b :: a) (c :: Nullability) = A f ('C '(a1, b, c))

type

type TableRecordField (f :: Arr h (TC a) k) (a1 :: a) (b :: a) (c :: Nullability) (d :: Optionality) = A f ('TC '('(a1, b, c), d))

typetype H = 'H HT

Type families parameter for Haskell types (String, Int, etc.)

typetype O = 'H OT

Type families parameter for Opaleye types (Field Opaleye.SqlString, Field Opaleye.SqlInt4, etc.)

typetype Nulls = 'H NullsT

Type families parameter for nulled Opaleye types (FieldNullable Opaleye.SqlString, FieldNullable Opaleye.SqlInt4, etc.)

typetype W = 'H WT

Type families parameter for Opaleye write types (i.e. wrapped in Maybe for optional types)

typetype F = 'H