Safe Haskell	None
Language	Haskell2010

Opaleye.Internal.TypeFamilies

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

data WT Source #

Instances

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

type NN = NonNullable Source #

type N = Nullable Source #

data Optionality Source #

Constructors

OReq
OOpt

Instances

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

type Req = OReq Source #

type Opt = OOpt Source #

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 NullsT :: Arr * (TC a) k2) (TC ((,) t b) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H NullsT :: Arr * (TC a) k2) (TC ((,) t b) :: TC a) = A (H NullsT :: Arr * (C a) k2) (C t)
type A (H WT :: Arr * (TC a) k2) (TC ((,) t Req) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H WT :: Arr * (TC a) k2) (TC ((,) t Req) :: TC a) = A (H OT :: Arr * (C a) k2) (C t)
type A (H OT :: Arr * (TC a) k2) (TC ((,) t b) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H OT :: Arr * (TC a) k2) (TC ((,) t b) :: TC a) = A (H OT :: Arr * (C a) k2) (C t)
type A (H HT :: Arr * (TC a) k2) (TC ((,) t b) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H HT :: Arr * (TC a) k2) (TC ((,) t b) :: TC a) = A (H HT :: Arr * (C a) k2) (C t)
type A (H HT :: Arr * (C k2) k2) (C ((,,) h o NN) :: C k2) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H HT :: Arr * (C k2) k2) (C ((,,) h o NN) :: C k2) = h
type A (H WT :: Arr * (TC a) *) (TC ((,) t Opt) :: TC a) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H WT :: Arr * (TC a) ) (TC ((,) t Opt) :: TC a) = Maybe (A (H OT :: Arr (C a) *) (C t))
type A (H NullsT :: Arr * (C ) ) (C ((,,) h o NN) :: C *) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H NullsT :: Arr * (C ) ) (C ((,,) h o NN) :: C *) = Column (Nullable o)
type A (H OT :: Arr * (C ) ) (C ((,,) h o N) :: C *) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H OT :: Arr * (C ) ) (C ((,,) h o N) :: C *) = Column (Nullable o)
type A (H OT :: Arr * (C ) ) (C ((,,) h o NN) :: C *) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H OT :: Arr * (C ) ) (C ((,,) h o NN) :: C *) = Column o
type A (H HT :: Arr * (C ) ) (C ((,,) h o N) :: C *) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H HT :: Arr * (C ) ) (C ((,,) h o N) :: C *) = 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 * (C k2) k2) (C ((,,) h o NN) :: C k2) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H HT :: Arr * (C k2) k2) (C ((,,) h o NN) :: C k2) = h
type A (H NullsT :: Arr * (C ) ) (C ((,,) h o NN) :: C *) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H NullsT :: Arr * (C ) ) (C ((,,) h o NN) :: C *) = Column (Nullable o)
type A (H OT :: Arr * (C ) ) (C ((,,) h o N) :: C *) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H OT :: Arr * (C ) ) (C ((,,) h o N) :: C *) = Column (Nullable o)
type A (H OT :: Arr * (C ) ) (C ((,,) h o NN) :: C *) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H OT :: Arr * (C ) ) (C ((,,) h o NN) :: C *) = Column o
type A (H HT :: Arr * (C ) ) (C ((,,) h o N) :: C *) Source #
Instance details Defined in Opaleye.Internal.TypeFamilies type A (H HT :: Arr * (C ) ) (C ((,,) h o N) :: C *) = Maybe h

data TC a Source #

Constructors

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

Instances

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

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 #

type H = H HT Source #

type O = H OT Source #

type Nulls = H NullsT Source #

type W = H WT Source #

type F = H Source #

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