模块 aya.base

程序包 org.aya.core.serde

接口 SerTerm

所有超级接口:

Serializable

所有已知实现类:

SerTerm.Access, SerTerm.App, SerTerm.ConCall, SerTerm.DataCall, SerTerm.FieldRef, SerTerm.FnCall, SerTerm.Interval, SerTerm.Lam, SerTerm.Mula, SerTerm.New, SerTerm.Pi, SerTerm.PrimCall, SerTerm.Proj, SerTerm.Ref, SerTerm.ShapedInt, SerTerm.Sigma, SerTerm.Str, SerTerm.StructCall, SerTerm.Tup, SerTerm.Univ

public sealed interface SerTerm
extends Serializable
permits SerTerm.DataCall, SerTerm.StructCall, SerTerm.Pi, SerTerm.Sigma, SerTerm.Univ, SerTerm.Ref, SerTerm.Lam, SerTerm.New, SerTerm.Proj, SerTerm.App, SerTerm.FnCall, SerTerm.PrimCall, SerTerm.ConCall, SerTerm.Tup, SerTerm.Access, SerTerm.FieldRef, SerTerm.Interval, SerTerm.Mula, SerTerm.ShapedInt, SerTerm.Str

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	SerTerm.Access
static final record	SerTerm.App
static final record	SerTerm.CallData
static final record	SerTerm.ConCall
static final record	SerTerm.DataCall
static final record	SerTerm.DeState
static final record	SerTerm.FieldRef
static final record	SerTerm.FnCall
static final record	SerTerm.Interval
static final record	SerTerm.Lam
static final record	SerTerm.Mula
static final record	SerTerm.New
static final record	SerTerm.Pi
static final record	SerTerm.PrimCall
static final record	SerTerm.Proj
static final record	SerTerm.Ref
static final record	SerTerm.SerArg
static interface	SerTerm.SerMula
static final record	SerTerm.SerParam
static final record	SerTerm.ShapedInt
static final record	SerTerm.Sigma
static final record	SerTerm.SimpVar
static final record	SerTerm.Str
static final record	SerTerm.StructCall
static final record	SerTerm.Tup
static final record	SerTerm.Univ

方法概要

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

方法详细资料

de

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