utility-ht-0.0.7: Various small helper functions for Lists, Maybes, Tuples, Functions

Control.Monad.HT

Synopsis

Documentation

(<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c

Also present in newer versions of the base package.

repeat :: Monad m => m a -> m [a]

Monadic List.repeat.

untilM :: Monad m => (a -> Bool) -> m a -> m a

repeat action until result fulfills condition

until :: Monad m => (a -> Bool) -> m a -> m a

iterateLimitM :: Monad m => Int -> (a -> m a) -> a -> m [a]

parameter order equal to that of nest

iterateLimit :: Monad m => Int -> (a -> m a) -> a -> m [a]

andLazy :: Monad m => m Bool -> m Bool -> m Bool

Lazy monadic conjunction. That is, when the first action returns False, then False is immediately returned, without running the second action.

orLazy :: Monad m => m Bool -> m Bool -> m Bool

Lazy monadic disjunction. That is, when the first action returns True, then True is immediately returned, without running the second action.