Package net.hydromatic.morel.compile

Class TypeResolver.Triple

java.lang.Object

net.hydromatic.morel.compile.TypeResolver.Triple

Enclosing class:

TypeResolver

private static class TypeResolver.Triple
extends Object

Output of the type resolution of a from step, and input to the next step.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final @Nullable Unifier.Variable	c	Collection (list or bag) type; null if not a collection.
(package private) final TypeResolver.TypeEnv	env
(package private) final Unifier.Variable	v

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Triple(TypeResolver.TypeEnv env, Unifier.Variable v, Unifier.Variable c)

Method Summary

Modifier and Type	Method	Description
(package private) static TypeResolver.Triple	of(TypeResolver.TypeEnv env, Unifier.Variable v, Unifier.Variable c)
(package private) static TypeResolver.Triple	singleton(TypeResolver.TypeEnv env, Unifier.Variable v)	Represents a singleton, not a collection.
(package private) TypeResolver.Triple	withEnv(TypeResolver.TypeEnv env)
(package private) TypeResolver.Triple	withV(Unifier.Variable v)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

env

final TypeResolver.TypeEnv env

v

final Unifier.Variable v

c

final @Nullable Unifier.Variable c

Collection (list or bag) type; null if not a collection.

Constructor Details

Triple

private Triple(TypeResolver.TypeEnv env,
 Unifier.Variable v,
 Unifier.Variable c)

Method Details

singleton

static TypeResolver.Triple singleton(TypeResolver.TypeEnv env,
 Unifier.Variable v)

Represents a singleton, not a collection.

of

static TypeResolver.Triple of(TypeResolver.TypeEnv env,
 Unifier.Variable v,
 Unifier.Variable c)

withV

TypeResolver.Triple withV(Unifier.Variable v)

withEnv

TypeResolver.Triple withEnv(TypeResolver.TypeEnv env)