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