C# (CSharp) ITypeExpr Examples

Example #1

File: VEAbs.cs Project: takuto-h/omicron

 public VEAbs(
     string valueVarName,
     ITypeExpr typeExpr,
     IValueExpr valueExpr
 )
 {
     mValueVarName = valueVarName;
     mTypeExpr = typeExpr;
     mValueExpr = valueExpr;
 }

Example #2

File: TEAbs.cs Project: takuto-h/omicron

 public TEAbs(
     string typeVarName,
     IKind kind,
     ITypeExpr typeExpr
 )
 {
     mTypeVarName = typeVarName;
     mKind = kind;
     mTypeExpr = typeExpr;
 }

Example #3

File: VETypeApp.cs Project: takuto-h/omicron

 public VETypeApp(IValueExpr valueExpr, ITypeExpr typeExpr)
 {
     mValueExpr = valueExpr;
     mTypeExpr = typeExpr;
 }

Example #4

File: TEDef.cs Project: takuto-h/omicron

 public TEDef(string typeVarName, ITypeExpr typeExpr)
 {
     mTypeVarName = typeVarName;
     mTypeExpr = typeExpr;
 }

Example #5

File: VEType.cs Project: takuto-h/omicron

 public VEType(ITypeExpr typeExpr)
 {
     mTypeExpr = typeExpr;
 }

Example #6

File: VEUnfold.cs Project: takuto-h/omicron

 public VEUnfold(ITypeExpr typeExpr, IValueExpr valueExpr)
 {
     mTypeExpr = typeExpr;
     mValueExpr = valueExpr;
 }

Example #7

File: TEApp.cs Project: takuto-h/omicron

 public TEApp(ITypeExpr typeExpr1, ITypeExpr typeExpr2)
 {
     mTypeExpr1 = typeExpr1;
     mTypeExpr2 = typeExpr2;
 }