Ast.Tree Module


This module defines the following types:

Function Type

Functions are used in App ITerms to indicate what function is applied. They have an arbitrary-sized typed list of arguments. They return a typed single value. The Identity field is None if the function is not associative; it points to the ITerm that behaves as identity otherwise

Implemented Interfaces

  • IEquatable<Function>
  • IStructuralEquatable

Methods

Modifiers Return type Method name Method parameters Description
int GetHashCode IEqualityComparer
int GetHashCode
bool Equals Object, IEqualityComparer
bool Equals Function
bool Equals Object

Properties

Return type Property name Description
string Name
IType RetType
IType list ArgsType
ITerm option Identity

 

Application Type

Application ITerms are the inner nodes of the AST tree. They have a Function and a list of arguments

Implemented Interfaces

  • ITerm

Methods

Modifiers Return type Method name Method parameters Description
string ToString
bool Equals Object
int GetHashCode

Properties

Return type Property name Description
Function Function
ITerm list Args

 

ActivePatterns Type

Defines the public interface on how to pattern match AST elements defined in the Ast.Tree module

Methods

Modifiers Return type Method name Method parameters Description
static Function * ITerm list option |App|_| ITerm Active pattern to recognize function application AST elements

 

Builders Type

Defines the public interface on how to construct AST elements defined in the Ast.Tree module

Methods

Modifiers Return type Method name Method parameters Description
static ITerm App Function, ITerm list Build a function application AST node. It will check that the amount of parameters and their types are correct before building the term

 

Automatically generated on 6/10/2011 2:28:40 PM
 

Last edited Jun 10, 2011 at 9:32 PM by gdecaso, version 2

Comments

No comments yet.