ixmonad-0.2: Indexed monads library
Control.IxMonad.Cond
class Cond m whereSource
Associated Types
type AltInv m s t :: ConstraintSource
type Alt m s t Source
Methods
ifM :: AltInv m s t => Bool -> m s a -> m t a -> m (Alt m s t) aSource
Instances