Module aya.base

Package org.aya.core.serde

Interface SerTerm

All Superinterfaces:

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

All Known Implementing Classes:

SerTerm.Access, SerTerm.App, SerTerm.Coe, SerTerm.Con, SerTerm.Data, SerTerm.FieldRef, SerTerm.Fn, SerTerm.Interval, SerTerm.Lam, SerTerm.Match, SerTerm.Mula, SerTerm.New, SerTerm.PartEl, SerTerm.PartTy, SerTerm.Path, SerTerm.PathApp, SerTerm.PathLam, SerTerm.Pi, SerTerm.Prim, SerTerm.Proj, SerTerm.Ref, SerTerm.ShapedInt, SerTerm.ShapedList, SerTerm.Sigma, SerTerm.Sort, SerTerm.Str, SerTerm.Struct, SerTerm.Tup

public sealed interface SerTerm
extends Serializable, org.aya.guest0x0.cubical.Restr.TermLike<SerTerm>
permits SerTerm.Sort, SerTerm.Data, SerTerm.Struct, SerTerm.Pi, SerTerm.Sigma, SerTerm.Ref, SerTerm.Lam, SerTerm.New, SerTerm.Proj, SerTerm.Match, SerTerm.App, SerTerm.Fn, SerTerm.Prim, SerTerm.Con, SerTerm.Tup, SerTerm.Access, SerTerm.FieldRef, SerTerm.Interval, SerTerm.Mula, SerTerm.ShapedInt, SerTerm.ShapedList, SerTerm.Str, SerTerm.PartEl, SerTerm.PartTy, SerTerm.Path, SerTerm.PathLam, SerTerm.PathApp, SerTerm.Coe

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	SerTerm.Access
static final record	SerTerm.App
static final record	SerTerm.CallData
static final record	SerTerm.Coe
static final record	SerTerm.Con
static final record	SerTerm.Data
static final record	SerTerm.DeState
static final record	SerTerm.FieldRef
static final record	SerTerm.Fn
static final record	SerTerm.Interval
static final record	SerTerm.Lam
static final record	SerTerm.Match
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.Prim
static final record	SerTerm.Proj
static final record	SerTerm.Ref
static final record	SerTerm.SerArg
static final record	SerTerm.SerCube
static final record	SerTerm.SerParam
static final record	SerTerm.ShapedInt
static final record	SerTerm.ShapedList
static final record	SerTerm.Sigma
static final record	SerTerm.SimpVar
static final record	SerTerm.Sort
static final record	SerTerm.Str
static final record	SerTerm.Struct
static final record	SerTerm.Tup

Nested classes/interfaces inherited from interface org.aya.guest0x0.cubical.Restr.TermLike

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

Method Summary

Modifier and Type	Method	Description
@NotNull Term	de(@NotNull SerTerm.DeState state)

Methods inherited from interface org.aya.guest0x0.cubical.Restr.TermLike

asFormula

Method Details

de

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