API for nick-ulle/typesys
General-purpose Abstract Type System

Global functions
ArrayType Man page Source code
AtomicType-class Man page
CharacterType Source code
ComplexType Source code
CompositeType-class Man page
EnvironmentType Source code
ExternalPtrType Source code
FunctionType Man page Source code
FunctionType.TypeEnvironment Source code
FunctionType.default Source code
FunctionType.list Source code
IntegerType Source code
Join Man page Source code
ListType Man page Source code
LogicalType Source code
NullType Source code
NumericType Source code
RawType Source code
StringType Source code
Substitution Source code
SymbolValue Man page Source code
Type-class Man page
TypeEnvironment Man page
TypeVariable Man page Source code
Union Man page Source code
UnknownValue Man page Source code
add_context Man page Source code
any_is Source code
compose Man page Source code
do_substitution Man page
element_type Man page
element_type<- Man page
element_type_all Man page
format Man page
format.Substitution Source code
format.TypeEnvironment Source code
format_quantified Source code
formula_to_type Man page Source code
formula_to_type.call Source code
formula_to_type.formula Source code
formula_to_type.name Source code
has_context Man page Source code
length.TypeEnvironment Source code
names.TypeEnvironment Source code
print Source code
quantify Man page Source code
same_type Man page
show Source code
simplify Man page Source code
typesys::ArrayType-class Man page
typesys::FunctionType-class Man page
typesys::Join-class Man page
typesys::ListType-class Man page
typesys::TypeVariable-class Man page
typesys::Union-class Man page
unification_error Source code
unify Man page
nick-ulle/typesys documentation built on Nov. 23, 2017, 12:55 a.m.