模块 aya.base

程序包 org.aya.core.serde

记录类 SerDef.Fn

java.lang.Object

java.lang.Record

org.aya.core.serde.SerDef.Fn

所有已实现的接口:

Serializable, SerDef

封闭接口:

SerDef

public static record SerDef.Fn(@NotNull SerDef.QName name, @NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam> telescope, @NotNull kala.control.Either<SerTerm,kala.collection.immutable.ImmutableSeq<SerPat.Matchy>> body, @NotNull EnumSet<Modifier> modifiers, @NotNull SerTerm result)
extends Record
implements SerDef

另请参阅:

• 序列化表格

嵌套类概要

从接口继承的嵌套类/接口 org.aya.core.serde.SerDef

SerDef.Ctor, SerDef.Data, SerDef.DeserializeException, SerDef.Field, SerDef.Fn, SerDef.Prim, SerDef.QName, SerDef.SerAyaShape, SerDef.SerBind, SerDef.SerOp, SerDef.SerOpDecl, SerDef.SerRenamedOp, SerDef.Struct

构造器概要

构造器

构造器	说明
Fn(@NotNull SerDef.QName name, @NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam> telescope, @NotNull kala.control.Either<SerTerm,kala.collection.immutable.ImmutableSeq<SerPat.Matchy>> body, @NotNull EnumSet<Modifier> modifiers, @NotNull SerTerm result)	创建 Fn 记录类的实例。

方法概要

修饰符和类型	方法	说明
@NotNull kala.control.Either<SerTerm,kala.collection.immutable.ImmutableSeq<SerPat.Matchy>>	body()	返回 body 记录组件的值。
@NotNull Def	de(@NotNull SerTerm.DeState state)
final boolean	equals(Object o)	指示某个其他对象是否“等于”此对象。
final int	hashCode()	返回此对象的哈希代码值。
@NotNull EnumSet<Modifier>	modifiers()	返回 modifiers 记录组件的值。
@NotNull SerDef.QName	name()	返回 name 记录组件的值。
@NotNull SerTerm	result()	返回 result 记录组件的值。
@NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam>	telescope()	返回 telescope 记录组件的值。
final String	toString()	返回此记录类的字符串表示形式。

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

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

构造器详细资料

Fn

public Fn(@NotNull
 @NotNull SerDef.QName name,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam> telescope,
 @NotNull
 @NotNull kala.control.Either<SerTerm,kala.collection.immutable.ImmutableSeq<SerPat.Matchy>> body,
 @NotNull
 @NotNull EnumSet<Modifier> modifiers,
 @NotNull
 @NotNull SerTerm result)

创建 Fn 记录类的实例。

参数:

name - name 记录组件的值

telescope - telescope 记录组件的值

body - body 记录组件的值

modifiers - modifiers 记录组件的值

result - result 记录组件的值

方法详细资料

de

@NotNull
public @NotNull Def de(@NotNull SerTerm.DeState state)

指定者:

de 在接口中 SerDef

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。

name

@NotNull
public @NotNull SerDef.QName name()

返回 name 记录组件的值。

返回:

name 记录组件的值

telescope

@NotNull
public @NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam> telescope()

返回 telescope 记录组件的值。

返回:

telescope 记录组件的值

body

@NotNull
public @NotNull kala.control.Either<SerTerm,kala.collection.immutable.ImmutableSeq<SerPat.Matchy>> body()

返回 body 记录组件的值。

返回:

body 记录组件的值

modifiers

@NotNull
public @NotNull EnumSet<Modifier> modifiers()

返回 modifiers 记录组件的值。

返回:

modifiers 记录组件的值

result

@NotNull
public @NotNull SerTerm result()

返回 result 记录组件的值。

返回:

result 记录组件的值