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)
Show more results