模块 aya.base

程序包 org.aya.core.serde

接口 SerTerm

所有超级接口:

org.aya.guest0x0.cubical.Restr.TermLike<SerTerm>, Serializable

所有已知子接口:

SerTerm.Sort

所有已知实现类:

SerTerm.Access, SerTerm.App, SerTerm.Coe, SerTerm.ConCall, SerTerm.DataCall, SerTerm.FieldRef, SerTerm.FnCall, SerTerm.Interval, SerTerm.ISet, SerTerm.Lam, SerTerm.Mula, SerTerm.New, SerTerm.PartEl, SerTerm.PartTy, SerTerm.Path, SerTerm.PathApp, SerTerm.PathLam, SerTerm.Pi, SerTerm.PrimCall, SerTerm.Proj, SerTerm.Prop, SerTerm.Ref, SerTerm.Set, SerTerm.ShapedInt, SerTerm.Sigma, SerTerm.Str, SerTerm.StructCall, SerTerm.Tup, SerTerm.Type

public sealed interface SerTerm
extends Serializable, org.aya.guest0x0.cubical.Restr.TermLike<SerTerm>
permits SerTerm.Sort, SerTerm.DataCall, SerTerm.StructCall, SerTerm.Pi, SerTerm.Sigma, 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, SerTerm.PartEl, SerTerm.PartTy, SerTerm.Path, SerTerm.PathLam, SerTerm.PathApp, SerTerm.Coe

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	SerTerm.Access
static final record	SerTerm.App
static final record	SerTerm.CallData
static final record	SerTerm.Coe
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.ISet
static final record	SerTerm.Lam
static final record	SerTerm.Mula
static final record	SerTerm.New
static final record	SerTerm.PartEl
static final record	SerTerm.PartTy
static final record	SerTerm.Path
static final record	SerTerm.PathApp
static final record	SerTerm.PathLam
static final record	SerTerm.Pi
static final record	SerTerm.PrimCall
static final record	SerTerm.Proj
static final record	SerTerm.Prop
static final record	SerTerm.Ref
static final record	SerTerm.SerArg
static final record	SerTerm.SerCube
static final record	SerTerm.SerParam
static final record	SerTerm.Set
static final record	SerTerm.ShapedInt
static final record	SerTerm.Sigma
static final record	SerTerm.SimpVar
static interface	SerTerm.Sort
static final record	SerTerm.Str
static final record	SerTerm.StructCall
static final record	SerTerm.Tup
static final record	SerTerm.Type

从接口继承的嵌套类/接口 org.aya.guest0x0.cubical.Restr.TermLike

org.aya.guest0x0.cubical.Restr.TermLike.Factory<T>

方法概要

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

从接口继承的方法 org.aya.guest0x0.cubical.Restr.TermLike

asFormula

方法详细资料

de

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