Control.Arrow.Transformer.LabeledArrow

Documentation

newtype Label

Constructors

Label Integer

Instances

Read Label

Show Label

base64 :: [Char]

read64 :: (Enum a, Num a) => [Char] -> Maybe a

alterReader :: ArrowReader t2 t1 => (t2 -> t2) -> t1 e t -> t1 e t

pushId :: ArrowReader Label t1 => Integer -> t1 e t -> t1 e t

class (Arrow a, Arrow a') => ArrowAddLabel a a' | a -> a' where

Methods

runLabel :: a' (e, Label) b -> a e b

Instances

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 o

newtype LabeledArrow a i o

Constructors

LabeledArrow (ReaderArrow Label a i o)

Instances

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 t2

runLabeledArrow :: Arrow t1 => LabeledArrow t1 e t -> t1 e t

writeState :: Show t => t -> LabeledArrow (Kleisli IO) i ()

foo :: IO ()