Package net.hydromatic.morel.compile

Class TypeResolver.PatTerm

java.lang.Object

net.hydromatic.morel.compile.TypeResolver.PatTerm

Enclosing class:

TypeResolver

private static class TypeResolver.PatTerm
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final UnaryOperator<Unifier.Term>	accessor
(package private) final Ast.IdPat	id
(package private) final Unifier.Term	term

Constructor Summary

Constructors

Modifier	Constructor	Description
private	PatTerm(Ast.IdPat id, Unifier.Term term, UnaryOperator<Unifier.Term> accessor)

Method Summary

Modifier and Type	Method	Description
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

id

final Ast.IdPat id

term

final Unifier.Term term

accessor

final UnaryOperator<Unifier.Term> accessor

Constructor Details

PatTerm

private PatTerm(Ast.IdPat id,
 Unifier.Term term,
 UnaryOperator<Unifier.Term> accessor)

Method Details

toString

public String toString()

Overrides:

toString in class Object