Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
class Cond (m :: k -> * -> *) where Source #
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