Module aya.base

Package org.aya.core.repr

package org.aya.core.repr

Related Packages

Package	Description
org.aya.core

Class	Description
AyaShape
AyaShape.AyaIntShape
AyaShape.AyaListShape
AyaShape.Factory
CodeShape
CodeShape.CtorShape
CodeShape.DataShape
CodeShape.FieldShape
CodeShape.FnShape
CodeShape.Moment	A capture group, see CodeShape.CtorShape and ShapeMatcher.captures()
CodeShape.MomentId	Typed capture name, rather than plain strings
CodeShape.ParamShape
CodeShape.ParamShape.Any
CodeShape.ParamShape.Licit
CodeShape.ParamShape.Optional
CodeShape.PatShape
CodeShape.PatShape.Any
CodeShape.StructShape
CodeShape.TermShape
CodeShape.TermShape.Any
CodeShape.TermShape.Call
CodeShape.TermShape.Sort	The shape to Sort term, I am not very work well at type theory, so improve this feel free!
CodeShape.TermShape.TeleRef
ShapeMatcher
ShapeRecognition