Uses of Class
net.hydromatic.morel.type.DataType

Packages that use DataType

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.
net.hydromatic.morel.type	Type system.

Uses of DataType in net.hydromatic.morel.ast

Fields in net.hydromatic.morel.ast declared as DataType

Modifier and Type	Field	Description
DataType	Core.Local.dataType

Fields in net.hydromatic.morel.ast with type parameters of type DataType

Modifier and Type	Field	Description
List<DataType>	Core.DatatypeDecl.dataTypes

Methods in net.hydromatic.morel.ast that return DataType

Modifier and Type	Method	Description
DataType	Core.Con0Pat.type()

Methods in net.hydromatic.morel.ast with parameters of type DataType

Modifier and Type	Method	Description
Core.Con0Pat	CoreBuilder.con0Pat(DataType type, String tyCon)
Core.Exp	Core.Local.copy(DataType dataType, Core.Exp exp)
Core.Local	CoreBuilder.local(DataType dataType, Core.Exp exp)

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

Modifier and Type	Method	Description
Core.DatatypeDecl	CoreBuilder.datatypeDecl(Iterable<DataType> dataTypes)

Constructors in net.hydromatic.morel.ast with parameters of type DataType

Constructor	Description
Con0Pat(DataType type, String tyCon)
Local(DataType dataType, Core.Exp exp)

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

Constructor	Description
DatatypeDecl(com.google.common.collect.ImmutableList<DataType> dataTypes)

Uses of DataType in net.hydromatic.morel.compile

Fields in net.hydromatic.morel.compile declared as DataType

Modifier and Type	Field	Description
(package private) DataType	PatternCoverageChecker.DataTypeSlot.dataType

Fields in net.hydromatic.morel.compile with type parameters of type DataType

Modifier and Type	Field	Description
private com.google.common.collect.ImmutableList<DataType>	Resolver.ResolvedDatatypeDecl.dataTypes

Methods in net.hydromatic.morel.compile that return DataType

Modifier and Type	Method	Description
private DataType	Resolver.toCore(Ast.DatatypeBind bind)

Methods in net.hydromatic.morel.compile with parameters of type DataType

Modifier and Type	Method	Description
static void	Compiles.bindDataType(TypeSystem typeSystem, List<Binding> bindings, DataType dataType)
private Core.Pat	PatternCoverageChecker.listToConsRecurse(DataType listDataType, List<Core.Pat> args)

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

Modifier and Type	Method	Description
private void	Compiler.compileDatatypeDecl(List<DataType> dataTypes, List<Binding> bindings, List<Compiler.Action> actions)
private Core.Exp	Resolver.ResolvedDatatypeDecl.toExp(List<DataType> dataTypes, Core.Exp resultExp)

Constructors in net.hydromatic.morel.compile with parameters of type DataType

Constructor	Description
DataTypeSlot(DataType dataType, PatternCoverageChecker.Path path, Sat sat)

Constructor parameters in net.hydromatic.morel.compile with type arguments of type DataType

Constructor	Description
ResolvedDatatypeDecl(com.google.common.collect.ImmutableList<DataType> dataTypes)

Uses of DataType in net.hydromatic.morel.type

Subclasses of DataType in net.hydromatic.morel.type

Modifier and Type	Class	Description
class	TemporaryType	Placeholder for a type that is being recursively defined.

Fields in net.hydromatic.morel.type with type parameters of type DataType

Modifier and Type	Field	Description
private Map<String,Pair<DataType,Type>>	TypeSystem.typeConstructorByName

Methods in net.hydromatic.morel.type that return DataType

Modifier and Type	Method	Description
DataType	DataType.copy(TypeSystem typeSystem, UnaryOperator<Type> transform)
(package private) DataType	TypeSystem.dataType(String name, Type.Key key, List<? extends Type> types, SortedMap<String,Type> tyCons)
DataType	Keys.DataTypeDef.toType(TypeSystem typeSystem)
DataType	Type.Def.toType(TypeSystem typeSystem)

Methods in net.hydromatic.morel.type that return types with arguments of type DataType

Modifier and Type	Method	Description
Pair<DataType,Type>	TypeSystem.lookupTyCon(String tyConName)

Methods in net.hydromatic.morel.type with parameters of type DataType

Modifier and Type	Method	Description
Binding	TypeSystem.bindTyCon(DataType dataType, String tyConName)	Creates a binding of a type constructor value.
private static void	TypeSystem.setTypeConstructors(DataType dataType, com.google.common.collect.ImmutableSortedMap<String,Type> typeConstructors)	Sets the typeConstructors field of a newly constructed DataType.
Type	TypeShuttle.visit(DataType dataType)
Void	TypeSystem.VariableCollector.visit(DataType dataType)
R	TypeVisitor.visit(DataType dataType)	Visits a DataType.
private Type	TypeSystem.wrap(DataType dataType, Type type)