模块 org.aya

程序包 org.aya.core.visitor

接口 TermFixpoint<P>

所有超级接口:

Term.Visitor<P,@NotNull Term>

所有已知子接口:

Unfolder<P>

所有已知实现类:

Normalizer, Unfolder.Tracked

public interface TermFixpoint<P>
extends Term.Visitor<P,@NotNull Term>

方法概要

修饰符和类型	方法	说明
default int	ulift()
default @NotNull Term	visitAccess(CallTerm.Access term, P p)
default @NotNull Term	visitApp(ElimTerm.App term, P p)
default @NotNull Arg<Term>	visitArg(@NotNull Arg<Term> arg, P p)
default @NotNull Term	visitConCall(CallTerm.Con conCall, P p)
default @NotNull Term	visitDataCall(CallTerm.Data dataCall, P p)
default @NotNull ErrorTerm	visitError(@NotNull ErrorTerm term, P p)
default @NotNull Term	visitFieldRef(RefTerm.Field term, P p)
default @NotNull Term	visitFnCall(@NotNull CallTerm.Fn fnCall, P p)
default @NotNull Term	visitHole(CallTerm.Hole term, P p)
default @NotNull Term	visitLam(IntroTerm.Lambda term, P p)
default @NotNull Term	visitMetaPat(@NotNull RefTerm.MetaPat metaPat, P p)
default @NotNull Term	visitNew(IntroTerm.New struct, P p)
default @NotNull Term	visitPi(FormTerm.Pi term, P p)
default @NotNull Term	visitPrimCall(@NotNull CallTerm.Prim prim, P p)
default @NotNull Term	visitProj(ElimTerm.Proj term, P p)
default @NotNull Term	visitRef(@NotNull RefTerm term, P p)
default @NotNull Term	visitSigma(FormTerm.Sigma term, P p)
default @NotNull Term	visitStructCall(CallTerm.Struct structCall, P p)
default @NotNull Term	visitTup(IntroTerm.Tuple term, P p)
default @NotNull Term	visitUniv(FormTerm.Univ term, P p)

从接口继承的方法 org.aya.core.term.Term.Visitor

traceEntrance, traceExit

方法详细资料

visitHole

@NotNull
default @NotNull Term visitHole(@NotNull
 CallTerm.Hole term,
 P p)

指定者:

visitHole 在接口中 Term.Visitor<P,@NotNull Term>

visitFieldRef

@NotNull
default @NotNull Term visitFieldRef(@NotNull
 RefTerm.Field term,
 P p)

指定者:

visitFieldRef 在接口中 Term.Visitor<P,@NotNull Term>

ulift

default int ulift()

visitDataCall

@NotNull
default @NotNull Term visitDataCall(@NotNull
 CallTerm.Data dataCall,
 P p)

指定者:

visitDataCall 在接口中 Term.Visitor<P,@NotNull Term>

visitError

@NotNull
default @NotNull ErrorTerm visitError(@NotNull
 @NotNull ErrorTerm term,
 P p)

指定者:

visitError 在接口中 Term.Visitor<P,@NotNull Term>

visitMetaPat

@NotNull
default @NotNull Term visitMetaPat(@NotNull RefTerm.MetaPat metaPat,
 P p)

指定者:

visitMetaPat 在接口中 Term.Visitor<P,@NotNull Term>

visitConCall

@NotNull
default @NotNull Term visitConCall(@NotNull
 CallTerm.Con conCall,
 P p)

指定者:

visitConCall 在接口中 Term.Visitor<P,@NotNull Term>

visitStructCall

@NotNull
default @NotNull Term visitStructCall(@NotNull
 CallTerm.Struct structCall,
 P p)

指定者:

visitStructCall 在接口中 Term.Visitor<P,@NotNull Term>

visitLam

@NotNull
default @NotNull Term visitLam(@NotNull
 IntroTerm.Lambda term,
 P p)

指定者:

visitLam 在接口中 Term.Visitor<P,@NotNull Term>

visitUniv

@NotNull
default @NotNull Term visitUniv(@NotNull
 FormTerm.Univ term,
 P p)

指定者:

visitUniv 在接口中 Term.Visitor<P,@NotNull Term>

visitPi

@NotNull
default @NotNull Term visitPi(@NotNull
 FormTerm.Pi term,
 P p)

指定者:

visitPi 在接口中 Term.Visitor<P,@NotNull Term>

visitSigma

@NotNull
default @NotNull Term visitSigma(@NotNull
 FormTerm.Sigma term,
 P p)

指定者:

visitSigma 在接口中 Term.Visitor<P,@NotNull Term>

visitRef

@NotNull
default @NotNull Term visitRef(@NotNull
 @NotNull RefTerm term,
 P p)

指定者:

visitRef 在接口中 Term.Visitor<P,@NotNull Term>

visitArg

@NotNull
default @NotNull Arg<Term> visitArg(@NotNull
 @NotNull Arg<Term> arg,
 P p)

visitApp

@NotNull
default @NotNull Term visitApp(@NotNull
 ElimTerm.App term,
 P p)

指定者:

visitApp 在接口中 Term.Visitor<P,@NotNull Term>

visitFnCall

@NotNull
default @NotNull Term visitFnCall(@NotNull CallTerm.Fn fnCall,
 P p)

指定者:

visitFnCall 在接口中 Term.Visitor<P,@NotNull Term>

visitPrimCall

@NotNull
default @NotNull Term visitPrimCall(@NotNull CallTerm.Prim prim,
 P p)

指定者:

visitPrimCall 在接口中 Term.Visitor<P,@NotNull Term>

visitTup

@NotNull
default @NotNull Term visitTup(@NotNull
 IntroTerm.Tuple term,
 P p)

指定者:

visitTup 在接口中 Term.Visitor<P,@NotNull Term>

visitNew

@NotNull
default @NotNull Term visitNew(@NotNull
 IntroTerm.New struct,
 P p)

指定者:

visitNew 在接口中 Term.Visitor<P,@NotNull Term>

visitProj

@NotNull
default @NotNull Term visitProj(@NotNull
 ElimTerm.Proj term,
 P p)

指定者:

visitProj 在接口中 Term.Visitor<P,@NotNull Term>

visitAccess

@NotNull
default @NotNull Term visitAccess(@NotNull
 CallTerm.Access term,
 P p)

指定者:

visitAccess 在接口中 Term.Visitor<P,@NotNull Term>