|
Control.Arrow.Transformer.Automaton.Monad |
|
|
|
|
Documentation |
|
|
|
swapsnd :: ((a, b), c) -> ((a, c), b) | 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 |
| | toMaybeAutomaton :: a i o -> may i o | Source |
| | fromMaybeAutomaton :: may i o -> a i o | Source |
| | liftMaybeAutomaton :: a' i (o, Maybe (a i o)) -> may i o | Source |
| | elimMaybeAutomaton :: may i o -> a' i (o, Maybe (a i o)) | Source |
|
| | Instances | (ArrowChoice a, ArrowApply a) => ArrowAddAutomaton (Automaton a) (MaybeAutomaton a) a | (Arrow a, Arrow a', ArrowAddAutomaton a may a') => ArrowAddAutomaton (LabeledArrow a) (LabeledArrow may) (LabeledArrow a') | (Arrow a, Arrow a', ArrowAddAutomaton a may a') => ArrowAddAutomaton (ReaderArrow r a) (ReaderArrow r may) (ReaderArrow r a') | (Arrow a, Arrow may, Arrow a', ArrowAddAutomaton a may a') => ArrowAddAutomaton (StateArrow s a) (StateArrow s may) (StateArrow s a') | (ArrowChoice a, ArrowChoice may, ArrowChoice a', ArrowAddAutomaton a may a') => ArrowAddAutomaton (ErrorArrow ex a) (ErrorArrow ex may) (ErrorArrow ex a') |
|
|
|
|
|
Produced by Haddock version 2.6.1 |