Data.Singletons.Class
class EqSing1 f
class EqSing2 f
class OrdSing1 f
class OrdSing2 f
class HashableSing1 f
class HashableSing2 f
class ToJSONSing1 f
class ToJSONSing2 f
class FromJSONSing1 f
class FromJSONSing2 f
class ShowKind kproxy
class ReadKind kproxy
class HashableKind kproxy
class ToJSONKind kproxy
class FromJSONKind kproxy
class ToJSONKeyKind kproxy
class FromJSONKeyKind kproxy
data Applied1 f a
data Applied2 f a b
data Applied3 f a b c
data SomeSingWith1 kproxy f
type SomeSingWith1'
data SomeSingWith2 kproxy1 kproxy2 f
type SomeSingWith2'
data SingWith1 kproxy f a
data ClassySomeSing kproxy
class EqApplied1 f
class HashableApplied1 f
class ToJSONApplied1 f
class FromJSONApplied1 f