Documentation

testMaybeLimit :: LimitMaybe #

trampolineMWithLimit :: Monad m => (a -> m $ Same a) -> LimitMaybe -> a -> m a #

actMWithLimit :: Monad m => (a -> m $ Same a) -> WithLimit a -> m $ EitherWithLimit a #

next :: Natural -> Same a -> EitherWithLimit a #

withLimit :: Natural -> a -> WithLimit a #

trampolineM :: Monad m => (a -> m (Either b a)) -> a -> m b #

trampoline :: (a -> Either b a) -> a -> b #

continue :: a -> Either b a #

break :: b -> Either b a #

type LimitMaybe = Maybe Natural #

type EitherWithLimit a = Either a $ WithLimit a #

type WithLimit a = (Natural, a) #

type Same a = Either a a #