rel8-internal

Safe Haskell	None
Language	Haskell2010

Rel8.Internal.Schema.HTable.These

Documentation

data HTheseTable (here :: HTable) (there :: HTable) (context :: Context) Source #

Constructors

HTheseTable
Fields hhereTag :: HLabel "hereTag" (HIdentity (Maybe MaybeTag)) context hhere :: HLabel "Here" (HNullify here) context hthereTag :: HLabel "thereTag" (HIdentity (Maybe MaybeTag)) context hthere :: HLabel "There" (HNullify there) context

Instances

Instances details

(HTable here, HTable there) => HTable (HTheseTable here there) Source #

Instance details

Defined in Rel8.Internal.Schema.HTable.These

Associated Types

type HField (HTheseTable here there)
Instance details Defined in Rel8.Internal.Schema.HTable.These type HField (HTheseTable here there)

Methods

hfield :: HTheseTable here there context -> HField (HTheseTable here there) a -> context a Source #

htabulate :: (forall a. HField (HTheseTable here there) a -> context a) -> HTheseTable here there context Source #

htraverse :: Apply m => (forall a. f a -> m (g a)) -> HTheseTable here there f -> m (HTheseTable here there g) Source #

hdicts :: forall (c :: Type -> Constraint). HConstrainTable (HTheseTable here there) c => HTheseTable here there (Dict c) Source #

hspecs :: HTheseTable here there Spec Source #

Generic (HTheseTable here there context) Source #

Instance details

Defined in Rel8.Internal.Schema.HTable.These

Associated Types

type Rep (HTheseTable here there context)

Instance details

Defined in Rel8.Internal.Schema.HTable.These

type Rep (HTheseTable here there context) = D1 ('MetaData "HTheseTable" "Rel8.Internal.Schema.HTable.These" "rel8-internal-1.8.0.0-inplace" 'False) (C1 ('MetaCons "HTheseTable" 'PrefixI 'True) ((S1 ('MetaSel ('Just "hhereTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HLabel "hereTag" (HIdentity (Maybe MaybeTag)) context)) :*: S1 ('MetaSel ('Just "hhere") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HLabel "Here" (HNullify here) context))) :*: (S1 ('MetaSel ('Just "hthereTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HLabel "thereTag" (HIdentity (Maybe MaybeTag)) context)) :*: S1 ('MetaSel ('Just "hthere") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HLabel "There" (HNullify there) context)))))

Methods

from :: HTheseTable here there context -> Rep (HTheseTable here there context) x #

to :: Rep (HTheseTable here there context) x -> HTheseTable here there context #

type HField (HTheseTable here there) Source #

Instance details

Defined in Rel8.Internal.Schema.HTable.These

type HField (HTheseTable here there)

type HConstrainTable (HTheseTable here there) c Source #

Instance details

Defined in Rel8.Internal.Schema.HTable.These

type HConstrainTable (HTheseTable here there) c

type Rep (HTheseTable here there context) Source #

Instance details

Defined in Rel8.Internal.Schema.HTable.These

type Rep (HTheseTable here there context) = D1 ('MetaData "HTheseTable" "Rel8.Internal.Schema.HTable.These" "rel8-internal-1.8.0.0-inplace" 'False) (C1 ('MetaCons "HTheseTable" 'PrefixI 'True) ((S1 ('MetaSel ('Just "hhereTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HLabel "hereTag" (HIdentity (Maybe MaybeTag)) context)) :*: S1 ('MetaSel ('Just "hhere") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HLabel "Here" (HNullify here) context))) :*: (S1 ('MetaSel ('Just "hthereTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HLabel "thereTag" (HIdentity (Maybe MaybeTag)) context)) :*: S1 ('MetaSel ('Just "hthere") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HLabel "There" (HNullify there) context)))))