Safe Haskell	None
Language	Haskell2010

Opaleye.Internal.TypeFamilies

Documentation

type family IMap f a #

Instances

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

data HT #

Instances

type A (H HT :: Arr Type (C k2) k2) (C ((,,) h o NN) :: C k2) #
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) #
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) #
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 #

Instances

type IMap Nulled OT #
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) #
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) #
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) #
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 #

Instances

type IMap Nulled NullsT #
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) #
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 NN) :: C Type) #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H NullsT :: Arr Type (C Type) Type) (C ((,,) h o NN) :: C Type) = Column (Nullable o)

data WT #

Instances

type A (H WT :: Arr Type (TC a) k2) (TC ((,) t Req) :: TC a) #
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) #
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 #

type N = Nullable #

data Optionality #

Constructors

OReq
OOpt

Instances

type A (H NullsT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) #
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) #
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) #
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) #
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) #
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 #

type Opt = OOpt #

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

Instances

type A (I :: Arr h k2 k2) (a :: k2) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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 NN) :: C Type) #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H NullsT :: Arr Type (C Type) Type) (C ((,,) h o NN) :: C Type) = Column (Nullable o)
type A (H OT :: Arr Type (C Type) Type) (C ((,,) h o N) :: C Type) #
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) #
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) #
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 #

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 (H HT :: Arr Type (C k2) k2) (C ((,,) h o NN) :: C k2) #
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 NN) :: C Type) #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H NullsT :: Arr Type (C Type) Type) (C ((,,) h o NN) :: C Type) = Column (Nullable o)
type A (H OT :: Arr Type (C Type) Type) (C ((,,) h o N) :: C Type) #
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) #
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) #
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 #

Constructors

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

Instances

type A (H NullsT :: Arr Type (TC a) k2) (TC ((,) t b) :: TC a) #
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) #
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) #
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) #
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) #
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)) #

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 #