Safe Haskell | None |
---|---|
Language | Haskell98 |
- class Cond m where
- type AltInv m (s :: k) (t :: k) :: Constraint
- type Alt m (s :: k) (t :: k) :: k
Documentation
Provides a conditional using an alternation
operation, as opposed to using
Subeffect
type AltInv m (s :: k) (t :: k) :: Constraint Source #
type Alt m (s :: k) (t :: k) :: k Source #
Type family for describing how to combine effects of the two branches of an if