Control.Arrow.Machine.ArrowUtil

Arrow utilities not related to machinecell library.

Arrow construction helper

ary0 :: (forall p q. (p -> m q) -> a p q) -> m b -> a () b

ary1 :: (forall p q. (p -> m q) -> a p q) -> (a1 -> m b) -> a a1 b

ary2 :: (forall p q. (p -> m q) -> a p q) -> (a1 -> a2 -> m b) -> a (a1, a2) b

ary3 :: (forall p q. (p -> m q) -> a p q) -> (a1 -> a2 -> a3 -> m b) -> a (a1, a2, a3) b

ary4 :: (forall p q. (p -> m q) -> a p q) -> (a1 -> a2 -> a3 -> a4 -> m b) -> a (a1, a2, a3, a4) b

ary5 :: (forall p q. (p -> m q) -> a p q) -> (a1 -> a2 -> a3 -> a4 -> a5 -> m b) -> a (a1, a2, a3, a4, a5) b

kleisli :: Monad m => (a -> m b) -> Kleisli m a b

kleisli0 :: Monad m => m b -> Kleisli m () b

kleisli2 :: Monad m => (a1 -> a2 -> m b) -> Kleisli m (a1, a2) b

kleisli3 :: Monad m => (a1 -> a2 -> a3 -> m b) -> Kleisli m (a1, a2, a3) b

kleisli4 :: Monad m => (a1 -> a2 -> a3 -> a4 -> m b) -> Kleisli m (a1, a2, a3, a4) b

kleisli5 :: Monad m => (a1 -> a2 -> a3 -> a4 -> a5 -> m b) -> Kleisli m (a1, a2, a3, a4, a5) b

unArrowMonad :: ArrowApply a => (p -> ArrowMonad a q) -> a p q

arrowMonad :: ArrowApply a => a p q -> p -> ArrowMonad a q

reading :: (Monad m, Arrow a) => (forall p q. (p -> m q) -> a p q) -> (b -> ReaderT r m c) -> ReaderArrow r a b c

statefully :: (Monad m, Arrow a) => (forall p q. (p -> m q) -> a p q) -> (b -> StateT s m c) -> StateArrow s a b c

Arrow construction helper (Lens)

Lens Isomorphisms between arrows and monads. All definitions are defined arrow->monad directions. Use with lens operator (^.) and (#).

kl :: MyIso' (a -> m b) (Kleisli m a b)

Isomorphsm between m and (Kleisli m)

am :: ArrowApply a => MyIso' (b -> ArrowMonad a c) (a b c)

Isomorphism between (ArrowMonad a) and a

rd :: Arrow a => (forall p q. MyIso' (p -> m q) (a p q)) -> MyIso' (b -> ReaderT r m c) (ReaderArrow r a b c)

uc0 :: MyIso' (m b) (() -> m b)

uc1 :: MyIso' (a1 -> m b) (a1 -> m b)

uc2 :: MyIso' (a1 -> a2 -> m b) ((a1, a2) -> m b)

uc3 :: MyIso' (a1 -> a2 -> a3 -> m b) ((a1, a2, a3) -> m b)

uc4 :: MyIso' (a1 -> a2 -> a3 -> a4 -> m b) ((a1, a2, a3, a4) -> m b)

uc5 :: MyIso' (a1 -> a2 -> a3 -> a4 -> a5 -> m b) ((a1, a2, a3, a4, a5) -> m b)

Custom arrow syntax helper

To absorve arrow stack signature difference bettween ghc 7.8 and older.

type AS e = (e, ())

toAS :: e -> AS e

fromAS :: AS e -> e

elimR :: ArrowAddReader r a a' => a (AS e) b -> a' (e, AS r) b

Alternate for elimReader that can be used with both ghc 7.8 and older.