Control.Effect.Cond

Documentation

class Cond m where

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

Associated Types

type AltInv m s t :: Constraint

type Alt m s t :: k

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

Conditional on effectful operations

Instances

Cond * IMaybe

Cond [*] Reader