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.
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)
Public representation of constructors
Gets the public presentation of constructors
Gets the datatype of a constructor
A library of algebra focusing mainly on commutative ring theory from a constructive point of view.
Classical structures are implemented without Noetherian assumptions. This means that it is not assumed that all ideals are finitely generated. For example, instead of principal ideal domains one gets Bezout domains which are integral domains in which all finitely generated ideals are principal (and not necessarily that all ideals are principal). This give a good framework for implementing many interesting algorithms.
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.
Lookup a constructor via a string
Show more results