On Sun, Jan 2, 2011 at 01:37, Mathijs Kwik bluescreen...@gmail.com wrote:
The original package
http://hackage.haskell.org/packages/archive/reaction-logic/2010.11.17/doc/html/Data-Reactor.html
has a constructor function (mkReactor) with exactly the constraints
I'm after. However, the constraint
Hi all,
I would like to make a more restrictive version of a certain datatype.
I tried wrapping it in a newtype, fundeps, type families, really got lost :)
What I'm trying to achieve is the following:
The original package