[Haskell-cafe] is this an arrow?

Daniel Peebles pumpkingod at gmail.com
Fri Apr 13 17:53:06 CEST 2012


On Fri, Apr 13, 2012 at 7:49 AM, Johannes Waldmann <
waldmann at imn.htwk-leipzig.de> wrote:

> type Computer a b =  ( a -> IO ( Maybe b ) )
> type Transformer a b c d =  Computer a ( b, c -> d )


Computer looks like Kleisli (MaybeT IO), which would be a valid instance of
Arrow.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120413/8ccb4f3b/attachment.htm>


More information about the Haskell-Cafe mailing list