org.aya.tyck.unify.Unifier

public final class Unifier extends TermComparator

This class implements pattern unification with delayed constraints solving. It is extracted from TermComparator for modularity and readability.

另请参阅:

Implementation Note:

in case TermComparator.compareUntyped(Term, Term, Sub, Sub) returns null, we will consider it a unification failure, so be careful when returning null.

嵌套类概要

从类继承的嵌套类/接口 org.aya.tyck.unify.TermComparator
TermComparator.FailureData, TermComparator.Sub
字段概要

从类继承的字段 org.aya.tyck.unify.TermComparator
cmp, ctx, pos, reporter, state, traceBuilder
构造器概要

构造器

构造器

说明

Unifier(@NotNull org.aya.util.Ordering cmp, @NotNull org.aya.util.reporter.Reporter reporter, boolean allowVague, boolean allowConfused, Trace.Builder traceBuilder, @NotNull TyckState state, @NotNull org.aya.util.error.SourcePos pos, @NotNull LocalCtx ctx)
方法概要

修饰符和类型

方法

说明

void

checkEqn(TyckState.Eqn eqn)

protected @Nullable Term

solveMeta(@NotNull Term preRhs, TermComparator.Sub lr, TermComparator.Sub rl, @NotNull CallTerm.Hole lhs)

从类继承的方法 org.aya.tyck.unify.TermComparator
compare, compare, compareSort, compareUntyped, getFailure, tracing, withIntervals

从类继承的方法 java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

构造器详细资料
- Unifier
  
  public Unifier(@NotNull @NotNull org.aya.util.Ordering cmp, @NotNull @NotNull org.aya.util.reporter.Reporter reporter, boolean allowVague, boolean allowConfused, @Nullable Trace.Builder traceBuilder, @NotNull @NotNull TyckState state, @NotNull @NotNull org.aya.util.error.SourcePos pos, @NotNull @NotNull LocalCtx ctx)
方法详细资料
- solveMeta
  
  @Nullable protected @Nullable Term solveMeta(@NotNull @NotNull Term preRhs, TermComparator.Sub lr, TermComparator.Sub rl, @NotNull CallTerm.Hole lhs)
  
  指定者:
  
  solveMeta 在类中 TermComparator
- checkEqn
  
  public void checkEqn(@NotNull TyckState.Eqn eqn)

类 Unifier

嵌套类概要