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

接口 UnifyError

所有超级接口:
org.aya.util.reporter.Problem, TyckError
所有已知实现类:
CubicalError.BoundaryDisagree, UnifyError.Type
public interface UnifyError extends TyckError

  • 嵌套类概要

    嵌套类
    修饰符和类型
    接口
    说明
    static final record 
    UnifyError.Type
     

    从接口继承的嵌套类/接口 org.aya.util.reporter.Problem

    org.aya.util.reporter.Problem.Severity, org.aya.util.reporter.Problem.Stage

  • 字段概要

    从接口继承的字段 org.aya.util.reporter.Problem

    ERROR, NOTE, TEXT

  • 方法概要

    修饰符和类型
    方法
    说明
    default @NotNull org.aya.pretty.doc.Doc
    describeUnify(@NotNull org.aya.util.distill.DistillerOptions options, @NotNull org.aya.pretty.doc.Doc prologue, @NotNull Term actual, @NotNull org.aya.pretty.doc.Doc epilogue, @NotNull Term expected)
     
    TermComparator.FailureData
    failureData()
     
    @NotNull TyckState
    state()
     

    从接口继承的方法 org.aya.util.reporter.Problem

    brief, describe, hint, inlineHints, isError, sourcePos, toPrettyError

    从接口继承的方法 org.aya.tyck.error.TyckError

    level, stage

  • 方法详细资料

    • state

      @NotNull @NotNull TyckState state()

    • failureData

      @NotNull TermComparator.FailureData failureData()

    • describeUnify

      @NotNull default @NotNull org.aya.pretty.doc.Doc describeUnify(@NotNull @NotNull org.aya.util.distill.DistillerOptions options, @NotNull @NotNull org.aya.pretty.doc.Doc prologue, @NotNull @NotNull Term actual, @NotNull @NotNull org.aya.pretty.doc.Doc epilogue, @NotNull @NotNull Term expected)