索引
All Classes and Interfaces|所有程序包|序列化表格
A
- a() - record class中的方法 org.aya.guest0x0.syntax.Expr.Lam
-
返回
a记录组件的值。 - a() - record class中的方法 org.aya.guest0x0.syntax.Expr.Two
-
返回
a记录组件的值。 - a() - record class中的方法 org.aya.guest0x0.syntax.Term.Two
-
返回
a记录组件的值。 - accessible() - record class中的方法 org.aya.guest0x0.syntax.Expr.Hole
-
返回
accessible记录组件的值。 - AltF7 - org.aya.guest0x0.util中的Record Class
- AltF7(LocalVar) - record class的构造器 org.aya.guest0x0.util.AltF7
-
创建
AltF7记录的实例。 - and(Term, Term) - 接口中的静态方法 org.aya.guest0x0.syntax.Term
- AnyVar - org.aya.guest0x0.util中的接口
- app(Term...) - 接口中的方法 org.aya.guest0x0.syntax.Term
- AppHead - enum class 中的枚举常量 org.aya.guest0x0.util.Distiller.Prec
- AppSpine - enum class 中的枚举常量 org.aya.guest0x0.util.Distiller.Prec
- args() - record class中的方法 org.aya.guest0x0.syntax.Term.Call
-
返回
args记录组件的值。 - asFormula() - record class中的方法 org.aya.guest0x0.syntax.Expr.Mula
-
返回
asFormula记录组件的值。 - asFormula() - record class中的方法 org.aya.guest0x0.syntax.Term.Mula
-
返回
asFormula记录组件的值。 - asRef(Term) - record class中的方法 org.aya.guest0x0.tyck.Normalizer
- aya.guest.base - 模块 aya.guest.base
B
- b() - record class中的方法 org.aya.guest0x0.syntax.Term.PCall
-
返回
b记录组件的值。 - BdryData<E extends org.aya.pretty.doc.Docile & org.aya.guest0x0.cubical.Restr.TermLike<E>> - org.aya.guest0x0.syntax中的Record Class
- BdryData(ImmutableSeq<LocalVar>, E, ImmutableSeq<Restr.Side<E>>) - record class的构造器 org.aya.guest0x0.syntax.BdryData
-
创建
BdryData记录的实例。 - body() - record class中的方法 org.aya.guest0x0.syntax.Decl.Fn
-
返回
body记录组件的值。 - body() - record class中的方法 org.aya.guest0x0.syntax.Decl.Print
-
返回
body记录组件的值。 - body() - record class中的方法 org.aya.guest0x0.syntax.Def.Fn
-
返回
body记录组件的值。 - body() - record class中的方法 org.aya.guest0x0.syntax.Def.Print
-
返回
body记录组件的值。 - body() - record class中的方法 org.aya.guest0x0.syntax.Term.Lam
-
返回
body记录组件的值。 - bottom() - record class中的方法 org.aya.guest0x0.syntax.CompData
-
返回
bottom记录组件的值。 - boundaries() - record class中的方法 org.aya.guest0x0.syntax.BdryData
-
返回
boundaries记录组件的值。
C
- Call(DefVar<Def.Fn>, ImmutableSeq<Term>) - record class的构造器 org.aya.guest0x0.syntax.Term.Call
-
创建
Call记录的实例。 - clauses() - record class中的方法 org.aya.guest0x0.syntax.Expr.PartEl
-
返回
clauses记录组件的值。 - clauses(Seq<Restr.Side<T>>) - 接口中的静态方法 org.aya.guest0x0.util.Distiller
- cod() - record class中的方法 org.aya.guest0x0.syntax.Expr.DT
-
返回
cod记录组件的值。 - cod() - record class中的方法 org.aya.guest0x0.syntax.Term.DT
-
返回
cod记录组件的值。 - Cod - enum class 中的枚举常量 org.aya.guest0x0.util.Distiller.Prec
- codomain(Term) - record class中的方法 org.aya.guest0x0.syntax.Term.DT
- Cof(Restr<Term>) - record class的构造器 org.aya.guest0x0.syntax.Term.Cof
-
创建
Cof记录的实例。 - Cof(SourcePos, Restr<Expr>) - record class的构造器 org.aya.guest0x0.syntax.Expr.Cof
-
创建
Cof记录的实例。 - comp(Term, LocalVar, Partial<Term>, Term) - 接口中的静态方法 org.aya.guest0x0.tyck.HCompPDF
-
CCHM comp, similar to the analogous comp as in mlang
- CompData<Expr extends org.aya.pretty.doc.Docile> - org.aya.guest0x0.syntax中的Record Class
- CompData(Expr, Expr, Expr, Expr) - record class的构造器 org.aya.guest0x0.syntax.CompData
-
创建
CompData记录的实例。 - conn(boolean, Term, Term) - 接口中的静态方法 org.aya.guest0x0.syntax.Term
- contradicts(LocalVar, boolean) - record class中的方法 org.aya.guest0x0.tyck.Normalizer
- core - 类中的变量 org.aya.guest0x0.syntax.DefVar
- cover() - record class中的方法 org.aya.guest0x0.syntax.Expr.Transp
-
返回
cover记录组件的值。 - cover() - record class中的方法 org.aya.guest0x0.syntax.Term.Transp
-
返回
cover记录组件的值。 - cover() - record class中的方法 org.aya.guest0x0.tyck.HCompPDF.Transps
-
返回
cover记录组件的值。 - create() - record class中的静态方法 org.aya.guest0x0.tyck.Normalizer
D
- data - 类中的变量 org.aya.guest0x0.tyck.Unifier
- data() - record class中的方法 org.aya.guest0x0.syntax.Expr.Cof
-
返回
data记录组件的值。 - data() - record class中的方法 org.aya.guest0x0.syntax.Expr.Hcomp
-
返回
data记录组件的值。 - data() - record class中的方法 org.aya.guest0x0.syntax.Expr.Path
-
返回
data记录组件的值。 - data() - record class中的方法 org.aya.guest0x0.syntax.Term.Hcomp
-
返回
data记录组件的值。 - data() - record class中的方法 org.aya.guest0x0.syntax.Term.Path
-
返回
data记录组件的值。 - Decl - org.aya.guest0x0.syntax中的接口
-
Concrete syntax of global definitions.
- Decl.Fn - org.aya.guest0x0.syntax中的Record Class
- Decl.Print - org.aya.guest0x0.syntax中的Record Class
- Decl.Tele - org.aya.guest0x0.syntax中的Record Class
- def(Decl) - record class中的方法 org.aya.guest0x0.tyck.Resolver
- def(Decl) - record class中的方法 org.aya.guest0x0.tyck.Elaborator
- Def - org.aya.guest0x0.syntax中的接口
- Def.Fn - org.aya.guest0x0.syntax中的Record Class
- Def.Print - org.aya.guest0x0.syntax中的Record Class
- Def.Signature - org.aya.guest0x0.syntax中的Record Class
-
For (maybe mutually) recursive definitions, like types and functions
- DefVar<D extends Def> - org.aya.guest0x0.syntax中的类
-
Use with extreme caution: the field
DefVar.corecan be assigned only once after the core is generated. - DefVar(String) - 类的构造器 org.aya.guest0x0.syntax.DefVar
- derive() - record class中的方法 org.aya.guest0x0.tyck.Normalizer
- dims() - record class中的方法 org.aya.guest0x0.syntax.BdryData
-
返回
dims记录组件的值。 - dims() - record class中的方法 org.aya.guest0x0.syntax.Term.PLam
-
返回
dims记录组件的值。 - Distiller - org.aya.guest0x0.util中的接口
- Distiller.PP<E> - org.aya.guest0x0.util中的接口
- Distiller.Prec - org.aya.guest0x0.util中的Enum Class
- DT(boolean, Param<Term>, Term) - record class的构造器 org.aya.guest0x0.syntax.Term.DT
-
创建
DT记录的实例。 - DT(boolean, SourcePos, Param<Expr>, Expr) - record class的构造器 org.aya.guest0x0.syntax.Expr.DT
-
创建
DT记录的实例。
E
- e() - record class中的方法 org.aya.guest0x0.syntax.Expr.SubEl
-
返回
e记录组件的值。 - e() - record class中的方法 org.aya.guest0x0.syntax.Term.InS
-
返回
e记录组件的值。 - e() - record class中的方法 org.aya.guest0x0.syntax.Term.OutS
-
返回
e记录组件的值。 - Elaborator - org.aya.guest0x0.tyck中的Record Class
- Elaborator(MutableMap<DefVar<?>, Def>, MutableMap<LocalVar, Term>) - record class的构造器 org.aya.guest0x0.tyck.Elaborator
-
创建
Elaborator记录的实例。 - Elaborator.Synth - org.aya.guest0x0.tyck中的Record Class
- end(boolean) - 接口中的静态方法 org.aya.guest0x0.syntax.Term
- env() - record class中的方法 org.aya.guest0x0.tyck.Resolver
-
返回
env记录组件的值。 - equals(Object) - record class中的方法 org.aya.guest0x0.syntax.BdryData
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.CompData
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Decl.Fn
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Decl.Print
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Decl.Tele
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Def.Fn
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Def.Print
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Def.Signature
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Expr.Cof
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Expr.DT
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Expr.Hcomp
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Expr.Hole
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Expr.Lam
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Expr.Mula
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Expr.PartEl
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Expr.PartTy
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Expr.Path
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Expr.PrimTy
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Expr.Proj
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Expr.Resolved
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Expr.Sub
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Expr.SubEl
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Expr.Transp
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Expr.Two
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Expr.Unresolved
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Term.Call
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Term.Cof
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Term.DT
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Term.Hcomp
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Term.InS
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Term.Lam
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Term.Mula
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Term.OutS
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Term.PartEl
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Term.PartTy
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Term.Path
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Term.PCall
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Term.PLam
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Term.Proj
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Term.Ref
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Term.Sub
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Term.Transp
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Term.Two
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.syntax.Term.UI
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.tyck.Elaborator
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.tyck.Elaborator.Synth
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.tyck.HCompPDF.Transps
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.tyck.Normalizer
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.tyck.Resolver
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.tyck.Unifier.FailureData
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.util.AltF7
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.util.LocalVar
-
指示某个其他对象是否“等于”此对象。
- equals(Object) - record class中的方法 org.aya.guest0x0.util.Param
-
指示某个其他对象是否“等于”此对象。
- expr(Expr) - record class中的方法 org.aya.guest0x0.tyck.Resolver
- expr(Expr, Distiller.Prec) - 接口中的静态方法 org.aya.guest0x0.util.Distiller
- Expr - org.aya.guest0x0.syntax中的接口
- Expr.Cof - org.aya.guest0x0.syntax中的Record Class
- Expr.DT - org.aya.guest0x0.syntax中的Record Class
- Expr.Hcomp - org.aya.guest0x0.syntax中的Record Class
- Expr.Hole - org.aya.guest0x0.syntax中的Record Class
- Expr.Lam - org.aya.guest0x0.syntax中的Record Class
- Expr.Mula - org.aya.guest0x0.syntax中的Record Class
- Expr.PartEl - org.aya.guest0x0.syntax中的Record Class
- Expr.PartTy - org.aya.guest0x0.syntax中的Record Class
- Expr.Path - org.aya.guest0x0.syntax中的Record Class
- Expr.PrimTy - org.aya.guest0x0.syntax中的Record Class
- Expr.Proj - org.aya.guest0x0.syntax中的Record Class
- Expr.Resolved - org.aya.guest0x0.syntax中的Record Class
- Expr.Sub - org.aya.guest0x0.syntax中的Record Class
-
"Proper" cubical subtypes
- Expr.SubEl - org.aya.guest0x0.syntax中的Record Class
-
inS/outS, the introduction/elimination rules for the subtype relation
- Expr.Transp - org.aya.guest0x0.syntax中的Record Class
- Expr.Two - org.aya.guest0x0.syntax中的Record Class
- Expr.Unresolved - org.aya.guest0x0.syntax中的Record Class
F
- f() - record class中的方法 org.aya.guest0x0.syntax.Expr.Two
-
返回
f记录组件的值。 - f() - record class中的方法 org.aya.guest0x0.syntax.Term.Two
-
返回
f记录组件的值。 - F - enum class 中的枚举常量 org.aya.guest0x0.syntax.Keyword
- F - 接口中的静态变量 org.aya.guest0x0.syntax.Term
- FailureData(Term, Term) - record class的构造器 org.aya.guest0x0.tyck.Unifier.FailureData
-
创建
FailureData记录的实例。 - fill() - record class中的方法 org.aya.guest0x0.syntax.Term.PLam
-
返回
fill记录组件的值。 - fill(LocalVar) - record class中的方法 org.aya.guest0x0.tyck.HCompPDF.Transps
- fmap(Function<E, E>) - record class中的方法 org.aya.guest0x0.syntax.BdryData
- fmap(Function<E, E>, ImmutableSeq<LocalVar>) - record class中的方法 org.aya.guest0x0.syntax.BdryData
- fmap(Function<Expr, T>) - record class中的方法 org.aya.guest0x0.syntax.CompData
- fmap(Function<Term, Term>) - record class中的方法 org.aya.guest0x0.syntax.Term.Cof
- fn() - record class中的方法 org.aya.guest0x0.syntax.Term.Call
-
返回
fn记录组件的值。 - Fn(DefVar<Def.Fn>, ImmutableSeq<Param<Term>>, Term, Term) - record class的构造器 org.aya.guest0x0.syntax.Def.Fn
-
创建
Fn记录的实例。 - Fn(DefVar<Def.Fn>, Decl.Tele, Expr, Expr) - record class的构造器 org.aya.guest0x0.syntax.Decl.Fn
-
创建
Fn记录的实例。 - FnLike - org.aya.guest0x0.syntax中的接口
- forward(Term, Term) - 接口中的静态方法 org.aya.guest0x0.tyck.HCompPDF
- Free - enum class 中的枚举常量 org.aya.guest0x0.util.Distiller.Prec
G
- gamma() - record class中的方法 org.aya.guest0x0.tyck.Elaborator
-
返回
gamma记录组件的值。
H
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.BdryData
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.CompData
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Decl.Fn
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Decl.Print
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Decl.Tele
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Def.Fn
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Def.Print
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Def.Signature
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Expr.Cof
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Expr.DT
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Expr.Hcomp
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Expr.Hole
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Expr.Lam
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Expr.Mula
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Expr.PartEl
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Expr.PartTy
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Expr.Path
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Expr.PrimTy
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Expr.Proj
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Expr.Resolved
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Expr.Sub
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Expr.SubEl
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Expr.Transp
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Expr.Two
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Expr.Unresolved
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Term.Call
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Term.Cof
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Term.DT
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Term.Hcomp
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Term.InS
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Term.Lam
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Term.Mula
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Term.OutS
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Term.PartEl
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Term.PartTy
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Term.Path
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Term.PCall
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Term.PLam
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Term.Proj
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Term.Ref
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Term.Sub
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Term.Transp
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Term.Two
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.syntax.Term.UI
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.tyck.Elaborator
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.tyck.Elaborator.Synth
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.tyck.HCompPDF.Transps
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.tyck.Normalizer
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.tyck.Resolver
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.tyck.Unifier.FailureData
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.util.AltF7
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.util.LocalVar
-
返回此对象的哈希代码值。
- hashCode() - record class中的方法 org.aya.guest0x0.util.Param
-
返回此对象的哈希代码值。
- Hcomp(CompData<Term>) - record class的构造器 org.aya.guest0x0.syntax.Term.Hcomp
-
创建
Hcomp记录的实例。 - Hcomp(SourcePos, CompData<Expr>) - record class的构造器 org.aya.guest0x0.syntax.Expr.Hcomp
-
创建
Hcomp记录的实例。 - HCompPDF - org.aya.guest0x0.tyck中的接口
-
References: 10_value_fibrant.scala hcomp.pdf
- HCompPDF.Transps - org.aya.guest0x0.tyck中的Record Class
- Hole(SourcePos, ImmutableSeq<LocalVar>) - record class的构造器 org.aya.guest0x0.syntax.Expr.Hole
-
创建
Hole记录的实例。
I
- i() - record class中的方法 org.aya.guest0x0.syntax.Term.PCall
-
返回
i记录组件的值。 - I - enum class 中的枚举常量 org.aya.guest0x0.syntax.Keyword
- I - 接口中的静态变量 org.aya.guest0x0.syntax.Term
- id(String) - 接口中的静态方法 org.aya.guest0x0.syntax.Term
- inherit(Expr, Term) - record class中的方法 org.aya.guest0x0.tyck.Elaborator
- inner() - record class中的方法 org.aya.guest0x0.syntax.Term.PartEl
-
返回
inner记录组件的值。 - InS(Term, Restr<Term>) - record class的构造器 org.aya.guest0x0.syntax.Term.InS
-
创建
InS记录的实例。 - inv() - record class中的方法 org.aya.guest0x0.tyck.HCompPDF.Transps
- invFill(LocalVar) - record class中的方法 org.aya.guest0x0.tyck.HCompPDF.Transps
- IOp - enum class 中的枚举常量 org.aya.guest0x0.util.Distiller.Prec
- isApp() - record class中的方法 org.aya.guest0x0.syntax.Expr.Two
-
返回
isApp记录组件的值。 - isApp() - record class中的方法 org.aya.guest0x0.syntax.Term.Two
-
返回
isApp记录组件的值。 - isData() - record class中的方法 org.aya.guest0x0.syntax.Def.Signature
-
返回
isData记录组件的值。 - isIntro() - record class中的方法 org.aya.guest0x0.syntax.Expr.SubEl
-
返回
isIntro记录组件的值。 - isOne() - record class中的方法 org.aya.guest0x0.syntax.Expr.Proj
-
返回
isOne记录组件的值。 - isOne() - record class中的方法 org.aya.guest0x0.syntax.Term.Proj
-
返回
isOne记录组件的值。 - isPi() - record class中的方法 org.aya.guest0x0.syntax.Expr.DT
-
返回
isPi记录组件的值。 - isPi() - record class中的方法 org.aya.guest0x0.syntax.Term.DT
-
返回
isPi记录组件的值。
K
- keyword() - record class中的方法 org.aya.guest0x0.syntax.Expr.PrimTy
-
返回
keyword记录组件的值。 - keyword() - record class中的方法 org.aya.guest0x0.syntax.Term.UI
-
返回
keyword记录组件的值。 - Keyword - org.aya.guest0x0.syntax中的Enum Class
L
- l() - record class中的方法 org.aya.guest0x0.tyck.Unifier.FailureData
-
返回
l记录组件的值。 - Lam(LocalVar, Term) - record class的构造器 org.aya.guest0x0.syntax.Term.Lam
-
创建
Lam记录的实例。 - Lam(SourcePos, LocalVar, Expr) - record class的构造器 org.aya.guest0x0.syntax.Expr.Lam
-
创建
Lam记录的实例。 - LocalVar - org.aya.guest0x0.util中的Record Class
- LocalVar(String) - record class的构造器 org.aya.guest0x0.util.LocalVar
-
创建
LocalVar记录的实例。
M
- mk() - record class中的方法 org.aya.guest0x0.tyck.HCompPDF.Transps
-
Marisa Kirisame!!
- mkLam(String, Function<Term, Term>) - 接口中的静态方法 org.aya.guest0x0.syntax.Term
- mkLam(SeqView<LocalVar>, Term) - 接口中的静态方法 org.aya.guest0x0.syntax.Term
- mkPi(ImmutableSeq<Param<Term>>, Term) - 接口中的静态方法 org.aya.guest0x0.syntax.Term
- mkPi(Term, Term) - 接口中的静态方法 org.aya.guest0x0.syntax.Term
- Mula(Formula<Term>) - record class的构造器 org.aya.guest0x0.syntax.Term.Mula
-
创建
Mula记录的实例。 - Mula(SourcePos, Formula<Expr>) - record class的构造器 org.aya.guest0x0.syntax.Expr.Mula
-
创建
Mula记录的实例。
N
- name - 类中的变量 org.aya.guest0x0.syntax.DefVar
- name() - record class中的方法 org.aya.guest0x0.syntax.Decl.Fn
-
返回
name记录组件的值。 - name() - 接口中的方法 org.aya.guest0x0.syntax.Decl
- name() - record class中的方法 org.aya.guest0x0.syntax.Decl.Print
- name() - record class中的方法 org.aya.guest0x0.syntax.Def.Fn
-
返回
name记录组件的值。 - name() - 接口中的方法 org.aya.guest0x0.syntax.Def
- name() - record class中的方法 org.aya.guest0x0.syntax.Def.Print
- name() - 类中的方法 org.aya.guest0x0.syntax.DefVar
- name() - record class中的方法 org.aya.guest0x0.syntax.Expr.Unresolved
-
返回
name记录组件的值。 - name() - 接口中的方法 org.aya.guest0x0.util.AnyVar
- name() - record class中的方法 org.aya.guest0x0.util.LocalVar
-
返回
name记录组件的值。 - neg(Term) - 接口中的静态方法 org.aya.guest0x0.syntax.Term
- normalize(Term) - record class中的方法 org.aya.guest0x0.tyck.Elaborator
- Normalizer - org.aya.guest0x0.tyck中的Record Class
- Normalizer(MutableMap<LocalVar, Term>) - record class的构造器 org.aya.guest0x0.tyck.Normalizer
-
创建
Normalizer记录的实例。
O
- or(Term, Term) - 接口中的静态方法 org.aya.guest0x0.syntax.Term
- org.aya.guest0x0.syntax - 程序包 org.aya.guest0x0.syntax
- org.aya.guest0x0.tyck - 程序包 org.aya.guest0x0.tyck
- org.aya.guest0x0.util - 程序包 org.aya.guest0x0.util
- OutS(Term, Partial<Term>) - record class的构造器 org.aya.guest0x0.syntax.Term.OutS
-
创建
OutS记录的实例。
P
- p() - record class中的方法 org.aya.guest0x0.syntax.Term.PCall
-
返回
p记录组件的值。 - par() - record class中的方法 org.aya.guest0x0.syntax.Expr.Sub
-
返回
par记录组件的值。 - par() - record class中的方法 org.aya.guest0x0.syntax.Term.OutS
-
返回
par记录组件的值。 - par() - record class中的方法 org.aya.guest0x0.syntax.Term.Sub
-
返回
par记录组件的值。 - param() - record class中的方法 org.aya.guest0x0.syntax.Expr.DT
-
返回
param记录组件的值。 - param() - record class中的方法 org.aya.guest0x0.syntax.Term.DT
-
返回
param记录组件的值。 - param(Param<Expr>) - record class中的方法 org.aya.guest0x0.tyck.Resolver
- param(Param<Term>) - record class中的方法 org.aya.guest0x0.tyck.Normalizer
- Param<Term extends org.aya.pretty.doc.Docile> - org.aya.guest0x0.util中的Record Class
- Param(LocalVar, Term) - record class的构造器 org.aya.guest0x0.util.Param
-
创建
Param记录的实例。 - PartEl(Partial<Term>) - record class的构造器 org.aya.guest0x0.syntax.Term.PartEl
-
创建
PartEl记录的实例。 - PartEl(SourcePos, ImmutableSeq<Restr.Side<Expr>>) - record class的构造器 org.aya.guest0x0.syntax.Expr.PartEl
-
创建
PartEl记录的实例。 - partial(Partial<Term>) - record class中的方法 org.aya.guest0x0.tyck.Normalizer
- PartTy(Term, Term) - record class的构造器 org.aya.guest0x0.syntax.Term.PartTy
-
创建
PartTy记录的实例。 - PartTy(SourcePos, Expr, Expr) - record class的构造器 org.aya.guest0x0.syntax.Expr.PartTy
-
创建
PartTy记录的实例。 - Path(BdryData<Term>) - record class的构造器 org.aya.guest0x0.syntax.Term.Path
-
创建
Path记录的实例。 - Path(SourcePos, BdryData<Expr>) - record class的构造器 org.aya.guest0x0.syntax.Expr.Path
-
创建
Path记录的实例。 - PCall(Term, ImmutableSeq<Term>, Partial<Term>) - record class的构造器 org.aya.guest0x0.syntax.Term.PCall
-
创建
PCall记录的实例。 - phi() - record class中的方法 org.aya.guest0x0.syntax.CompData
-
返回
phi记录组件的值。 - PLam(ImmutableSeq<LocalVar>, Term) - record class的构造器 org.aya.guest0x0.syntax.Term.PLam
-
创建
PLam记录的实例。 - pos - exception class中的变量 org.aya.guest0x0.util.SPE
- pos() - record class中的方法 org.aya.guest0x0.syntax.Expr.Cof
-
返回
pos记录组件的值。 - pos() - record class中的方法 org.aya.guest0x0.syntax.Expr.DT
-
返回
pos记录组件的值。 - pos() - record class中的方法 org.aya.guest0x0.syntax.Expr.Hcomp
-
返回
pos记录组件的值。 - pos() - record class中的方法 org.aya.guest0x0.syntax.Expr.Hole
-
返回
pos记录组件的值。 - pos() - record class中的方法 org.aya.guest0x0.syntax.Expr.Lam
-
返回
pos记录组件的值。 - pos() - record class中的方法 org.aya.guest0x0.syntax.Expr.Mula
-
返回
pos记录组件的值。 - pos() - record class中的方法 org.aya.guest0x0.syntax.Expr.PartEl
-
返回
pos记录组件的值。 - pos() - record class中的方法 org.aya.guest0x0.syntax.Expr.PartTy
-
返回
pos记录组件的值。 - pos() - record class中的方法 org.aya.guest0x0.syntax.Expr.Path
-
返回
pos记录组件的值。 - pos() - 接口中的方法 org.aya.guest0x0.syntax.Expr
- pos() - record class中的方法 org.aya.guest0x0.syntax.Expr.PrimTy
-
返回
pos记录组件的值。 - pos() - record class中的方法 org.aya.guest0x0.syntax.Expr.Proj
-
返回
pos记录组件的值。 - pos() - record class中的方法 org.aya.guest0x0.syntax.Expr.Resolved
-
返回
pos记录组件的值。 - pos() - record class中的方法 org.aya.guest0x0.syntax.Expr.Sub
-
返回
pos记录组件的值。 - pos() - record class中的方法 org.aya.guest0x0.syntax.Expr.SubEl
-
返回
pos记录组件的值。 - pos() - record class中的方法 org.aya.guest0x0.syntax.Expr.Transp
-
返回
pos记录组件的值。 - pos() - record class中的方法 org.aya.guest0x0.syntax.Expr.Two
-
返回
pos记录组件的值。 - pos() - record class中的方法 org.aya.guest0x0.syntax.Expr.Unresolved
-
返回
pos记录组件的值。 - press(Term) - record class中的方法 org.aya.guest0x0.util.AltF7
- PrimTy(SourcePos, Keyword) - record class的构造器 org.aya.guest0x0.syntax.Expr.PrimTy
-
创建
PrimTy记录的实例。 - Print(ImmutableSeq<Param<Term>>, Term, Term) - record class的构造器 org.aya.guest0x0.syntax.Def.Print
-
创建
Print记录的实例。 - Print(Decl.Tele, Expr, Expr) - record class的构造器 org.aya.guest0x0.syntax.Decl.Print
-
创建
Print记录的实例。 - proj(boolean) - 接口中的方法 org.aya.guest0x0.syntax.Term
- proj(boolean) - record class中的方法 org.aya.guest0x0.syntax.Term.Two
- Proj(Term, boolean) - record class的构造器 org.aya.guest0x0.syntax.Term.Proj
-
创建
Proj记录的实例。 - Proj(SourcePos, Expr, boolean) - record class的构造器 org.aya.guest0x0.syntax.Expr.Proj
-
创建
Proj记录的实例。 - ProjHead - enum class 中的枚举常量 org.aya.guest0x0.util.Distiller.Prec
- propExt(Restr<Term>, Restr<Term>) - record class中的方法 org.aya.guest0x0.tyck.Normalizer
- put(LocalVar, boolean) - record class中的方法 org.aya.guest0x0.tyck.Normalizer
R
- r() - record class中的方法 org.aya.guest0x0.tyck.Unifier.FailureData
-
返回
r记录组件的值。 - ref() - record class中的方法 org.aya.guest0x0.syntax.Expr.Resolved
-
返回
ref记录组件的值。 - Ref(LocalVar) - record class的构造器 org.aya.guest0x0.syntax.Term.Ref
-
创建
Ref记录的实例。 - rename(Term) - record class中的静态方法 org.aya.guest0x0.tyck.Normalizer
- Resolved(SourcePos, AnyVar) - record class的构造器 org.aya.guest0x0.syntax.Expr.Resolved
-
创建
Resolved记录的实例。 - Resolver - org.aya.guest0x0.tyck中的Record Class
- Resolver(MutableMap<String, AnyVar>) - record class的构造器 org.aya.guest0x0.tyck.Resolver
-
创建
Resolver记录的实例。 - restr() - record class中的方法 org.aya.guest0x0.syntax.Expr.PartTy
-
返回
restr记录组件的值。 - restr() - record class中的方法 org.aya.guest0x0.syntax.Expr.Transp
-
返回
restr记录组件的值。 - restr() - record class中的方法 org.aya.guest0x0.syntax.Term.Cof
-
返回
restr记录组件的值。 - restr() - record class中的方法 org.aya.guest0x0.syntax.Term.InS
-
返回
restr记录组件的值。 - restr() - record class中的方法 org.aya.guest0x0.syntax.Term.PartTy
-
返回
restr记录组件的值。 - restr() - record class中的方法 org.aya.guest0x0.syntax.Term.Transp
-
返回
restr记录组件的值。 - restr() - record class中的方法 org.aya.guest0x0.tyck.HCompPDF.Transps
-
返回
restr记录组件的值。 - restr(Restr<Term>) - record class中的方法 org.aya.guest0x0.tyck.Normalizer
- restrOfClauses(ImmutableSeq<Restr.Side<Term>>) - record class中的静态方法 org.aya.guest0x0.tyck.Elaborator
- result() - record class中的方法 org.aya.guest0x0.syntax.Decl.Fn
-
返回
result记录组件的值。 - result() - record class中的方法 org.aya.guest0x0.syntax.Decl.Print
-
返回
result记录组件的值。 - result() - record class中的方法 org.aya.guest0x0.syntax.Def.Fn
-
返回
result记录组件的值。 - result() - record class中的方法 org.aya.guest0x0.syntax.Def.Print
-
返回
result记录组件的值。 - result() - record class中的方法 org.aya.guest0x0.syntax.Def.Signature
-
返回
result记录组件的值。 - result() - 接口中的方法 org.aya.guest0x0.syntax.FnLike
- rho() - record class中的方法 org.aya.guest0x0.tyck.Normalizer
-
返回
rho记录组件的值。
S
- scope() - record class中的方法 org.aya.guest0x0.syntax.Decl.Tele
-
返回
scope记录组件的值。 - sigma() - record class中的方法 org.aya.guest0x0.tyck.Elaborator
-
返回
sigma记录组件的值。 - signature - 类中的变量 org.aya.guest0x0.syntax.DefVar
- Signature(boolean, ImmutableSeq<Param<Term>>, Term) - record class的构造器 org.aya.guest0x0.syntax.Def.Signature
-
创建
Signature记录的实例。 - SPE - org.aya.guest0x0.util中的Exception Class
-
Gaolao SPE yoyo, also
SourcePosException - SPE(SourcePos, Doc) - exception class的构造器 org.aya.guest0x0.util.SPE
- SPE(SourcePos, Docile...) - exception class的构造器 org.aya.guest0x0.util.SPE
- Sub(Term, Partial<Term>) - record class的构造器 org.aya.guest0x0.syntax.Term.Sub
-
创建
Sub记录的实例。 - Sub(SourcePos, Expr, Expr.PartEl) - record class的构造器 org.aya.guest0x0.syntax.Expr.Sub
-
创建
Sub记录的实例。 - SubEl(SourcePos, Expr, boolean) - record class的构造器 org.aya.guest0x0.syntax.Expr.SubEl
-
创建
SubEl记录的实例。 - subst(MutableMap<LocalVar, Term>) - 接口中的方法 org.aya.guest0x0.syntax.Term
- subst(LocalVar, Term) - 接口中的方法 org.aya.guest0x0.syntax.Term
- synth(Expr) - record class中的方法 org.aya.guest0x0.tyck.Elaborator
- Synth(Term, Term) - record class的构造器 org.aya.guest0x0.tyck.Elaborator.Synth
-
创建
Synth记录的实例。
T
- t() - record class中的方法 org.aya.guest0x0.syntax.Expr.Proj
-
返回
t记录组件的值。 - t() - record class中的方法 org.aya.guest0x0.syntax.Term.Proj
-
返回
t记录组件的值。 - tele() - record class中的方法 org.aya.guest0x0.syntax.Decl.Fn
-
返回
tele记录组件的值。 - tele() - record class中的方法 org.aya.guest0x0.syntax.Decl.Print
-
返回
tele记录组件的值。 - tele() - 接口中的方法 org.aya.guest0x0.syntax.Decl
- Tele(ImmutableSeq<Param<Expr>>) - record class的构造器 org.aya.guest0x0.syntax.Decl.Tele
-
创建
Tele记录的实例。 - teleRefs() - 接口中的方法 org.aya.guest0x0.syntax.FnLike
- telescope() - record class中的方法 org.aya.guest0x0.syntax.Def.Fn
-
返回
telescope记录组件的值。 - telescope() - record class中的方法 org.aya.guest0x0.syntax.Def.Print
-
返回
telescope记录组件的值。 - telescope() - record class中的方法 org.aya.guest0x0.syntax.Def.Signature
-
返回
telescope记录组件的值。 - telescope() - 接口中的方法 org.aya.guest0x0.syntax.FnLike
- teleVars() - 接口中的方法 org.aya.guest0x0.syntax.FnLike
- term(Term, Distiller.Prec) - 接口中的静态方法 org.aya.guest0x0.util.Distiller
- term(Term) - record class中的方法 org.aya.guest0x0.tyck.Normalizer
- Term - org.aya.guest0x0.syntax中的接口
- Term.Call - org.aya.guest0x0.syntax中的Record Class
- Term.Cof - org.aya.guest0x0.syntax中的Record Class
- Term.DT - org.aya.guest0x0.syntax中的Record Class
- Term.Hcomp - org.aya.guest0x0.syntax中的Record Class
- Term.InS - org.aya.guest0x0.syntax中的Record Class
- Term.Lam - org.aya.guest0x0.syntax中的Record Class
- Term.Mula - org.aya.guest0x0.syntax中的Record Class
- Term.OutS - org.aya.guest0x0.syntax中的Record Class
- Term.PartEl - org.aya.guest0x0.syntax中的Record Class
- Term.PartTy - org.aya.guest0x0.syntax中的Record Class
- Term.Path - org.aya.guest0x0.syntax中的Record Class
- Term.PCall - org.aya.guest0x0.syntax中的Record Class
- Term.PLam - org.aya.guest0x0.syntax中的Record Class
- Term.Proj - org.aya.guest0x0.syntax中的Record Class
- Term.Ref - org.aya.guest0x0.syntax中的Record Class
- Term.Sub - org.aya.guest0x0.syntax中的Record Class
- Term.Transp - org.aya.guest0x0.syntax中的Record Class
- Term.Two - org.aya.guest0x0.syntax中的Record Class
- Term.UI - org.aya.guest0x0.syntax中的Record Class
- toDoc() - record class中的方法 org.aya.guest0x0.syntax.BdryData
- toDoc() - record class中的方法 org.aya.guest0x0.syntax.CompData
- toDoc() - 接口中的方法 org.aya.guest0x0.syntax.Expr
- toDoc() - 接口中的方法 org.aya.guest0x0.syntax.Term
- toDoc() - record class中的方法 org.aya.guest0x0.util.Param
- toString() - record class中的方法 org.aya.guest0x0.syntax.BdryData
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.CompData
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Decl.Fn
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Decl.Print
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Decl.Tele
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Def.Fn
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Def.Print
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Def.Signature
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Expr.Cof
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Expr.DT
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Expr.Hcomp
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Expr.Hole
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Expr.Lam
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Expr.Mula
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Expr.PartEl
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Expr.PartTy
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Expr.Path
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Expr.PrimTy
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Expr.Proj
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Expr.Resolved
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Expr.Sub
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Expr.SubEl
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Expr.Transp
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Expr.Two
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Expr.Unresolved
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Term.Call
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Term.Cof
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Term.DT
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Term.Hcomp
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Term.InS
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Term.Lam
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Term.Mula
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Term.OutS
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Term.PartEl
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Term.PartTy
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Term.Path
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Term.PCall
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Term.PLam
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Term.Proj
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Term.Ref
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Term.Sub
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Term.Transp
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Term.Two
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.syntax.Term.UI
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.tyck.Elaborator.Synth
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.tyck.Elaborator
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.tyck.HCompPDF.Transps
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.tyck.Normalizer
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.tyck.Resolver
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.tyck.Unifier.FailureData
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.util.AltF7
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.util.LocalVar
-
返回此记录的字符串表示形式。
- toString() - record class中的方法 org.aya.guest0x0.util.Param
-
返回此记录的字符串表示形式。
- Transp(Term, Term.Cof) - record class的构造器 org.aya.guest0x0.syntax.Term.Transp
-
创建
Transp记录的实例。 - Transp(SourcePos, Expr, Expr) - record class的构造器 org.aya.guest0x0.syntax.Expr.Transp
-
创建
Transp记录的实例。 - Transps(Term, Term.Cof) - record class的构造器 org.aya.guest0x0.tyck.HCompPDF.Transps
-
创建
Transps记录的实例。 - Two(boolean, Term, Term) - record class的构造器 org.aya.guest0x0.syntax.Term.Two
-
创建
Two记录的实例。 - Two(boolean, SourcePos, Expr, Expr) - record class的构造器 org.aya.guest0x0.syntax.Expr.Two
-
创建
Two记录的实例。 - ty() - record class中的方法 org.aya.guest0x0.syntax.CompData
-
返回
ty记录组件的值。 - ty() - record class中的方法 org.aya.guest0x0.syntax.Expr.PartTy
-
返回
ty记录组件的值。 - ty() - record class中的方法 org.aya.guest0x0.syntax.Expr.Sub
-
返回
ty记录组件的值。 - ty() - record class中的方法 org.aya.guest0x0.syntax.Term.PartTy
-
返回
ty记录组件的值。 - ty() - record class中的方法 org.aya.guest0x0.syntax.Term.Sub
-
返回
ty记录组件的值。 - type() - record class中的方法 org.aya.guest0x0.syntax.BdryData
-
返回
type记录组件的值。 - type() - record class中的方法 org.aya.guest0x0.tyck.Elaborator.Synth
-
返回
type记录组件的值。 - type() - record class中的方法 org.aya.guest0x0.util.Param
-
返回
type记录组件的值。
U
- U - enum class 中的枚举常量 org.aya.guest0x0.syntax.Keyword
- U - 接口中的静态变量 org.aya.guest0x0.syntax.Term
- UI(Keyword) - record class的构造器 org.aya.guest0x0.syntax.Term.UI
-
创建
UI记录的实例。 - Unifier - org.aya.guest0x0.tyck中的类
- Unifier() - 类的构造器 org.aya.guest0x0.tyck.Unifier
- Unifier.FailureData - org.aya.guest0x0.tyck中的Record Class
- unlam(MutableList<LocalVar>, int, Expr) - 接口中的静态方法 org.aya.guest0x0.syntax.Expr
- unlam(MutableList<LocalVar>, Term, int) - 接口中的静态方法 org.aya.guest0x0.syntax.Term
- unpi(MutableList<LocalVar>, Term, int) - 接口中的静态方法 org.aya.guest0x0.syntax.Term
- Unresolved(SourcePos, String) - record class的构造器 org.aya.guest0x0.syntax.Expr.Unresolved
-
创建
Unresolved记录的实例。
V
- valueOf(String) - enum class中的静态方法 org.aya.guest0x0.syntax.Keyword
-
Returns the enum constant of this class with the specified name.
- valueOf(String) - enum class中的静态方法 org.aya.guest0x0.util.Distiller.Prec
-
Returns the enum constant of this class with the specified name.
- values() - enum class中的静态方法 org.aya.guest0x0.syntax.Keyword
-
Returns an array containing the constants of this enum class, in the order they are declared.
- values() - enum class中的静态方法 org.aya.guest0x0.util.Distiller.Prec
-
Returns an array containing the constants of this enum class, in the order they are declared.
- var() - record class中的方法 org.aya.guest0x0.syntax.Term.Ref
-
返回
var记录组件的值。 - var() - record class中的方法 org.aya.guest0x0.util.AltF7
-
返回
var记录组件的值。
W
- walls() - record class中的方法 org.aya.guest0x0.syntax.CompData
-
返回
walls记录组件的值。 - wellTyped() - record class中的方法 org.aya.guest0x0.tyck.Elaborator.Synth
-
返回
wellTyped记录组件的值。
X
- x() - record class中的方法 org.aya.guest0x0.syntax.Expr.Lam
-
返回
x记录组件的值。 - x() - record class中的方法 org.aya.guest0x0.syntax.Term.Lam
-
返回
x记录组件的值。 - x() - record class中的方法 org.aya.guest0x0.util.Param
-
返回
x记录组件的值。
All Classes and Interfaces|所有程序包|序列化表格