Method | Description | |
---|---|---|
AbstractionElimination ( IMetadataContainer container ) : System | ||
VisitAbstraction ( TypedExpressions d ) : void | ||
VisitApplication ( TypedExpressions d ) : void | ||
VisitCase ( TypedExpressions d ) : void | ||
VisitComposition ( TypedExpressions d ) : void | ||
VisitConst ( TypedExpressions d ) : void | ||
VisitCurry ( TypedExpressions d ) : void | ||
VisitIdentity ( TypedExpressions d ) : void | ||
VisitInl ( TypedExpressions d ) : void | ||
VisitInr ( TypedExpressions d ) : void | ||
VisitOutl ( TypedExpressions d ) : void | ||
VisitOutr ( TypedExpressions d ) : void | ||
VisitSplit ( TypedExpressions d ) : void | ||
VisitSynonym ( TypedExpressions d ) : void | ||
VisitUncurry ( TypedExpressions d ) : void | ||
VisitVariable ( TypedExpressions d ) : void |
public AbstractionElimination ( IMetadataContainer container ) : System | ||
container | IMetadataContainer | |
return | System |
public VisitAbstraction ( TypedExpressions d ) : void | ||
d | TypedExpressions | |
return | void |
public VisitApplication ( TypedExpressions d ) : void | ||
d | TypedExpressions | |
return | void |
public VisitCase ( TypedExpressions d ) : void | ||
d | TypedExpressions | |
return | void |
public VisitComposition ( TypedExpressions d ) : void | ||
d | TypedExpressions | |
return | void |
public VisitConst ( TypedExpressions d ) : void | ||
d | TypedExpressions | |
return | void |
public VisitCurry ( TypedExpressions d ) : void | ||
d | TypedExpressions | |
return | void |
public VisitIdentity ( TypedExpressions d ) : void | ||
d | TypedExpressions | |
return | void |
public VisitInl ( TypedExpressions d ) : void | ||
d | TypedExpressions | |
return | void |
public VisitInr ( TypedExpressions d ) : void | ||
d | TypedExpressions | |
return | void |
public VisitOutl ( TypedExpressions d ) : void | ||
d | TypedExpressions | |
return | void |
public VisitOutr ( TypedExpressions d ) : void | ||
d | TypedExpressions | |
return | void |
public VisitSplit ( TypedExpressions d ) : void | ||
d | TypedExpressions | |
return | void |
public VisitSynonym ( TypedExpressions d ) : void | ||
d | TypedExpressions | |
return | void |
public VisitUncurry ( TypedExpressions d ) : void | ||
d | TypedExpressions | |
return | void |
public VisitVariable ( TypedExpressions d ) : void | ||
d | TypedExpressions | |
return | void |