C# Class Purity.Compiler.Utilities.TypedExpressionUtilities

显示文件 Open project: paf31/Purity

Public Methods

Method	Description
Assocl ( IType a, IType b, IType c ) : ITypedExpression
Assocr ( IType a, IType b, IType c ) : ITypedExpression
Distl ( IType a, IType b, IType c ) : ITypedExpression
Distr ( IType a, IType b, IType c ) : ITypedExpression
Flip ( IType a, IType b ) : ITypedExpression
Sum ( ITypedExpression left, ITypedExpression right, IType l1, IType l2, IType r1, IType r2 ) : ITypedExpression

Method Details

Assocl() public static method

public static Assocl ( IType a, IType b, IType c ) : ITypedExpression
a	IType
b	IType
c	IType
return	ITypedExpression

Assocr() public static method

public static Assocr ( IType a, IType b, IType c ) : ITypedExpression
a	IType
b	IType
c	IType
return	ITypedExpression

Distl() public static method

public static Distl ( IType a, IType b, IType c ) : ITypedExpression
a	IType
b	IType
c	IType
return	ITypedExpression

Distr() public static method

public static Distr ( IType a, IType b, IType c ) : ITypedExpression
a	IType
b	IType
c	IType
return	ITypedExpression

Flip() public static method

public static Flip ( IType a, IType b ) : ITypedExpression
a	IType
b	IType
return	ITypedExpression

Sum() public static method

public static Sum ( ITypedExpression left, ITypedExpression right, IType l1, IType l2, IType r1, IType r2 ) : ITypedExpression
left	ITypedExpression
right	ITypedExpression
l1	IType
l2	IType
r1	IType
r2	IType
return	ITypedExpression