模块 aya.base

程序包 org.aya.core.serde

接口 SerPat

所有超级接口:

Serializable

所有已知实现类:

SerPat.Absurd, SerPat.Bind, SerPat.Ctor, SerPat.End, SerPat.ShapedInt, SerPat.Tuple

public sealed interface SerPat
extends Serializable
permits SerPat.Absurd, SerPat.Tuple, SerPat.Bind, SerPat.Ctor, SerPat.End, SerPat.ShapedInt

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	SerPat.Absurd
static final record	SerPat.Bind
static final record	SerPat.Ctor
static final record	SerPat.End
static final record	SerPat.Matchy
static final record	SerPat.ShapedInt
static final record	SerPat.Tuple

方法概要

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

方法详细资料

de

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