Documentation

newtype Label Source

base64 :: [Char]Source

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

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

runArrowLabel :: Arrow a => a (t, Label) o -> LabeledArrow a t oSource

newtype LabeledArrow a i o Source

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

foo :: IO ()Source