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
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
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.
Lookup a constructor via a string
Look up a constructor by its representation
Gets the string for a constructor
Observe string encoding of a type representation