模块 aya.base

程序包 org.aya.concrete

记录类 Expr.IdiomNames

java.lang.Object

java.lang.Record

org.aya.concrete.Expr.IdiomNames

封闭接口:

Expr

public static record Expr.IdiomNames(@NotNull Expr alternativeEmpty, @NotNull Expr alternativeOr, @NotNull Expr applicativeAp, @NotNull Expr applicativePure)
extends Record

构造器概要

构造器

构造器	说明
IdiomNames(@NotNull Expr alternativeEmpty, @NotNull Expr alternativeOr, @NotNull Expr applicativeAp, @NotNull Expr applicativePure)	创建 IdiomNames 记录类的实例。

方法概要

修饰符和类型	方法	说明
@NotNull Expr	alternativeEmpty()	返回 alternativeEmpty 记录组件的值。
@NotNull Expr	alternativeOr()	返回 alternativeOr 记录组件的值。
@NotNull Expr	applicativeAp()	返回 applicativeAp 记录组件的值。
@NotNull Expr	applicativePure()	返回 applicativePure 记录组件的值。
final boolean	equals(Object o)	指示某个其他对象是否“等于”此对象。
Expr.IdiomNames	fmap(@NotNull Function<Expr,Expr> f)
final int	hashCode()	返回此对象的哈希代码值。
boolean	identical(@NotNull Expr.IdiomNames names)
final String	toString()	返回此记录类的字符串表示形式。

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

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

构造器详细资料

IdiomNames

public IdiomNames(@NotNull
 @NotNull Expr alternativeEmpty,
 @NotNull
 @NotNull Expr alternativeOr,
 @NotNull
 @NotNull Expr applicativeAp,
 @NotNull
 @NotNull Expr applicativePure)

创建 IdiomNames 记录类的实例。

参数:

alternativeEmpty - alternativeEmpty 记录组件的值

alternativeOr - alternativeOr 记录组件的值

applicativeAp - applicativeAp 记录组件的值

applicativePure - applicativePure 记录组件的值

方法详细资料

fmap

public Expr.IdiomNames fmap(@NotNull
 @NotNull Function<Expr,Expr> f)

identical

public boolean identical(@NotNull
 @NotNull Expr.IdiomNames names)

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。

alternativeEmpty

@NotNull
public @NotNull Expr alternativeEmpty()

返回 alternativeEmpty 记录组件的值。

返回:

alternativeEmpty 记录组件的值

alternativeOr

@NotNull
public @NotNull Expr alternativeOr()

返回 alternativeOr 记录组件的值。

返回:

alternativeOr 记录组件的值

applicativeAp

@NotNull
public @NotNull Expr applicativeAp()

返回 applicativeAp 记录组件的值。

返回:

applicativeAp 记录组件的值

applicativePure

@NotNull
public @NotNull Expr applicativePure()

返回 applicativePure 记录组件的值。

返回:

applicativePure 记录组件的值