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