Control.Effect.Cond

Documentation

class Cond (m :: k -> * -> *) where

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

Minimal complete definition

ifM

Associated Types

type AltInv m (s :: k) (t :: k) :: Constraint

type Alt m (s :: k) (t :: k) :: 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 [*] Reader

Associated Types

type AltInv Reader (m :: Reader -> * -> *) (s :: Reader) (t :: Reader) :: Constraint

type Alt Reader (m :: Reader -> * -> *) (s :: Reader) (t :: Reader) :: k

Methods

ifM :: AltInv Reader m s t => Bool -> m s a -> m t a -> m (Alt Reader m s t) a

Cond * IMaybe

Associated Types

type AltInv IMaybe (m :: IMaybe -> * -> *) (s :: IMaybe) (t :: IMaybe) :: Constraint

type Alt IMaybe (m :: IMaybe -> * -> *) (s :: IMaybe) (t :: IMaybe) :: k

Methods

ifM :: AltInv IMaybe m s t => Bool -> m s a -> m t a -> m (Alt IMaybe m s t) a