Module aya.base

Package org.aya.generic

Interface Shaped.List<T extends AyaDocile>

All Superinterfaces:

Shaped<T>, Shaped.Inductive<T>

All Known Implementing Classes:

ListTerm, Pattern.FakeShapedList

Enclosing interface:

Shaped<T>

public static non-sealed interface Shaped.List<T extends AyaDocile>
extends Shaped.Inductive<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 extends AyaDocile> boolean	compareUntyped(Shaped.List<O> other, @NotNull BiPredicate<T,O> comparator)	Comparing two List
default T	constructorForm()
T	destruct(@NotNull kala.collection.immutable.ImmutableSeq<T> repr)
T	makeCons(@NotNull CtorDef cons, @NotNull org.aya.util.Arg<Term> type, org.aya.util.Arg<T> x, org.aya.util.Arg<T> xs)
T	makeNil(@NotNull CtorDef nil, @NotNull org.aya.util.Arg<Term> type)
@NotNull kala.collection.immutable.ImmutableSeq<T>	repr()

Methods inherited from interface org.aya.generic.Shaped.Inductive

compareShape, ctorRef, recognition, type

Method Details

repr

@NotNull
@NotNull kala.collection.immutable.ImmutableSeq<T> repr()

makeNil

@NotNull
T makeNil(@NotNull
 @NotNull CtorDef nil,
 @NotNull
 @NotNull org.aya.util.Arg<Term> type)

makeCons

@NotNull
T makeCons(@NotNull
 @NotNull CtorDef cons,
 @NotNull
 @NotNull org.aya.util.Arg<Term> type,
 org.aya.util.Arg<T> x,
 org.aya.util.Arg<T> xs)

destruct

@NotNull
T destruct(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<T> repr)

compareUntyped

default <O extends AyaDocile> boolean compareUntyped(@NotNull
 Shaped.List<O> other,
 @NotNull
 @NotNull BiPredicate<T,O> comparator)

Comparing two List

Parameters:

other - another list

comparator - a comparator that should compare the subterms between two List.

Returns:

true if they match (a term matches a pat or two terms are equivalent, which depends on the type parameters Shaped.List and Shaped.List), false if otherwise.

constructorForm

@NotNull
default T constructorForm()

Specified by:

constructorForm in interface Shaped.Inductive<T extends AyaDocile>