Incipit.Misc

Misc combinators.

Documentation

unit :: Applicative f => f ()

Convenience alias for pure ().

whenM :: Monad m => m Bool -> m () -> m ()

Variant of when that takes a monadic action for the condition.

unlessM :: Monad m => m Bool -> m () -> m ()

Variant of unless that takes a monadic action for the condition.

ifM :: Monad m => m Bool -> m a -> m a -> m a

Variant of ifthenelse that takes a monadic action for the condition and branches.