Module aya.base

Package org.aya.generic

package org.aya.generic

Related Packages

Package	Description
org.aya.generic.util

Class	Description
AyaDocile
Constants
ExprProblem
Modifier
Nested<Param,Term,This extends Nested<Param,Term,This>>	A Nested structure is something consists of a head and a body, for example: Expr.Lambda is a nested structure, it has a Expr.Param as a head and a Expr as a body Expr.Let is a nested structure, it has a Expr.LetBind as a head and a Expr as a body If you wish, Expr.App is also a nested structure in some way
ParamLike<Expr extends AyaDocile>
Shaped<T>	What should I do after I creating a new Shape?
Shaped.Applicable<T extends AyaDocile,Core extends Def,Concrete extends TeleDecl<?>>	Something Shaped which is applicable, like FnDef, CtorDef, and probably DataDef
Shaped.Inductive<T>
Shaped.List<T extends AyaDocile>
Shaped.Nat<T extends AyaDocile>
SortKind