Control.Arrow.Transformer.Automaton.Monad

Documentation

readerArrow :: Arrow a => a (e, r) b -> ReaderArrow r a e b

swapsnd :: ((a, b), c) -> ((a, c), b)

autoToMonad :: (ArrowApply a', ArrowAddAutomaton a may a') => a i (Either o z) -> i -> ContT (o, a i o) (ArrowMonad a') z

co :: (ArrowApply a', ArrowAddAutomaton a may a') => o -> ContT (o, a i o) (ArrowMonad a') i

monadToAuto :: (ArrowAddAutomaton a may a', ArrowApply a') => (i -> ContT (o, a i o) (ArrowMonad a') z) -> a i o

pushError :: ArrowChoice a => a e (Either ex b) -> ErrorArrow ex a e b

popError :: ArrowChoice a => ErrorArrow ex a e b -> a e (Either ex b)

rstrength :: (Either ex a, b) -> Either ex (a, b)

class (ArrowChoice a, ArrowChoice may, ArrowChoice a', ArrowApply a') => ArrowAddAutomaton a may a' | a -> a', a -> may, may -> a where

Methods

elimAutomaton :: a i o -> a' i (o, a i o)

liftAutomaton :: a' i (o, a i o) -> a i o

constantAutomaton :: a' i o -> a i o

toMaybeAutomaton :: a i o -> may i o

fromMaybeAutomaton :: may i o -> a i o

liftMaybeAutomaton :: a' i (o, Maybe (a i o)) -> may i o

elimMaybeAutomaton :: may i o -> a' i (o, Maybe (a i o))

Instances

dispatch :: (ArrowAddAutomaton a may a', Ord k) => (k -> may i o) -> may (i, k) o

Produced by Haddock version 2.6.1