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.

foldl :: forall t b a. Foldable t => (b -> a -> b) -> b -> t a -> b

Default to using the strict version since the lazy one is so controversial.