Safe Haskell | None |
---|
Documentation
alterReader :: ArrowReader t2 t1 => (t2 -> t2) -> t1 e t -> t1 e tSource
pushId :: ArrowReader Label t1 => Integer -> t1 e t -> t1 e tSource
class (Arrow a, Arrow a') => ArrowAddLabel a a' | a -> a' whereSource
Arrow a => ArrowAddLabel (LabeledArrow a) a | |
ArrowAddLabel a a' => ArrowAddLabel (ReaderArrow r a) (ReaderArrow r a') | |
(ArrowAddLabel a a', ArrowChoice a, ArrowChoice a') => ArrowAddLabel (ErrorArrow ex a) (ErrorArrow ex a') |
runArrowLabel :: Arrow a => a (t, Label) o -> LabeledArrow a t oSource
newtype LabeledArrow a i o Source
LabeledArrow (ReaderArrow Label a i o) |
ArrowReader r a => ArrowReader r (LabeledArrow a) | |
ArrowError ex a => ArrowError ex (LabeledArrow a) | |
ArrowAddError ex a a' => ArrowAddError ex (LabeledArrow a) (LabeledArrow a') | |
ArrowChoice a => ArrowChoice (LabeledArrow a) | |
Arrow a => Arrow (LabeledArrow a) | |
ArrowApply a => ArrowApply (LabeledArrow a) | |
(Category a, Arrow a) => Category (LabeledArrow a) | |
Arrow a => ArrowAddLabel (LabeledArrow a) a | |
(Arrow a, Arrow a', ArrowAddAutomaton a may a') => ArrowAddAutomaton (LabeledArrow a) (LabeledArrow may) (LabeledArrow a') |
unLA :: LabeledArrow t t1 t2 -> ReaderArrow Label t t1 t2Source
runLabeledArrow :: Arrow t1 => LabeledArrow t1 e t -> t1 e tSource
writeState :: Show t => t -> LabeledArrow (Kleisli IO) i ()Source