Module aya.base

Package org.aya.core.serde

Interface SerDef

All Superinterfaces:

Serializable

All Known Implementing Classes:

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

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

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
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 enum	SerDef.SerAyaShape	serialized AyaShape
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.SerRenamedOp	Serialized version of ResolveInfo.RenamedOpDecl
static final record	SerDef.SerShapeResult	serialized ShapeRecognition
static final record	SerDef.Struct

Method Summary

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

Method Details

de

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