Module aya.base

Package org.aya.concrete

Record Class Expr.IdiomNames

java.lang.Object

java.lang.Record

org.aya.concrete.Expr.IdiomNames

Enclosing interface:

Expr

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

Constructor Summary

Constructors

Constructor	Description
IdiomNames(@NotNull Expr alternativeEmpty, @NotNull Expr alternativeOr, @NotNull Expr applicativeAp, @NotNull Expr applicativePure)	Creates an instance of a IdiomNames record class.

Method Summary

Modifier and Type	Method	Description
@NotNull Expr	alternativeEmpty()	Returns the value of the alternativeEmpty record component.
@NotNull Expr	alternativeOr()	Returns the value of the alternativeOr record component.
@NotNull Expr	applicativeAp()	Returns the value of the applicativeAp record component.
@NotNull Expr	applicativePure()	Returns the value of the applicativePure record component.
final boolean	equals(Object o)	Indicates whether some other object is "equal to" this one.
Expr.IdiomNames	fmap(@NotNull Function<Expr,Expr> f)
final int	hashCode()	Returns a hash code value for this object.
boolean	identical(@NotNull Expr.IdiomNames names)
final String	toString()	Returns a string representation of this record class.

Methods inherited from class java.lang.Object

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

Constructor Details

IdiomNames

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

Creates an instance of a IdiomNames record class.

Parameters:

alternativeEmpty - the value for the alternativeEmpty record component

alternativeOr - the value for the alternativeOr record component

applicativeAp - the value for the applicativeAp record component

applicativePure - the value for the applicativePure record component

Method Details

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()

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.

alternativeEmpty

@NotNull
public @NotNull Expr alternativeEmpty()

Returns the value of the alternativeEmpty record component.

Returns:

the value of the alternativeEmpty record component

alternativeOr

@NotNull
public @NotNull Expr alternativeOr()

Returns the value of the alternativeOr record component.

Returns:

the value of the alternativeOr record component

applicativeAp

@NotNull
public @NotNull Expr applicativeAp()

Returns the value of the applicativeAp record component.

Returns:

the value of the applicativeAp record component

applicativePure

@NotNull
public @NotNull Expr applicativePure()

Returns the value of the applicativePure record component.

Returns:

the value of the applicativePure record component