Exemplo n.º 1
0
            public _Generic(SExpr sexp, Expression._Symbol typeName,
				StrictList<TypeReference> typeParams)
                : base(sexp)
            {
                TypeName = typeName;
                TypeParams = typeParams;
            }
Exemplo n.º 2
0
 public VariableDefinition(SExpr sexp, Expression._Symbol name, TypeReference type)
     : base(sexp)
 {
     Name = name;
     Type = type;
 }
Exemplo n.º 3
0
 public static Expression Set(SExpr sexp, _Symbol variable, Expression value)
 {
     return new _Set (sexp, variable, value);
 }
Exemplo n.º 4
0
 public static Expression Quoted(SExpr sexp, Expression quotedExpression)
 {
     return new _Quoted (sexp, quotedExpression);
 }
Exemplo n.º 5
0
        public static Expression LetRec(SExpr sexp, StrictList<Tuple<VariableDefinition, Expression>> definitions,
			Expression body)
        {
            return new _LetRec (sexp, definitions, body);
        }
Exemplo n.º 6
0
        public static Expression Let(SExpr sexp, VariableDefinition variable, Expression value, 
			Expression body)
        {
            return new _Let (sexp, variable, value, body);
        }
Exemplo n.º 7
0
            public _If(SExpr sexp, Expression condition, Expression thenExpression,
				Expression elseExpression)
                : base(sexp)
            {
                Condition = condition;
                ThenExpression = thenExpression;
                ElseExpression = elseExpression;
            }
Exemplo n.º 8
0
 public static TypeReference Simple(Expression._Symbol typeName)
 {
     return new _Simple (typeName);
 }
Exemplo n.º 9
0
        public static Expression If(SExpr sexp, Expression condition, Expression thenExpression,
			Expression elseExpression)
        {
            return new _If (sexp, condition, thenExpression, elseExpression);
        }
Exemplo n.º 10
0
 public _Quoted(SExpr sexp, Expression quotedExpression)
     : base(sexp)
 {
     QuotedExpression = quotedExpression;
 }
Exemplo n.º 11
0
        public static Expression Application(SExpr sexp, Expression function,
				StrictList<Expression> parameters)
        {
            return new _Application (sexp, function, parameters);
        }
Exemplo n.º 12
0
            public _LetRec(SExpr sexp, StrictList<Tuple<VariableDefinition, Expression>> definitions, 
				Expression body)
                : base(sexp)
            {
                Definitions = definitions;
                Body = body;
            }
Exemplo n.º 13
0
 public _Let(SExpr sexp, VariableDefinition variable, Expression value, Expression body)
     : base(sexp)
 {
     Variable = variable;
     Value = value;
     Body = body;
 }
Exemplo n.º 14
0
 public _Lambda(SExpr sexp, StrictList<VariableDefinition> parameters, Expression functionBody)
     : base(sexp)
 {
     Parameters = parameters;
     FunctionBody = functionBody;
 }
Exemplo n.º 15
0
 public _Simple(Expression._Symbol typeName)
     : base(typeName.SExp)
 {
     TypeName = typeName;
 }
Exemplo n.º 16
0
        public static TypeReference Generic(SExpr sexp, Expression._Symbol typeName,
			StrictList<TypeReference> typeParams)
        {
            return new _Generic (sexp, typeName, typeParams);
        }
Exemplo n.º 17
0
 public _Set(SExpr sexp, _Symbol variable, Expression value)
     : base(sexp)
 {
     Variable = variable;
     Value = value;
 }
Exemplo n.º 18
0
        public static Expression Lambda(SExpr sexp, StrictList<VariableDefinition> parameters,
			Expression functionBody)
        {
            return new _Lambda (sexp, parameters, functionBody);
        }
Exemplo n.º 19
0
            public _Application(SExpr sexp, Expression function,
				StrictList<Expression> parameters)
                : base(sexp)
            {
                Function = function;
                Parameters = parameters;
            }