Package net.hydromatic.morel.compile

Class TypeResolver.SimpleTermFactory

java.lang.Object

net.hydromatic.morel.compile.TypeResolver.SimpleTermFactory

All Implemented Interfaces:

Function<TypeSystem,Unifier.Term>

Enclosing class:

TypeResolver

static class TypeResolver.SimpleTermFactory
extends Object
implements Function<TypeSystem,Unifier.Term>

Factory that always returns a given Unifier.Term.

Field Summary

Fields

Modifier and Type	Field	Description
private final Unifier.Term	term

Constructor Summary

Constructors

Constructor	Description
SimpleTermFactory(Unifier.Term term)

Method Summary

Modifier and Type	Method	Description
Unifier.Term	apply(TypeSystem typeSystem)
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.function.Function

andThen, compose

Field Details

term

private final Unifier.Term term

Constructor Details

SimpleTermFactory

SimpleTermFactory(Unifier.Term term)

Method Details

apply

public Unifier.Term apply(TypeSystem typeSystem)

Specified by:

apply in interface Function<TypeSystem,Unifier.Term>

toString

public String toString()

Overrides:

toString in class Object