on-a-horse-0.1: "Haskell on a Horse" - A combinatorial web framework Source code Contents Index

Control.Arrow.Transformer.Automaton.Monad

Documentation

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

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

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

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

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

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

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

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

class ArrowAddAutomaton a a' | a -> a' where Source

Methods elimAutomaton :: a i o -> a' i (o, a i o) Source liftAutomaton :: a' i (o, a i o) -> a i o Source constantAutomaton :: a' i o -> a i o Source Instances Arrow a => ArrowAddAutomaton (Automaton a) a (Arrow a, Arrow a', ArrowAddAutomaton a a') => ArrowAddAutomaton (LabeledArrow a) (LabeledArrow a') (Arrow a, Arrow a', ArrowAddAutomaton a a') => ArrowAddAutomaton (ReaderArrow r a) (ReaderArrow r a') (Arrow a, Arrow a', ArrowAddAutomaton a a') => ArrowAddAutomaton (StateArrow s a) (StateArrow s a') (ArrowChoice a, ArrowChoice a', ArrowAddAutomaton a a') => ArrowAddAutomaton (ErrorArrow ex a) (ErrorArrow ex a')

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

Produced by Haddock version 2.6.1