Comments on: FactoryArrow http://blog.downstairspeople.org/2009/08/09/factoryarrow/ A blog of fleshlings and robots. Thu, 17 Jun 2010 00:36:13 +0000 hourly 1 http://wordpress.org/?v=3.0 By: Lane http://blog.downstairspeople.org/2009/08/09/factoryarrow/comment-page-1/#comment-418 Lane Mon, 10 Aug 2009 01:06:19 +0000 http://blog.downstairspeople.org/?p=87#comment-418 Are you talking about the <a href="http://hackage.haskell.org/packages/archive/arrows/0.4.1.1/doc/html/Control-Arrow-Transformer-Static.html" rel="nofollow">StaticArrow</a>? I see it. Good catch. Are you talking about the StaticArrow?

I see it. Good catch.

]]> By: Twan van Laarhoven http://blog.downstairspeople.org/2009/08/09/factoryarrow/comment-page-1/#comment-417 Twan van Laarhoven Sun, 09 Aug 2009 23:23:59 +0000 http://blog.downstairspeople.org/?p=87#comment-417 Any Arrow wrapped in an Applicative gives another arrow newtype ApArrow f (~>) a b = ApArrow { runApArrow :: f (a ~> b) } Since every Monad is also an Applicative functor, your FactoryArrow m n = ApArrow m (Kleisli n) Any Arrow wrapped in an Applicative gives another arrow

newtype ApArrow f (~>) a b = ApArrow { runApArrow :: f (a ~> b) }

Since every Monad is also an Applicative functor, your FactoryArrow m n = ApArrow m (Kleisli n)

]]>