Module aya.base

Package org.aya.generic

Interface Shaped.Inductive<T>

All Superinterfaces:

Shaped<T>

All Known Subinterfaces:

Shaped.List<T>, Shaped.Nat<T>

All Known Implementing Classes:

IntegerTerm, ListTerm, Pat.ShapedInt, Pattern.FakeShapedList

Enclosing interface:

Shaped<T>

public static sealed interface Shaped.Inductive<T>
extends Shaped<T>
permits Shaped.Nat<T>, Shaped.List<T>

Nested Class Summary

Nested classes/interfaces inherited from interface org.aya.generic.Shaped

Shaped.Inductive<T>, Shaped.List<T extends AyaDocile>, Shaped.Nat<T extends AyaDocile>

Method Summary

Modifier and Type	Method	Description
default <O> boolean	compareShape(TermComparator comparator, @NotNull Shaped.Inductive<O> other)
T	constructorForm()
default @NotNull DefVar<CtorDef,?>	ctorRef(CodeShape.MomentId id)
@NotNull ShapeRecognition	recognition()
@NotNull DataCall	type()

Method Details

type

@NotNull
@NotNull DataCall type()

Specified by:

type in interface Shaped<T>

recognition

@NotNull
@NotNull ShapeRecognition recognition()

constructorForm

@NotNull
T constructorForm()

ctorRef

@NotNull
default @NotNull DefVar<CtorDef,?> ctorRef(@NotNull
 CodeShape.MomentId id)

compareShape

default <O> boolean compareShape(TermComparator comparator,
 @NotNull
 @NotNull Shaped.Inductive<O> other)