Control.Effect.Loop

Documentation

data Loop c e a

Loop c e indicates an effect with ability to continue with c or exit with e.

Instances

Functor (Loop c e)

Typeable (* -> * -> * -> *) Loop

type Is (* -> * -> * -> *) Loop f

class MemberEffect Loop (Loop c e) l => EffectLoop c e l

Instances

MemberEffect (* -> * -> * -> *) Loop (Loop c e) l => EffectLoop c e l

loop :: EffectLoop c e l => (forall r. (c -> r) -> (e -> r) -> (a -> r) -> r) -> Effect l a

Lift a CPS style computation with continuation and exit handler to the Effect monad.

stepLoop :: Effect (Loop c e :+ l) c -> (c -> Effect l e) -> Effect l e

data LoopState c e a

Constructors

ContinueWith c

ExitWith e

Return a

Instances

(Eq c, Eq e, Eq a) => Eq (LoopState c e a)

(Ord c, Ord e, Ord a) => Ord (LoopState c e a)

(Read c, Read e, Read a) => Read (LoopState c e a)

(Show c, Show e, Show a) => Show (LoopState c e a)

loop' :: EffectLoop c e l => LoopState c e a -> Effect l a

toCPS :: LoopState c e a -> Loop c e a

fromCPS :: Loop c e a -> LoopState c e a

continue :: EffectLoop () e l => Effect l a

exit :: EffectLoop c () l => Effect l a

continueWith :: forall c e l a. EffectLoop c e l => c -> Effect l a

exitWith :: EffectLoop c e l => e -> Effect l a

foreach :: [a] -> (a -> Effect (Loop c () :+ l) c) -> Effect l ()

while :: Effect l Bool -> Effect (Loop c () :+ l) c -> Effect l ()

doWhile :: Effect (Loop a a :+ l) a -> Effect l Bool -> Effect l a

once :: Effect (Loop a a :+ l) a -> Effect l a

repeatLoop :: Effect (Loop c e :+ l) a -> Effect l e

iterateLoop :: c -> (c -> Effect (Loop c e :+ l) c) -> Effect l e