[Haskell-cafe] is this an arrow?
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...
Size: 262 bytes
Desc: OpenPGP digital signature
More information about the Haskell-Cafe