effect-monad-0.6: Embeds effect systems into Haskell using parameteric effect monads

Safe HaskellNone
LanguageHaskell98

Control.Effect.Cond

Synopsis

Documentation

class Cond m where Source

Provides a conditional using an alternation operation, as opposed to using Subeffect

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