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
final DataType	Core.Local.dataType

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

Modifier and Type	Field	Description
final 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

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

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

Modifier	Constructor	Description
(package private)	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) final DataType	PatternCoverageChecker.DataTypeSlot.dataType

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

Modifier and Type	Field	Description
private final 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

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

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

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

Uses of DataType in net.hydromatic.morel.type

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

Modifier and Type	Field	Description
private final Map<String,Pair<DataType,Type.Key>>	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, List<? extends Type> argumentTypes, SortedMap<String,Type.Key> tyCons)	Creates an algebraic type.
DataType	Keys.DataTypeKey.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.Key>	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.
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)