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

记录类 Expr.Array.CompBlock

java.lang.Object
java.lang.Record
org.aya.concrete.Expr.Array.CompBlock
记录组件:
generator - x * y part above
binds - x 无效输入:'<'- [1, 2, 3], y 无效输入:'<'- [4, 5, 6] part above
bindName - the bind (>>=) function, it is Constants.monadBind in default
pureName - the pure (return) function, it is Constants.functorPure in default
封闭类:
Expr.Array

public static record Expr.Array.CompBlock(@NotNull Expr generator, @NotNull kala.collection.immutable.ImmutableSeq<Expr.DoBind> binds, @NotNull Expr bindName, @NotNull Expr pureName) extends Record

Array Comp(?)

The (half?) primary part of Expr.Array
For example: [x * y | x 无效输入:'<'- [1, 2, 3], y 无效输入:'<'- [4, 5, 6]]

API Note:
a ArrayCompBlock will be desugar to a do-block. For the example above, it will be desugared to
     do
       x 无效输入:'<'- [1, 2, 3]
       y 无效输入:'<'- [4, 5, 6]
       return x * y
   
  • 构造器详细资料

    • CompBlock

      public CompBlock(@NotNull @NotNull Expr generator, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<Expr.DoBind> binds, @NotNull @NotNull Expr bindName, @NotNull @NotNull Expr pureName)
      创建 CompBlock 记录类的实例。
      参数:
      generator - generator 记录组件的值
      binds - binds 记录组件的值
      bindName - bindName 记录组件的值
      pureName - pureName 记录组件的值
  • 方法详细资料

    • 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
    • generator

      @NotNull public @NotNull Expr generator()
      返回 generator 记录组件的值。
      返回:
      generator 记录组件的值
    • binds

      @NotNull public @NotNull kala.collection.immutable.ImmutableSeq<Expr.DoBind> binds()
      返回 binds 记录组件的值。
      返回:
      binds 记录组件的值
    • bindName

      @NotNull public @NotNull Expr bindName()
      返回 bindName 记录组件的值。
      返回:
      bindName 记录组件的值
    • pureName

      @NotNull public @NotNull Expr pureName()
      返回 pureName 记录组件的值。
      返回:
      pureName 记录组件的值