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

记录类 BadTypeError

java.lang.Object
java.lang.Record
org.aya.tyck.error.BadTypeError
所有已实现的接口:
ExprProblem, TyckError, org.aya.util.reporter.Problem
public record BadTypeError(@NotNull Expr expr, @NotNull Term actualType, @NotNull org.aya.pretty.doc.Doc action, @NotNull org.aya.pretty.doc.Doc thing, @NotNull AyaDocile desired, @NotNull TyckState state) extends Record implements ExprProblem, TyckError

  • 嵌套类概要

    从接口继承的嵌套类/接口 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

  • 构造器概要

    构造器
    构造器
    说明
    BadTypeError(@NotNull Expr expr, @NotNull Term actualType, @NotNull org.aya.pretty.doc.Doc action, @NotNull org.aya.pretty.doc.Doc thing, @NotNull AyaDocile desired, @NotNull TyckState state)
    创建 BadTypeError 记录类的实例。

  • 方法概要

    修饰符和类型
    方法
    说明
    @NotNull org.aya.pretty.doc.Doc
    action()
    返回 action 记录组件的值。
    @NotNull Term
    actualType()
    返回 actualType 记录组件的值。
    @NotNull org.aya.pretty.doc.Doc
    describe(@NotNull org.aya.util.distill.DistillerOptions options)
     
    @NotNull AyaDocile
    desired()
    返回 desired 记录组件的值。
    final boolean
    equals(Object o)
    指示某个其他对象是否“等于”此对象。
    @NotNull Expr
    expr()
    返回 expr 记录组件的值。
    final int
    hashCode()
    返回此对象的哈希代码值。
    @NotNull org.aya.pretty.doc.Doc
    hint(@NotNull org.aya.util.distill.DistillerOptions options)
     
    static @NotNull BadTypeError
    lamParam(@NotNull TyckState state, @NotNull Expr lamExpr, @NotNull AyaDocile paramType, @NotNull Term actualParamType)
     
    static @NotNull BadTypeError
    partTy(@NotNull TyckState state, @NotNull Expr expr, @NotNull Term actualType)
     
    static @NotNull BadTypeError
    pi(@NotNull TyckState state, @NotNull Expr expr, @NotNull Term actualType)
     
    static @NotNull BadTypeError
    sigmaAcc(@NotNull TyckState state, @NotNull Expr expr, int ix, @NotNull Term actualType)
     
    static @NotNull BadTypeError
    sigmaCon(@NotNull TyckState state, @NotNull Expr expr, @NotNull Term actualType)
     
    @NotNull TyckState
    state()
    返回 state 记录组件的值。
    static @NotNull BadTypeError
    structAcc(@NotNull TyckState state, @NotNull Expr expr, @NotNull String fieldName, @NotNull Term actualType)
     
    static @NotNull BadTypeError
    structCon(@NotNull TyckState state, @NotNull Expr expr, @NotNull Term actualType)
     
    @NotNull org.aya.pretty.doc.Doc
    thing()
    返回 thing 记录组件的值。
    final String
    toString()
    返回此记录类的字符串表示形式。
    static @NotNull BadTypeError
    univ(@NotNull TyckState state, @NotNull Expr expr, @NotNull Term actual)
     

    从类继承的方法 java.lang.Object

    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

    从接口继承的方法 org.aya.generic.ExprProblem

    sourcePos

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

    brief, inlineHints, isError, toPrettyError

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

    level, stage

  • 构造器详细资料

    • BadTypeError

      public BadTypeError(@NotNull @NotNull Expr expr, @NotNull @NotNull Term actualType, @NotNull @NotNull org.aya.pretty.doc.Doc action, @NotNull @NotNull org.aya.pretty.doc.Doc thing, @NotNull @NotNull AyaDocile desired, @NotNull @NotNull TyckState state)
      创建 BadTypeError 记录类的实例。
      参数:
      expr - expr 记录组件的值
      actualType - actualType 记录组件的值
      action - action 记录组件的值
      thing - thing 记录组件的值
      desired - desired 记录组件的值
      state - state 记录组件的值

  • 方法详细资料

    • describe

      @NotNull public @NotNull org.aya.pretty.doc.Doc describe(@NotNull @NotNull org.aya.util.distill.DistillerOptions options)
      指定者:
      describe 在接口中 org.aya.util.reporter.Problem

    • hint

      @NotNull public @NotNull org.aya.pretty.doc.Doc hint(@NotNull @NotNull org.aya.util.distill.DistillerOptions options)
      指定者:
      hint 在接口中 org.aya.util.reporter.Problem

    • pi

      @NotNull public static @NotNull BadTypeError pi(@NotNull @NotNull TyckState state, @NotNull @NotNull Expr expr, @NotNull @NotNull Term actualType)

    • sigmaAcc

      @NotNull public static @NotNull BadTypeError sigmaAcc(@NotNull @NotNull TyckState state, @NotNull @NotNull Expr expr, int ix, @NotNull @NotNull Term actualType)

    • sigmaCon

      @NotNull public static @NotNull BadTypeError sigmaCon(@NotNull @NotNull TyckState state, @NotNull @NotNull Expr expr, @NotNull @NotNull Term actualType)

    • structAcc

      @NotNull public static @NotNull BadTypeError structAcc(@NotNull @NotNull TyckState state, @NotNull @NotNull Expr expr, @NotNull @NotNull String fieldName, @NotNull @NotNull Term actualType)

    • structCon

      @NotNull public static @NotNull BadTypeError structCon(@NotNull @NotNull TyckState state, @NotNull @NotNull Expr expr, @NotNull @NotNull Term actualType)

    • univ

      @NotNull public static @NotNull BadTypeError univ(@NotNull @NotNull TyckState state, @NotNull @NotNull Expr expr, @NotNull @NotNull Term actual)

    • lamParam

      @NotNull public static @NotNull BadTypeError lamParam(@NotNull @NotNull TyckState state, @NotNull @NotNull Expr lamExpr, @NotNull @NotNull AyaDocile paramType, @NotNull @NotNull Term actualParamType)

    • partTy

      @NotNull public static @NotNull BadTypeError partTy(@NotNull @NotNull TyckState state, @NotNull @NotNull Expr expr, @NotNull @NotNull Term actualType)

    • toString

      public final String toString()
      返回此记录类的字符串表示形式。此表示形式包含类的名称，后跟每个记录组件的名称和值。
      指定者:
      toString 在类中 Record
      返回:
      此对象的字符串表示形式

    • hashCode

      public final int hashCode()
      返回此对象的哈希代码值。此值派生自每个记录组件的哈希代码。
      指定者:
      hashCode 在类中 Record
      返回:
      此对象的哈希代码值

    • equals

      public final boolean equals(Object o)
      指示某个其他对象是否“等于”此对象。如果两个对象属于同一个类，而且所有记录组件都相等，则这两个对象相等。 此记录类中的所有组件都使用 Objects::equals(Object,Object) 进行比较。
      指定者:
      equals 在类中 Record
      参数:
      o - 要与之进行比较的对象
      返回:
      如果此对象与 o 参数相同，则为 true；否则为 false。

    • expr

      @NotNull public @NotNull Expr expr()
      返回 expr 记录组件的值。
      指定者:
      expr 在接口中 ExprProblem
      返回:
      expr 记录组件的值

    • actualType

      @NotNull public @NotNull Term actualType()
      返回 actualType 记录组件的值。
      返回:
      actualType 记录组件的值

    • action

      @NotNull public @NotNull org.aya.pretty.doc.Doc action()
      返回 action 记录组件的值。
      返回:
      action 记录组件的值

    • thing

      @NotNull public @NotNull org.aya.pretty.doc.Doc thing()
      返回 thing 记录组件的值。
      返回:
      thing 记录组件的值

    • desired

      @NotNull public @NotNull AyaDocile desired()
      返回 desired 记录组件的值。
      返回:
      desired 记录组件的值

    • state

      @NotNull public @NotNull TyckState state()
      返回 state 记录组件的值。
      返回:
      state 记录组件的值