Module aya.base

Package org.aya.core.repr

Interface AyaShape

All Known Implementing Classes:

AyaShape.AyaIntShape, AyaShape.AyaListShape

public sealed interface AyaShape
permits AyaShape.AyaIntShape, AyaShape.AyaListShape

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	AyaShape.AyaIntShape
static final record	AyaShape.AyaListShape
static class	AyaShape.Factory

Field Summary

Fields

Modifier and Type	Field	Description
static final @NotNull AyaShape	LIST_SHAPE
static final @NotNull kala.collection.immutable.ImmutableSeq<AyaShape>	LITERAL_SHAPES
static final @NotNull AyaShape	NAT_SHAPE

Method Summary

Modifier and Type	Method	Description
@NotNull CodeShape	codeShape()

Field Details

NAT_SHAPE

@NotNull
static final @NotNull AyaShape NAT_SHAPE

LIST_SHAPE

@NotNull
static final @NotNull AyaShape LIST_SHAPE

LITERAL_SHAPES

@NotNull
static final @NotNull kala.collection.immutable.ImmutableSeq<AyaShape> LITERAL_SHAPES

Method Details

codeShape

@NotNull
@NotNull CodeShape codeShape()