Record Class Trampoline.FlatMap<A,B>

java.lang.Object
java.lang.Record
cloud.opencode.base.functional.monad.Trampoline.FlatMap<A,B>
Type Parameters:
A - input type - 输入类型
B - output type - 输出类型
Record Components:
previous - the previous computation - 之前的计算
f - the transformation function - 转换函数
All Implemented Interfaces:
Trampoline<B>
Enclosing interface:
Trampoline<T>
public static record Trampoline.FlatMap<A,B>(Trampoline<A> previous, Function<? super A, Trampoline<B>> f) extends Record implements Trampoline<B>
FlatMapped Trampoline for chaining computations. 用于链接计算的 FlatMapped Trampoline。
Since:
JDK 25, opencode-base-functional V1.0.0
Author:
Leon Soo www.LeonSoo.com

  • Constructor Details

    • FlatMap

      public FlatMap(Trampoline<A> previous, Function<? super A, Trampoline<B>> f)
      Creates an instance of a FlatMap record class.
      Parameters:
      previous - the value for the previous record component
      f - the value for the f record component

  • Method Details

    • isDone

      public boolean isDone()
      Description copied from interface: Trampoline
      Check if the Trampoline is complete. 检查 Trampoline 是否完成。
      Specified by:
      isDone in interface Trampoline<A>
      Returns:
      true if done - 如果完成返回 true

    • flatMap

      public <U> Trampoline<U> flatMap(Function<? super B, Trampoline<U>> g)
      Description copied from interface: Trampoline
      Chain another Trampoline computation. 链接另一个 Trampoline 计算。

      Enables composition of multiple trampolined computations.

      启用多个蹦床计算的组合。

      Specified by:
      flatMap in interface Trampoline<A>
      Type Parameters:
      U - result type - 结果类型
      Parameters:
      g - function producing the next Trampoline - 产生下一个 Trampoline 的函数
      Returns:
      chained Trampoline

    • toString

      public String toString()
      Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.
      Specified by:
      toString in class Record
      Returns:
      a string representation of this object

    • hashCode

      public final int hashCode()
      Returns a hash code value for this object. The value is derived from the hash code of each of the record components.
      Specified by:
      hashCode in class Record
      Returns:
      a hash code value for this object

    • equals

      public final boolean equals(Object o)
      Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. All components in this record class are compared with Objects::equals(Object,Object).
      Specified by:
      equals in class Record
      Parameters:
      o - the object with which to compare
      Returns:
      true if this object is the same as the o argument; false otherwise.

    • previous

      public Trampoline<A> previous()
      Returns the value of the previous record component.
      Returns:
      the value of the previous record component

    • f

      public Function<? super A, Trampoline<B>> f()
      Returns the value of the f record component.
      Returns:
      the value of the f record component