Safe Haskell	None
Language	Haskell2010

Opaleye.Internal.TypeFamilies

Synopsis

type family IMap f a
data HT
data OT
data NullsT
data WT
type NN = NonNullable
type N = Nullable
data Optionality
- = OReq
- | OOpt
type Req = OReq
type Opt = OOpt
type family A (a :: Arr h k1 k2) (b :: k1) :: k2
data Arr h k1 k2 where
- 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 = C (a, a, Nullability)
data TC a = TC ((a, a, Nullability), Optionality)
type RecordField f a b c = A f (C '(a, b, c))
type TableRecordField f a b c d = A f (TC '('(a, b, c), d))
type TableField f a b c d = TableRecordField f a b c d
type H = H HT
type O = H OT
type Nulls = H NullsT
type W = H WT
type F = H

Documentation

type family IMap f a Source #

Instances

type IMap Nulled NullsT Source #
Instance details Defined in Opaleye.Internal.Join type IMap Nulled NullsT = NullsT
type IMap Nulled OT Source #
Instance details Defined in Opaleye.Internal.Join type IMap Nulled OT = NullsT

data HT Source #

Instances

type A (H HT :: Arr Type (C k2) k2) (C ((,,) h o NN) :: C k2) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H HT :: Arr Type (C k2) k2) (C ((,,) h o NN) :: C k2) = h
type A (H HT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H HT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) = A (H HT :: Arr Type (C a) k2) (C t)
type A (H HT :: Arr Type (C Type) Type) (C ((,,) h o N) :: C Type) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H HT :: Arr Type (C Type) Type) (C ((,,) h o N) :: C Type) = Maybe h

data OT Source #

Instances

type IMap Nulled OT Source #
Instance details Defined in Opaleye.Internal.Join type IMap Nulled OT = NullsT
type A (H OT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H OT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) = A (H OT :: Arr Type (C a) k2) (C t)
type A (H OT :: Arr Type (C Type) Type) (C ((,,) h o N) :: C Type) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H OT :: Arr Type (C Type) Type) (C ((,,) h o N) :: C Type) = Column (Nullable o)
type A (H OT :: Arr Type (C Type) Type) (C ((,,) h o NN) :: C Type) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H OT :: Arr Type (C Type) Type) (C ((,,) h o NN) :: C Type) = Column o

data NullsT Source #

Instances

type IMap Nulled NullsT Source #
Instance details Defined in Opaleye.Internal.Join type IMap Nulled NullsT = NullsT
type A (H NullsT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H NullsT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) = A (H NullsT :: Arr Type (C a) k2) (C t)
type A (H NullsT :: Arr Type (C Type) Type) (C ((,,) h o n) :: C Type) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H NullsT :: Arr Type (C Type) Type) (C ((,,) h o n) :: C Type) = Column (Nullable o)

data WT Source #

Instances

type A (H WT :: Arr Type (TC a) k2) (TC ((,) t Req) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H WT :: Arr Type (TC a) k2) (TC ((,) t Req) :: TC a) = A (H OT :: Arr Type (C a) k2) (C t)
type A (H WT :: Arr Type (TC a) Type) (TC ((,) t Opt) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H WT :: Arr Type (TC a) Type) (TC ((,) t Opt) :: TC a) = Maybe (A (H OT :: Arr Type (C a) Type) (C t))

type NN = NonNullable Source #

Used in RecordField and TableRecordField for a non-nullable field

type N = Nullable Source #

Used in RecordField and TableRecordField for a nullable field

data Optionality Source #

Constructors

OReq
OOpt

Instances

type A (H NullsT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H NullsT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) = A (H NullsT :: Arr Type (C a) k2) (C t)
type A (H WT :: Arr Type (TC a) k2) (TC ((,) t Req) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H WT :: Arr Type (TC a) k2) (TC ((,) t Req) :: TC a) = A (H OT :: Arr Type (C a) k2) (C t)
type A (H OT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H OT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) = A (H OT :: Arr Type (C a) k2) (C t)
type A (H HT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H HT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) = A (H HT :: Arr Type (C a) k2) (C t)
type A (H WT :: Arr Type (TC a) Type) (TC ((,) t Opt) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H WT :: Arr Type (TC a) Type) (TC ((,) t Opt) :: TC a) = Maybe (A (H OT :: Arr Type (C a) Type) (C t))

type Req = OReq Source #

TableRecordField for a required field

type Opt = OOpt Source #

TableRecordField for an optional field

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

