Module aya.base

Package org.aya.generic

Interface Shaped<T>

Type Parameters:

T -

All Known Subinterfaces:

IntegerOps<Core,Concrete>, Shaped.Applicable<T,Core,Concrete>, Shaped.Inductive<T>, Shaped.List<T>, Shaped.Nat<T>

All Known Implementing Classes:

IntegerOps.ConRule, IntegerOps.FnRule, IntegerTerm, ListTerm, Pat.ShapedInt, Pattern.FakeShapedList

public interface Shaped<T>

What should I do after I creating a new Shape?

• impl your Shape, see IntegerTerm, and do everything you should after you creating a Term/Pat.
• impl TermComparator, see TermComparator.doCompareUntyped(Term, Term, TermComparator.Sub, TermComparator.Sub)
• impl PatMatcher, see PatMatcher.match(Pat, Term)
• impl PatUnifier, see PatUnify.unify(Pat, Pat)

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	Shaped.Applicable<T extends AyaDocile,Core extends Def,Concrete extends TeleDecl<?>>	Something Shaped which is applicable, like FnDef, CtorDef, and probably DataDef
static interface	Shaped.Inductive<T>
static interface	Shaped.List<T extends AyaDocile>
static interface	Shaped.Nat<T extends AyaDocile>

Method Summary

Modifier and Type	Method	Description
@NotNull Term	type()

Method Details

type

@NotNull
@NotNull Term type()