Associativity of the generic representation of sum types
Bas van Dijk
v.dijk.bas at gmail.com
Thu Sep 22 14:45:11 CEST 2011
2011/9/22 Bas van Dijk <v.dijk.bas at gmail.com>:
> What would make all this much easier is if the meta-information of
> constructors had a flag which indicated if it was a record or not.
> Could this be added?
I just discovered the predicate:
-- | Marks if this constructor is a record
conIsRecord :: t c (f :: * -> *) a -> Bool
I think this can solve my problem.
More information about the Glasgow-haskell-users