Module aya.base

Package org.aya.core.serde

Interface SerPat

All Superinterfaces:

Serializable

All Known Implementing Classes:

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

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

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	SerPat.Absurd
static final record	SerPat.Bind
static final record	SerPat.Clause
static final record	SerPat.Ctor
static final record	SerPat.ShapedInt
static final record	SerPat.Tuple

Method Summary

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

Method Details

de

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