Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Monad.Loop

Synopsis

for :: Traversable t => t a -> Loop m (t a)
while :: Traversable t => Loop m (t a) -> (a -> Bool) -> Loop m (t a, a -> Bool)
class With m ret param where
- with :: Loop m ret -> (param -> ExceptT () m ()) -> m ()
with_ :: (Traversable t, Monad m) => Loop m (t a) -> (a -> ExceptT () m ()) -> m ()
withi_ :: (Traversable t, Monad m, Integral n) => Loop m (t a) -> ((n, a) -> ExceptT () m ()) -> m ()
withWhile_ :: (Traversable t, Monad m) => Loop m (t a, a -> Bool) -> (a -> ExceptT () m ()) -> m ()
withWhilei_ :: (Traversable t, Monad m, Integral n) => Loop m (t a, a -> Bool) -> ((n, a) -> ExceptT () m ()) -> m ()
quit :: Monad m => ExceptT () m a
cease :: Monad m => ExceptT () m a

Documentation

for :: Traversable t => t a -> Loop m (t a) Source #

for clause to start a loop

while :: Traversable t => Loop m (t a) -> (a -> Bool) -> Loop m (t a, a -> Bool) Source #

while clause to determine the terminal condition of a loop.

  for [(0::Int)..] `while` (<10) `with` \(i::Int) -> lift do
    putStrLn "hi"

class With m ret param where Source #

Methods

with :: Loop m ret -> (param -> ExceptT () m ()) -> m () Source #

Instances details

(Monad m, Traversable t) => With m (t a) a Source #
Instance details Defined in Control.Monad.Loop Methods with :: Loop m (t a) -> (a -> ExceptT () m ()) -> m () Source #
(Monad m, Traversable t, Integral n) => With m (t a) (n, a) Source #
Instance details Defined in Control.Monad.Loop Methods with :: Loop m (t a) -> ((n, a) -> ExceptT () m ()) -> m () Source #
(Monad m, Traversable t) => With m (t a, a -> Bool) a Source #
Instance details Defined in Control.Monad.Loop Methods with :: Loop m (t a, a -> Bool) -> (a -> ExceptT () m ()) -> m () Source #
(Monad m, Traversable t, Integral n) => With m (t a, a -> Bool) (n, a) Source #
Instance details Defined in Control.Monad.Loop Methods with :: Loop m (t a, a -> Bool) -> ((n, a) -> ExceptT () m ()) -> m () Source #

with_ :: (Traversable t, Monad m) => Loop m (t a) -> (a -> ExceptT () m ()) -> m () Source #

start a for-each style loop.

withi_ :: (Traversable t, Monad m, Integral n) => Loop m (t a) -> ((n, a) -> ExceptT () m ()) -> m () Source #

start a for-each style loop with access to indices.

withWhile_ :: (Traversable t, Monad m) => Loop m (t a, a -> Bool) -> (a -> ExceptT () m ()) -> m () Source #

start a for-each style loop with while clause.

withWhilei_ :: (Traversable t, Monad m, Integral n) => Loop m (t a, a -> Bool) -> ((n, a) -> ExceptT () m ()) -> m () Source #

start a for-each style loop with while clause and access to indices.

break to the outer loop.

break to the outer most loop.