quantification-0.1: Data types and typeclasses to deal with universally and existentially quantified types

Index

BoundedForallData.Exists
compareForallData.Exists
compareForallPolyData.Exists
EnumForallData.Exists
EqForallData.Exists
eqForallData.Exists
EqForall2Data.Exists
eqForall2Data.Exists
EqForallPolyData.Exists
eqForallPolyData.Exists
EqForallPoly2Data.Exists
eqForallPoly2Data.Exists
Exists 
1 (Type/Class)Data.Exists
2 (Data Constructor)Data.Exists
Exists2 
1 (Type/Class)Data.Exists
2 (Data Constructor)Data.Exists
Exists3 
1 (Type/Class)Data.Exists
2 (Data Constructor)Data.Exists
fromEnumForallData.Exists
FromJSONForallData.Exists
FromJSONKeyForallData.Exists
fromJSONKeyForallData.Exists
fromPathPieceForallData.Exists
HashableForallData.Exists
hashWithSaltForallData.Exists
mappendForallData.Exists
maxBoundForallData.Exists
memptyForallData.Exists
minBoundForallData.Exists
MonoidForallData.Exists
OrdForallData.Exists
OrdForallPolyData.Exists
parseJSONForallData.Exists
PathPieceForallData.Exists
ReadForallData.Exists
readPrecForallData.Exists
ShowForallData.Exists
showForallData.Exists
showsForallData.Exists
showsPrecForallData.Exists
toEnumForallData.Exists
ToJSONForallData.Exists
toJSONForallData.Exists
ToJSONKeyForallData.Exists
toJSONKeyForallData.Exists
ToJSONKeyFunctionForallData.Exists
ToJSONKeyTextForallData.Exists
ToJSONKeyValueForallData.Exists
toPathPieceForallData.Exists