Gets the field labels of a constructor. The list of labels is returned in the same order as they were given in the original constructor declaration.
Gets the fixity of a constructor
Gets the index of a constructor (algebraic datatypes only)
Gets the public presentation of constructors
Gets the datatype of a constructor
Return a list of values of a datatype. Each value is one of the possible constructors of the datatype, populated with empty values.
Representation of constructors. Note that equality on constructors with different types may not work -- i.e. the constructors for False and Nothing may compare equal.
Public representation of constructors
The constant functor.
Gets the constructors of an algebraic datatype
Build a term skeleton
Build a term and use a generic function for subterms
Gets the constructor for an index (algebraic datatypes only)
Gets the maximum constructor index of an algebraic datatype
Makes a constructor for Char.
Constructs a constructor
This function is now deprecated. Please use mkRealConstr instead.
This function is now deprecated. Please use mkCharConstr instead.
Show more results