Package hydra.typing

Class InferenceResult

java.lang.Object

hydra.typing.InferenceResult

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<InferenceResult>

public class InferenceResult
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<InferenceResult>

The result of applying inference rules to a term.

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	InferenceResult.Builder	A fluent builder for InferenceResult.

Field Summary

Fields

Modifier and Type	Field	Description
static Name	CLASS_CONSTRAINTS	Name of the hydra.typing.InferenceResult.classConstraints field.
java.util.Map<Name,TypeVariableConstraints>	classConstraints	Class constraints discovered during inference (e.g., Ord constraints from Map.lookup)
InferenceContext	context	The updated InferenceContext after inference (carries fresh-variable counter and trace)
static Name	CONTEXT	Name of the hydra.typing.InferenceResult.context field.
TypeSubst	subst	The type substitution resulting from unification
static Name	SUBST	Name of the hydra.typing.InferenceResult.subst field.
Term	term	The term which was inferred
static Name	TERM	Name of the hydra.typing.InferenceResult.term field.
Type	type	The inferred type of the term
static Name	TYPE	Name of the hydra.typing.InferenceResult.type field.
static Name	TYPE_	Name of the hydra.typing.InferenceResult type.

Constructor Summary

Constructors

Constructor	Description
InferenceResult(Term term, Type type, TypeSubst subst, java.util.Map<Name,TypeVariableConstraints> classConstraints, InferenceContext context)	Constructs an immutable InferenceResult.

Method Summary

Modifier and Type	Method	Description
static InferenceResult.Builder	builder()	Creates a new fluent builder for InferenceResult.
int	compareTo(InferenceResult other)
boolean	equals(java.lang.Object other)
int	hashCode()
java.lang.String	toString()
InferenceResult	withClassConstraints(java.util.Map<Name,TypeVariableConstraints> classConstraints)	Returns a copy of this InferenceResult with classConstraints replaced.
InferenceResult	withContext(InferenceContext context)	Returns a copy of this InferenceResult with context replaced.
InferenceResult	withSubst(TypeSubst subst)	Returns a copy of this InferenceResult with subst replaced.
InferenceResult	withTerm(Term term)	Returns a copy of this InferenceResult with term replaced.
InferenceResult	withType(Type type)	Returns a copy of this InferenceResult with type replaced.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

TYPE_

public static final Name TYPE_

Name of the hydra.typing.InferenceResult type.

TERM

public static final Name TERM

Name of the hydra.typing.InferenceResult.term field.

TYPE

public static final Name TYPE

Name of the hydra.typing.InferenceResult.type field.

SUBST

public static final Name SUBST

Name of the hydra.typing.InferenceResult.subst field.

CLASS_CONSTRAINTS

public static final Name CLASS_CONSTRAINTS

Name of the hydra.typing.InferenceResult.classConstraints field.

CONTEXT

public static final Name CONTEXT

Name of the hydra.typing.InferenceResult.context field.

term

public final Term term

The term which was inferred

type

public final Type type

The inferred type of the term

subst

public final TypeSubst subst

The type substitution resulting from unification

classConstraints

public final java.util.Map<Name,TypeVariableConstraints> classConstraints

Class constraints discovered during inference (e.g., Ord constraints from Map.lookup)

context

public final InferenceContext context

The updated InferenceContext after inference (carries fresh-variable counter and trace)

Constructor Detail

InferenceResult

public InferenceResult(Term term,
                       Type type,
                       TypeSubst subst,
                       java.util.Map<Name,TypeVariableConstraints> classConstraints,
                       InferenceContext context)

Constructs an immutable InferenceResult.

Parameters:

term - The term which was inferred

type - The inferred type of the term

subst - The type substitution resulting from unification

classConstraints - Class constraints discovered during inference (e.g., Ord constraints from Map.lookup)

context - The updated InferenceContext after inference (carries fresh-variable counter and trace)

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

compareTo

public int compareTo(InferenceResult other)

Specified by:

compareTo in interface java.lang.Comparable<InferenceResult>

withTerm

public InferenceResult withTerm(Term term)

Returns a copy of this InferenceResult with term replaced.

withType

public InferenceResult withType(Type type)

Returns a copy of this InferenceResult with type replaced.

withSubst

public InferenceResult withSubst(TypeSubst subst)

Returns a copy of this InferenceResult with subst replaced.

withClassConstraints

public InferenceResult withClassConstraints(java.util.Map<Name,TypeVariableConstraints> classConstraints)

Returns a copy of this InferenceResult with classConstraints replaced.

withContext

public InferenceResult withContext(InferenceContext context)

Returns a copy of this InferenceResult with context replaced.

builder

public static InferenceResult.Builder builder()

Creates a new fluent builder for InferenceResult.