Data.Singletons.Class

Singleton Classes

class EqSing1 f

class EqSing2 f

class OrdSing1 f

class OrdSing2 f

class ShowSing2 f

class ReadSing2 f

class HashableSing1 f

class HashableSing2 f

class ToJSONSing1 f

class ToJSONSing2 f

class FromJSONSing1 f

class FromJSONSing2 f

Kind classes

class ShowKind k

class ReadKind k

class HashableKind k

class ToJSONKind k

class FromJSONKind k

class ToJSONKeyKind k

class FromJSONKeyKind k

Data types

data Applied1 f a

data Applied2 f a b

data Applied3 f a b c

data SomeSingWith1 k f

type family SomeSingWith1' (f :: k -> Type) :: Type where ...

data SomeSingWith2 k j f

type family SomeSingWith2' (f :: k -> j -> Type) :: Type where ...

data SingWith1 k f a

data ClassySomeSing kproxy

Classes for Applied

class EqApplied1 f

class HashableApplied1 f

class ToJSONApplied1 f

class FromJSONApplied1 f

Functions

showKind

readMaybeKind

eqSome

compareSome