Package wyvern.tools.types.extensions

Examples of wyvern.tools.types.extensions.Arrow

5
6
7
8
9
10
11
import wyvern.tools.types.extensions.Str;
import wyvern.tools.types.extensions.Unit;

public class TypeUtils {
  public static Arrow arrow(Type t1, Type t2) {
    return new Arrow(t1, t2);
  }
View Full Code Here
18
19
20
21
22
23
24
25
public class TrivDSLParser implements ExtParser {
  @Override
  public TypedAST parse(ParseBuffer input) {
    New newv = new New(new HashMap<>(), null);
    TypedAST dbody = new IntegerConstant(Integer.parseInt(input.getSrcString().trim()));
    newv.setBody(new DeclSequence(Arrays.asList(new DefDeclaration("getValue", new Arrow(Unit.getInstance(), Int.getInstance()), new ArrayList<>(), dbody, false))));
    return newv;
  }
View Full Code Here
295
296
297
298
299
300
301
302
303
304
305

    final ExtParser parseri = str -> {
      New newv = new New(new HashMap<>(), null);
      TypedAST dbody = new IntegerConstant(Integer.parseInt(str.getSrcString().trim()));
      newv.setBody(new DeclSequence(Arrays.asList(new DefDeclaration("getValue", new Arrow(Unit.getInstance(), Int.getInstance()), new ArrayList<>(), dbody, false))));
      return newv;
    };

    HasParser inner = new HasParser() {
      @Override
View Full Code Here
374
375
376
377
378
379
380
381
382
383
384

    final ExtParser parseri = str -> {
      New newv = new New(new HashMap<>(), null);
      TypedAST dbody = new IntegerConstant(Integer.parseInt(str.getSrcString().trim()));
      newv.setBody(new DeclSequence(Arrays.asList(new DefDeclaration("getValue", new Arrow(Unit.getInstance(), Int.getInstance()), new ArrayList<>(), dbody, false))));
      return newv;
    };

    HasParser inner = new HasParser() {
      @Override
View Full Code Here
52
53
54
55
56
57
58
    for (NameBinding bind : bindings) {
      extEnv = extEnv.extend(bind);
    }

    Type resultType = body.typecheck(extEnv, expected.map(exp -> ((Arrow)exp).getResult()));
    return new Arrow(argType, resultType);
  }
View Full Code Here
73
74
75
76
77
78
79
    } else if (args.size() == 1) {
      argType = args.get(0).getType();
    } else {
      argType = new Tuple(args);
    }
    return new Arrow(argType, returnType);
  }
View Full Code Here
TOP

Related Classes of wyvern.tools.types.extensions.Arrow

  • wyvern.tools.tests.CopperTests
  • wyvern.tools.tests.TrivDSLParser
  • wyvern.tools.typedAST.core.declarations.DefDeclaration
  • wyvern.tools.typedAST.core.expressions.Fn
  • wyvern.tools.types.TypeUtils
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.