functional-arrow-0.0: Combinators that allow for a more functional/monadic style of Arrow programming

Control.Arrow.Let

Documentation

class Index t envi envo whereSource

Methods

ref :: Arrow arr => arr envi t -> arr envo tSource

Instances

Index t envi envo => Index t envi (h, envo) 
Index t envi (t, envi) 

(<<<&) :: Arrow arrow => arrow (b, a) c -> arrow a b -> arrow a cSource

input :: Arrow arrow => arrow () IntSource

f :: Arrow arrow => arrow (Int, ()) CharSource

g :: Arrow arrow => arrow (Char, (Int, ())) BoolSource

c1 :: Arrow arrow => arrow (Int, ()) BoolSource

c2 :: Arrow arrow => arrow (Int, ()) BoolSource