| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Rel8.Internal.Schema.HTable.Either
Documentation
data HEitherTable (left :: HTable) (right :: HTable) (context :: Context) Source #
Constructors
| HEitherTable | |
Instances
| (HTable left, HTable right) => HTable (HEitherTable left right) Source # | |||||
Defined in Rel8.Internal.Schema.HTable.Either Associated Types
Methods hfield :: HEitherTable left right context -> HField (HEitherTable left right) a -> context a Source # htabulate :: (forall a. HField (HEitherTable left right) a -> context a) -> HEitherTable left right context Source # htraverse :: Apply m => (forall a. f a -> m (g a)) -> HEitherTable left right f -> m (HEitherTable left right g) Source # hdicts :: forall (c :: Type -> Constraint). HConstrainTable (HEitherTable left right) c => HEitherTable left right (Dict c) Source # hspecs :: HEitherTable left right Spec Source # | |||||
| Generic (HEitherTable left right context) Source # | |||||
Defined in Rel8.Internal.Schema.HTable.Either Associated Types
Methods from :: HEitherTable left right context -> Rep (HEitherTable left right context) x # to :: Rep (HEitherTable left right context) x -> HEitherTable left right context # | |||||
| type HField (HEitherTable left right) Source # | |||||
Defined in Rel8.Internal.Schema.HTable.Either | |||||
| type HConstrainTable (HEitherTable left right) c Source # | |||||
Defined in Rel8.Internal.Schema.HTable.Either | |||||
| type Rep (HEitherTable left right context) Source # | |||||
Defined in Rel8.Internal.Schema.HTable.Either type Rep (HEitherTable left right context) = D1 ('MetaData "HEitherTable" "Rel8.Internal.Schema.HTable.Either" "rel8-internal-1.8.0.0-inplace" 'False) (C1 ('MetaCons "HEitherTable" 'PrefixI 'True) (S1 ('MetaSel ('Just "htag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HLabel "isRight" (HIdentity EitherTag) context)) :*: (S1 ('MetaSel ('Just "hleft") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HLabel "Left" (HNullify left) context)) :*: S1 ('MetaSel ('Just "hright") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HLabel "Right" (HNullify right) context))))) | |||||