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

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

Modifier and Type	Field	Description
final Map<String,Ast.Type>	Ast.RecordType.fieldTypes
final List<Ast.Type>	Ast.CompositeType.types
final List<Ast.Type>	Ast.NamedType.types
final 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

Modifier	Constructor	Description
(package private)	AnnotatedExp(Pos pos, Ast.Exp exp, Ast.Type type)	Creates a type annotation.
(package private)	AnnotatedPat(Pos pos, Ast.Pat pat, Ast.Type type)
(package private)	FunctionType(Pos pos, Ast.Type paramType, Ast.Type resultType)
(package private)	FunMatch(Pos pos, String name, com.google.common.collect.ImmutableList<Ast.Pat> patList, @Nullable Ast.Type returnType, Ast.Exp exp)
(package private)	TyCon(Pos pos, Ast.Id id, Ast.Type type)

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

Modifier	Constructor	Description
(package private)	CompositeType(Pos pos, com.google.common.collect.ImmutableList<Ast.Type> types)
(package private)	NamedType(Pos pos, com.google.common.collect.ImmutableList<Ast.Type> types, String name)	Creates a type.
(package private)	RecordType(Pos pos, com.google.common.collect.ImmutableMap<String,Ast.Type> fieldTypes)	Creates a record type.
(package private)	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
static Type	TypeResolver.toType(Ast.Type type, TypeSystem typeSystem)	Converts a type AST to a type.
(package private) Type.Key	TypeResolver.Foo.toTypeKey(Ast.Type type)	Converts an AST type into a type key.
static Type.Key	TypeResolver.toTypeKey(Ast.Type type)	Converts a type AST to a type key.

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

Modifier and Type	Method	Description
(package private) List<Type.Key>	TypeResolver.Foo.toTypeKeys(Iterable<? extends Ast.Type> types)