Data.Exists

Data Types

data Exists f

data Exists2 f

data Exists3 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

class ToJSONKeyForall f

class FromJSONKeyExists f

class StorableForall f

Higher Rank Classes

class EqForall2 f

class EqForallPoly2 f

class ShowForall2 f

More Type Classes

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

data SingList

class Reify a

class Unreify k

Functions

Show

showsForall

showForall

showsForall2

showForall2

Defaulting

defaultEqForallPoly

defaultCompareForallPoly

Other

unreifyList