模块 aya.base
程序包 org.aya.tyck

类 Tycker

java.lang.Object
org.aya.tyck.Tycker
直接已知子类:
ExprTycker
public abstract class Tycker extends Object
This is a lightweight abstraction of a tycker, primarily designed to be used in Zonker.

Currently, it seems unnecessary, but maybe we can make some other classes also inherit this class to gain some basic type checker functions.

  • 字段详细资料

    • reporter

      @NotNull public final @NotNull org.aya.util.reporter.Reporter reporter

    • state

      @NotNull public final @NotNull TyckState state

    • traceBuilder

      @Nullable public final Trace.Builder traceBuilder

  • 构造器详细资料

    • Tycker

      protected Tycker(@NotNull @NotNull org.aya.util.reporter.Reporter reporter, @NotNull @NotNull TyckState state, @Nullable Trace.Builder traceBuilder)

  • 方法详细资料

    • zonk

      @NotNull public @NotNull Term zonk(@NotNull @NotNull Term term)

    • solveMetas

      public void solveMetas()

    • whnf

      @NotNull public @NotNull Term whnf(@NotNull @NotNull Term term)

    • tracing

      protected void tracing(@NotNull @NotNull Consumer<@NotNull Trace.Builder> consumer)

    • unifier

      @NotNull public @NotNull Unifier unifier(@NotNull @NotNull org.aya.util.error.SourcePos pos, @NotNull @NotNull org.aya.util.Ordering ord, @NotNull @NotNull LocalCtx ctx)