Uses of Class
net.hydromatic.morel.ast.Ast.Type

Packages that use Ast.Type

Package	Description
net.hydromatic.morel.ast	Abstract syntax tree.
net.hydromatic.morel.compile	Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.

Uses of Ast.Type in net.hydromatic.morel.ast

Subclasses of Ast.Type in net.hydromatic.morel.ast

Modifier and Type	Class	Description
static class	Ast.CompositeType	Not really a type, just a way for the parser to represent the type arguments to a type constructor.
static class	Ast.FunctionType	Function type.
static class	Ast.NamedType	Parse tree for a named type (e.g.
static class	Ast.RecordType	Parse tree node of a record type.
static class	Ast.TupleType	Tuple type.
static class	Ast.TyVar	Parse tree node of a type variable.

Fields in net.hydromatic.morel.ast declared as Ast.Type

Modifier and Type	Field	Description
Ast.Type	Ast.FunctionType.paramType
Ast.Type	Ast.FunctionType.resultType
Ast.Type	Ast.AnnotatedExp.type
Ast.Type	Ast.AnnotatedPat.type
Ast.Type	Ast.TyCon.type

Fields in net.hydromatic.morel.ast with type parameters of type Ast.Type

Modifier and Type	Field	Description
java.util.Map<java.lang.String,Ast.Type>	Ast.RecordType.fieldTypes
java.util.List<Ast.Type>	Ast.CompositeType.types
java.util.List<Ast.Type>	Ast.NamedType.types
java.util.List<Ast.Type>	Ast.TupleType.types

Methods in net.hydromatic.morel.ast that return Ast.Type

Modifier and Type	Method	Description
Ast.Type	Ast.CompositeType.accept(Shuttle shuttle)
Ast.Type	Ast.FunctionType.accept(Shuttle shuttle)
Ast.Type	Ast.NamedType.accept(Shuttle shuttle)
Ast.Type	Ast.TupleType.accept(Shuttle shuttle)
abstract Ast.Type	Ast.Type.accept(Shuttle shuttle)
Ast.Type	AstBuilder.compositeType(Pos pos, java.lang.Iterable<Ast.Type> types)
Ast.Type	AstBuilder.foldFunctionType(java.util.List<Ast.Type> types)
Ast.Type	AstBuilder.namedType(Pos pos, java.lang.Iterable<? extends Ast.Type> types, java.lang.String name)
Ast.Type	AstBuilder.tupleType(Pos pos, java.lang.Iterable<Ast.Type> types)
Ast.Type	Shuttle.visit(Ast.CompositeType compositeType)
Ast.Type	Shuttle.visit(Ast.FunctionType functionType)
protected Ast.Type	Shuttle.visit(Ast.NamedType namedType)
Ast.Type	Shuttle.visit(Ast.TupleType tupleType)

Methods in net.hydromatic.morel.ast with parameters of type Ast.Type

Modifier and Type	Method	Description
Ast.Exp	AstBuilder.annotatedExp(Pos pos, Ast.Type type, Ast.Exp expression)
Ast.Pat	AstBuilder.annotatedPat(Pos pos, Ast.Pat pat, Ast.Type type)
Ast.FunctionType	AstBuilder.functionType(Pos pos, Ast.Type fromType, Ast.Type toType)
Ast.TyCon	AstBuilder.typeConstructor(Pos pos, Ast.Id id, Ast.Type type)

Method parameters in net.hydromatic.morel.ast with type arguments of type Ast.Type

Modifier and Type	Method	Description
Ast.Type	AstBuilder.compositeType(Pos pos, java.lang.Iterable<Ast.Type> types)
Ast.Type	AstBuilder.foldFunctionType(java.util.List<Ast.Type> types)
Ast.Type	AstBuilder.namedType(Pos pos, java.lang.Iterable<? extends Ast.Type> types, java.lang.String name)
Ast.RecordType	AstBuilder.recordType(Pos pos, java.util.Map<java.lang.String,Ast.Type> fieldTypes)
Ast.Type	AstBuilder.tupleType(Pos pos, java.lang.Iterable<Ast.Type> types)

Constructors in net.hydromatic.morel.ast with parameters of type Ast.Type

Constructor	Description
AnnotatedExp(Pos pos, Ast.Type type, Ast.Exp e)	Creates a type annotation.
AnnotatedPat(Pos pos, Ast.Pat pat, Ast.Type type)
FunctionType(Pos pos, Ast.Type paramType, Ast.Type resultType)
TyCon(Pos pos, Ast.Id id, Ast.Type type)

Constructor parameters in net.hydromatic.morel.ast with type arguments of type Ast.Type

Constructor	Description
CompositeType(Pos pos, com.google.common.collect.ImmutableList<Ast.Type> types)
NamedType(Pos pos, com.google.common.collect.ImmutableList<Ast.Type> types, java.lang.String name)	Creates a type.
RecordType(Pos pos, com.google.common.collect.ImmutableMap<java.lang.String,Ast.Type> fieldTypes)	Creates a TyVar.
TupleType(Pos pos, com.google.common.collect.ImmutableList<Ast.Type> types)

Uses of Ast.Type in net.hydromatic.morel.compile

Methods in net.hydromatic.morel.compile with parameters of type Ast.Type

Modifier and Type	Method	Description
private Type	TypeResolver.toType(Ast.Type type)

Method parameters in net.hydromatic.morel.compile with type arguments of type Ast.Type

Modifier and Type	Method	Description
private java.util.List<Type>	TypeResolver.toTypes(java.util.List<Ast.Type> typeList)