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
@Nullable Ast.Type	Ast.FunMatch.returnType
Ast.Type	Ast.AnnotatedExp.type
Ast.Type	Ast.AnnotatedPat.type
@Nullable Ast.Type	Ast.TyCon.type

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

Modifier and Type	Field	Description
Map<String,Ast.Type>	Ast.RecordType.fieldTypes
List<Ast.Type>	Ast.CompositeType.types
List<Ast.Type>	Ast.NamedType.types
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, Iterable<Ast.Type> types)
Ast.Type	AstBuilder.foldFunctionType(List<Ast.Type> types)
Ast.Type	AstBuilder.namedType(Pos pos, Iterable<? extends Ast.Type> types, String name)
Ast.Type	AstBuilder.tupleType(Pos pos, Iterable<Ast.Type> types)
protected Ast.Type	Shuttle.visit(Ast.CompositeType compositeType)
protected Ast.Type	Shuttle.visit(Ast.FunctionType functionType)
protected Ast.Type	Shuttle.visit(Ast.NamedType namedType)
protected 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.Exp expression, Ast.Type type)
Ast.AnnotatedPat	AstBuilder.annotatedPat(Pos pos, Ast.Pat pat, Ast.Type type)
Ast.AnnotatedPat	Ast.AnnotatedPat.copy(Ast.Pat pat, Ast.Type type)	Creates a copy of this AnnotatedPat with given contents, or this if the contents are the same.
Ast.FunctionType	AstBuilder.functionType(Pos pos, Ast.Type fromType, Ast.Type toType)
Ast.FunMatch	AstBuilder.funMatch(Pos pos, String name, Iterable<? extends Ast.Pat> patList, Ast.Type returnType, Ast.Exp exp)
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, Iterable<Ast.Type> types)
Ast.Type	AstBuilder.foldFunctionType(List<Ast.Type> types)
Ast.Type	AstBuilder.namedType(Pos pos, Iterable<? extends Ast.Type> types, String name)
Ast.RecordType	AstBuilder.recordType(Pos pos, Map<String,Ast.Type> fieldTypes)
Ast.Type	AstBuilder.tupleType(Pos pos, Iterable<Ast.Type> types)

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

Constructor	Description
AnnotatedExp(Pos pos, Ast.Exp exp, Ast.Type type)	Creates a type annotation.
AnnotatedPat(Pos pos, Ast.Pat pat, Ast.Type type)
FunctionType(Pos pos, Ast.Type paramType, Ast.Type resultType)
FunMatch(Pos pos, String name, com.google.common.collect.ImmutableList<Ast.Pat> patList, @Nullable Ast.Type returnType, Ast.Exp exp)
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, String name)	Creates a type.
RecordType(Pos pos, com.google.common.collect.ImmutableMap<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)
static Type	TypeResolver.toType(Ast.Type type, TypeSystem typeSystem)	Converts a type AST to a type.

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

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