Instances

type A (I :: Arr h k2 k2) (a :: k2) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (I :: Arr h k2 k2) (a :: k2) = a
type A (K k4 :: Arr h k2 k3) (_ :: k2) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (K k4 :: Arr h k2 k3) (_ :: k2) = k4
type A (S f x :: Arr h k1 k5) (a :: k1) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (S f x :: Arr h k1 k5) (a :: k1) = A f a (A x a)
type A (H HT :: Arr Type (C k2) k2) (C ((,,) h o NN) :: C k2) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H HT :: Arr Type (C k2) k2) (C ((,,) h o NN) :: C k2) = h
type A (H NullsT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H NullsT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) = A (H NullsT :: Arr Type (C a) k2) (C t)
type A (H WT :: Arr Type (TC a) k2) (TC ((,) t Req) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H WT :: Arr Type (TC a) k2) (TC ((,) t Req) :: TC a) = A (H OT :: Arr Type (C a) k2) (C t)
type A (H OT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H OT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) = A (H OT :: Arr Type (C a) k2) (C t)
type A (H HT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H HT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) = A (H HT :: Arr Type (C a) k2) (C t)
type A (H WT :: Arr Type (TC a) Type) (TC ((,) t Opt) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H WT :: Arr Type (TC a) Type) (TC ((,) t Opt) :: TC a) = Maybe (A (H OT :: Arr Type (C a) Type) (C t))
type A (H NullsT :: Arr Type (C Type) Type) (C ((,,) h o n) :: C Type) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H NullsT :: Arr Type (C Type) Type) (C ((,,) h o n) :: C Type) = Column (Nullable o)
type A (H OT :: Arr Type (C Type) Type) (C ((,,) h o N) :: C Type) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H OT :: Arr Type (C Type) Type) (C ((,,) h o N) :: C Type) = Column (Nullable o)
type A (H OT :: Arr Type (C Type) Type) (C ((,,) h o NN) :: C Type) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H OT :: Arr Type (C Type) Type) (C ((,,) h o NN) :: C Type) = Column o
type A (H HT :: Arr Type (C Type) Type) (C ((,,) h o N) :: C Type) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H HT :: Arr Type (C Type) Type) (C ((,,) h o N) :: C Type) = Maybe h

data Arr h k1 k2 where Source #

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 Source #

type Pure = K Source #

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

type Id = I Source #

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

data C a Source #

Constructors

C (a, a, Nullability)

Instances

type A (H HT :: Arr Type (C k2) k2) (C ((,,) h o NN) :: C k2) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H HT :: Arr Type (C k2) k2) (C ((,,) h o NN) :: C k2) = h
type A (H NullsT :: Arr Type (C Type) Type) (C ((,,) h o n) :: C Type) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H NullsT :: Arr Type (C Type) Type) (C ((,,) h o n) :: C Type) = Column (Nullable o)
type A (H OT :: Arr Type (C Type) Type) (C ((,,) h o N) :: C Type) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H OT :: Arr Type (C Type) Type) (C ((,,) h o N) :: C Type) = Column (Nullable o)
type A (H OT :: Arr Type (C Type) Type) (C ((,,) h o NN) :: C Type) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H OT :: Arr Type (C Type) Type) (C ((,,) h o NN) :: C Type) = Column o
type A (H HT :: Arr Type (C Type) Type) (C ((,,) h o N) :: C Type) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H HT :: Arr Type (C Type) Type) (C ((,,) h o N) :: C Type) = Maybe h

data TC a Source #

Constructors

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

Instances

type A (H NullsT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H NullsT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) = A (H NullsT :: Arr Type (C a) k2) (C t)
type A (H WT :: Arr Type (TC a) k2) (TC ((,) t Req) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H WT :: Arr Type (TC a) k2) (TC ((,) t Req) :: TC a) = A (H OT :: Arr Type (C a) k2) (C t)
type A (H OT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H OT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) = A (H OT :: Arr Type (C a) k2) (C t)
type A (H HT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H HT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) = A (H HT :: Arr Type (C a) k2) (C t)
type A (H WT :: Arr Type (TC a) Type) (TC ((,) t Opt) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H WT :: Arr Type (TC a) Type) (TC ((,) t Opt) :: TC a) = Maybe (A (H OT :: Arr Type (C a) Type) (C t))

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

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

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.

type H = H HT Source #

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

type O = H OT Source #

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

type Nulls = H NullsT Source #

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

type W = H WT Source #

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

type F = H Source #