Module aya.base

Package org.aya.core.repr

Interface AyaShape

All Known Implementing Classes:

AyaShape.AyaIntShape, AyaShape.AyaListShape, AyaShape.AyaPlusFnLeftShape, AyaShape.AyaPlusFnShape

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

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	AyaShape.AyaIntShape
static enum	AyaShape.AyaListShape
static enum	AyaShape.AyaPlusFnLeftShape
static enum	AyaShape.AyaPlusFnShape
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
static final @NotNull AyaShape	PLUS_LEFT_SHAPE
static final @NotNull AyaShape	PLUS_RIGHT_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

PLUS_LEFT_SHAPE

@NotNull
static final @NotNull AyaShape PLUS_LEFT_SHAPE

PLUS_RIGHT_SHAPE

@NotNull
static final @NotNull AyaShape PLUS_RIGHT_SHAPE

LITERAL_SHAPES

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

Method Details

codeShape

@NotNull
@NotNull CodeShape codeShape()