ixmonad-0.56: Embeds effect systems into Haskell using parameteric effect monads
Control.Effect.Cond
class Cond m where Source
Associated Types
type AltInv m s t :: Constraint Source
type Alt m s t :: k Source
Type family for describing how to combine effects of the two branches of an if |
Methods
ifM :: AltInv m s t => Bool -> m s a -> m t a -> m (Alt m s t) a Source
Conditional on effectful operations |
Instances