[Haskell-cafe] is this an arrow?

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Fri Apr 13 13:49:29 CEST 2012

Dear Cafe, I have the following types:

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

For example, a SAT solver:
minisat :: Computer CNF Assignment,

and when I use it to solve an application problem
via transformation to SAT, I need
t :: Transformer Problem SAT Assignment Solution

Now - what is the proper abstraction? Is this an arrow somehow?
And is there already a type and a library that would
contain useful combinators like some of these:


Thanks - J.W.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120413/48677a8c/attachment.pgp>

More information about the Haskell-Cafe mailing list