| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Rel8.Internal.Column.Maybe
Documentation
type family HMaybe (context :: Context) = (maybe :: Type -> Type) | maybe -> context where ... Source #
Nest a Maybe value within a Rel8able. HMaybe f a will produce a
MaybeTable a in the Expr context, and a Maybe a in the Result
context.
Equations
| HMaybe Result = Maybe | |
| HMaybe context = MaybeTable context |