Documentation

dupA :: Arrow a => a b (b, b)Source

Arrow with delicate.

curryA :: Arrow a => a ((b, c) -> d) (b -> c -> d)Source

Arrow with curry.

uncurryA :: Arrow a => a (b -> c -> d) ((b, c) -> d)Source

Arrow with uncurry.

swapA :: Arrow a => a (b, c) (c, b)Source

Arrow with swap.

liftA2 :: Arrow a => (b -> c -> d) -> a e b -> a e c -> a e dSource

Arrow with liftM2.

idA :: Arrow a => a b bSource

Arrow with id.

fstA :: Arrow a => a (b, c) bSource

Fst with arrow.

sndA :: Arrow a => a (b, c) cSource

Snd with arrow.