| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Rel8.Internal.Schema.HTable.Product
Documentation
data HProduct (a :: HTable) (b :: HTable) (context :: Context) Source #
Constructors
| HProduct (a context) (b context) |
Instances
| (HTable x, HTable y) => HTable (HProduct x y) Source # | |||||
Defined in Rel8.Internal.Schema.HTable Associated Types
Methods hfield :: HProduct x y context -> HField (HProduct x y) a -> context a Source # htabulate :: (forall a. HField (HProduct x y) a -> context a) -> HProduct x y context Source # htraverse :: Apply m => (forall a. f a -> m (g a)) -> HProduct x y f -> m (HProduct x y g) Source # hdicts :: forall (c :: Type -> Constraint). HConstrainTable (HProduct x y) c => HProduct x y (Dict c) Source # | |||||
| type HField (HProduct x y) Source # | |||||
Defined in Rel8.Internal.Schema.HTable | |||||
| type HConstrainTable (HProduct x y) c Source # | |||||
Defined in Rel8.Internal.Schema.HTable | |||||