present-4.1.0: Make presentations for data types.

Index

CharValuePresent
CharWHNFPresent
ChoiceValuePresent
ChoiceWHNFPresent
DataValuePresent
DataWHNFPresent
ExceptionValuePresent
ExceptionWHNFPresent
FunctionValuePresent
FunctionWHNFPresent
IntegerValuePresent
IntegerWHNFPresent
ListConsWHNFPresent
ListEndWHNFPresent
ListValuePresent
Present0Present
present0Present
Present1Present
present1Present
Present2Present
present2Present
Present3Present
present3Present
Present4Present
present4Present
Present5Present
present5Present
Present6Present
present6Present
presentItPresent
presentNamePresent
presentShowPresent
presentTypePresent
PrimitiveValuePresent
PrimitiveWHNFPresent
RecordValuePresent
RecordWHNFPresent
StringValuePresent
StringWHNFPresent
toShowPresent
toWHNFPresent
TupleValuePresent
TupleWHNFPresent
TypeVariableValuePresent
TypeVariableWHNFPresent
ValuePresent
WHNFPresent
whnfJsonPresent