Djinn takes a type, what you have written does not appear to be a type.
After reading this post, i can only see a -> b
how to define more specific such as
flow 0 y = y
flow z flow x, y = flow z+x, y
could you demonstrate using djinn to do above mapping definition
to generate a function?
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell