| Safe Haskell | None |
|---|
Control.Arrow.Transformer.Automaton.Maybe
Documentation
newtype MaybeAutomaton a i o Source
Constructors
| MaybeAutomaton (a i (o, Maybe (Automaton a i o))) |
Instances
| ArrowChoice a => ArrowChoice (MaybeAutomaton a) | |
| Arrow a => Arrow (MaybeAutomaton a) | |
| Arrow a => Category (MaybeAutomaton a) | |
| (ArrowChoice a, ArrowApply a) => ArrowAddAutomaton (Automaton a) (MaybeAutomaton a) a |
mAut :: MaybeAutomaton t t1 t2 -> t t1 (t2, Maybe (Automaton t t1 t2))Source
automatonFromMaybe :: Arrow a => MaybeAutomaton a b c -> Automaton a b cSource
maybeFromAutomaton :: Arrow a => Automaton a i o -> MaybeAutomaton a i oSource