ixmonad-0.50: Embeds effect systems into Haskell using an parameteric effect monad (the |Effect| type class)

Safe HaskellNone
LanguageHaskell98

Control.Effect.Cond

Documentation

class Cond m where Source

Associated Types

type AltInv m s t :: Constraint Source

type Alt m s t :: k Source

Methods

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

Instances