| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Grisette.Internal.Unified.Class.UnionViewMode
Synopsis
- class UnionViewMode (mode :: EvalModeTag) (u :: Type -> Type) | u -> mode
Documentation
class UnionViewMode (mode :: EvalModeTag) (u :: Type -> Type) | u -> mode Source #
This class is used to determine the type of the Boolean used in the
UnionView class.
For Identity, we use Bool as the Boolean type, and this ensures that
the ifView function will return Nothing.
For Union, we use SymBool as the Boolean type, and ifView
function can return Nothing or Just.