Hello, Having read about the SerTH library, I am now trying to use it in my application. It works great for simple types. However, I ran into trouble when I tried to serialise
data S = S (Map Int Int)
; ghc complains that there is no instance for 'Serializable (Data.Map.Map Int Int)'. I am not sure how to derive such an instance. I tried
$(deriveSerializable ''Map)
, which gave "Exception when trying to run compile-time code: ./Codec/Serialize/SerTH/BSerDerive.hs:(56,0)-(57,98): Non-exhaustive patterns in function sdef". Is this perhaps because 'deriveSerializable' cannot handle type constructors with arguments? Next I tried
type MapIntInt = Map Int Int $(deriveSerializable ''MapIntInt)
, giving the same error message. To investigate, I tried to serialise
type Foo = Int
which did not work. However, it is possible to derive serialisation for
data Bar = Bar Char Foo Int
with 'Foo' as above. So it seems that type synonyms can be serialised indirectly, but not directly. Could anyone give me a hint as to what I'm doing wrong? Or is what I'm trying not possible with SerTH? Thanks and greetings, Arie Peterson