instance Listable Data.Void.Void

[jwaldmann]

Perhaps this is for leancheck-instances? --- I recently wanted

instance Listable Void where tiers = []

Use case: terms with variables, something like

data Term v = A | B (Term v) (Term v) | Var v deriving Generic
instance Listable v => Listable (Term v) where tiers = genericTiers

and Term Void is ground terms (i.e., without variables)

[rudymatela]

Perhaps this is for leancheck-instances?

@jwaldmann Yes.

I have added it to leancheck-instances now. It's part of leancheck-instances-0.0.5, which I released on Hackage just now.

My goal is to include all types present in quickcheck-instances in leancheck-instances, but only about 10% is covered now. If you ever feel like another type is missing and have the spare time, contributions are welcome. :-) There's a guide on how to add new instances to leancheck-instances in one of its README sections.