Data.Exists

Data Types

data Exists f

data Exists2 f

data Exists3 f

data Some f

Type Classes

class EqForall f

class EqForallPoly f

class OrdForall f

class OrdForallPoly f

class ShowForall f

class ReadForall f

class EnumForall f

class BoundedForall f

class SemigroupForall f

class MonoidForall f

class HashableForall f

class PathPieceForall f

class FromJSONForall f

class FromJSONExists f

class ToJSONForall f

data ToJSONKeyFunctionForall f

data FromJSONKeyFunctionForall f

class ToJSONKeyForall f

class FromJSONKeyExists f

class FromJSONKeyForall f

class StorableForall f

Higher Rank Classes

class EqForall2 f

class EqForallPoly2 f

class ShowForall2 f

More Type Classes

type family Sing = (r :: k -> Type) | r -> k

data SingList

data SingMaybe

class Reify a

class Unreify k

Sing Type Classes

class EqSing k

class ToJSONSing k

class FromJSONSing k

class ToSing f

Functions

Show

showsForall

showForall

showsForall2

showForall2

Defaulting

defaultEqForallPoly

defaultCompareForallPoly

parseJSONMapForallKey

Other

unreifyList