I'm looking for a pattern to use for state separation in my
application.
I need to write two stateful libraries. One is a partitioned in-
memory store, the other a disk based store with an in-memory cache
fronting it. Both store modules need the IO and State monad.
My aim is to write the
The code below does not compile unless the bar function is
annotated with a suitable constraint on the class of the formal
parameter.
module Main where
class (C a)
data (C foo) = XY foo = X foo | Y foo
bar :: a - XY a
bar aFoo = X aFoo
main = return ()
I get:
$ ghc Test.hs
Great! Thanks for the revision Daniel. If you're ever in San
Francisco, please do ping me - I sure owe you lunch!
- Reto
On Mar 31, 2006, at 3:14 PM, Daniel Fischer wrote:
Am Freitag, 31. März 2006 15:24 schrieb Daniel Fischer:
Hi,
probably somebody else has already come up with
I ran into the following problem with parsec's handling of operators.
I hope someone on the list can show me a trick that resolve my
current issue. At the end of this message is the full code for the
reproducer.
The language I'm parsing has infix operators of two forms. Some are
special