Package wyvern.tools.types

Source Code of wyvern.tools.types.TypeUtils

package wyvern.tools.types;

import wyvern.tools.types.extensions.Arrow;
import wyvern.tools.types.extensions.Int;
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);
  }
 
  public static Unit unit = Unit.getInstance();
  public static Int integer = Int.getInstance();
  public static Str str = Str.getInstance();
}
TOP

Related Classes of wyvern.tools.types.TypeUtils

TOP
Copyright © 2018 www.massapi.com. 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.