Method in EnumerablesExtension

Summary

public static IEnumerable<IEnumerable<T>> CartesianProduct<T>
        (this IEnumerable<IEnumerable<T>> sequences)

Parameters

Method in

Summary

Returns an enumerator containing all items of sequence that are not null.

Parameters

Type Parameters

Returns

A sequence containing non-null elements of sequence .

Class in

Inherits from System.Object

Summary

Methods

Method in TypeVariable

Summary

public override bool Equals(object obj)

Parameters

Constructor in TypeVariable

Summary

Initialises a new TypeVariable .

public TypeVariable(string name, Antlr4.Runtime.ParserRuleContext context)

Parameters

Class in TypeChecker

Inherits from System.Object

Summary

A type variable represents a type that is not yet known.

public class TypeVariable : IType, IEquatable<TypeVariable>

Constructors

Methods

Properties

Summary

Classes

Class in TypeChecker

Inherits from System.Collections.Generic.Dictionary2`

Summary

A substitution is a mapping between type variables and types (or other type variables). It is produced during the process of type resolution by the TypeChecker.Solver class.

public class Substitution : Dictionary<TypeVariable, IType>

Methods

Method in TypeVariable

Summary

public bool Equals(TypeVariable other)

Parameters

Method in

Summary

Returns a duplicate of this .

Returns

The cloned .

Method in

Summary

Property in

Summary

Gets a more verbose description of this type.

Property in

Summary

Gets or sets the name of this type variable.

Method in

Summary

Parameters

Property in

Summary

Gets the parser context associated with this type (that is, the expression or other parse context whose type is represented by this type variable.)

Method in

Summary

Property in

Summary

Gets the parent of this type.

Remarks

All types have as their ultimate parent type (except for itself.)

Property in

Summary

Gets the collection of members belonging to this type.

Remarks

This collection is always empty, because a type variable represents an unknown type.