| mlsub.typing |
Implementation of a type checker for the ML-Sub type system.
Copyright
This package is free software. It is released under the
GNU General Public License.
Copyright Daniel Bonniot.
|
| Java Source File Name | Type | Comment |
| AtomicConstraint.java | Class | Atomic constraint. |
| AtomicKind.java | Interface | An atomic kind. |
| BadSizeEx.java | Class | Error in sizes. |
| Constraint.java | Class | Atomic constraint. |
| Debug.java | Class | Printing debug messages. |
| Domain.java | Class | Ex V. |
| Enumeration.java | Class | Enumeration of the type constructors in a domain. |
| FunType.java | Class | A functional monotype. |
| FunTypeKind.java | Class | The Arrow kind. |
| ImplementsCst.java | Class | A type constructor implements an interface. |
| Interface.java | Class | Structural interface. |
| InternalError.java | Class | Unexpected error. |
| KindingEx.java | Class | |
| Monotype.java | Class | A monomorphic type. |
| MonotypeConstructor.java | Class | A monotype, build by application of
a type constructor to type parameters. |
| MonotypeLeqCst.java | Class | |
| MonotypeLeqEx.java | Class | Error when asserting inequality between monotypes. |
| MonotypeLeqTcCst.java | Class | A monotype's head is less than a type constructor. |
| MonotypeVar.java | Class | A monotype variable. |
| NullnessKind.java | Class | The kind of types qualified by their nullness. |
| Polytype.java | Class | A constrained monotype. |
| Test.java | Class | |
| TopMonotype.java | Class | A monotype greater than all others. |
| TupleKind.java | Class | The kind of tuples (one per arity). |
| TupleType.java | Class | A tuple type. |
| TypeConstructor.java | Class | A class. |
| TypeConstructorLeqCst.java | Class | Constraint on type constructors. |
| TypeConstructorLeqMonotypeCst.java | Class | Constraint a type constructor to be lower than a monotype's head. |
| TypeSymbol.java | Interface | A type symbol. |
| Typing.java | Class | |
| TypingEx.java | Class | Generic type exception. |
| UnknownMonotype.java | Class | An unknown monotype. |
| Variance.java | Class | Variance of a type constructor. |