模块 org.aya

程序包 org.aya.core.serde

接口 SerDef

所有超级接口:

Serializable

所有已知实现类:

SerDef.Ctor, SerDef.Data, SerDef.Field, SerDef.Fn, SerDef.Prim, SerDef.Struct

public sealed interface SerDef
extends Serializable
permits SerDef.Ctor, SerDef.Field, SerDef.Fn, SerDef.Data, SerDef.Struct, SerDef.Prim

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	SerDef.Ctor
static final record	SerDef.Data
static class	SerDef.DeserializeException
static final record	SerDef.Field
static final record	SerDef.Fn
static final record	SerDef.Prim
static final record	SerDef.QName
static final record	SerDef.SerBind	Serialized version of BindBlock
static final record	SerDef.SerOp	Serialized version of OpDecl.OpInfo
static final record	SerDef.SerOpDecl	To use serialized operators in AyaBinOpSet
static final record	SerDef.Struct

方法概要

修饰符和类型	方法	说明
@NotNull Def	de(SerTerm.DeState state)

方法详细资料

de

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