Module aya.base

Package org.aya.core.visitor

Interface DefConsumer

All Superinterfaces:

Consumer<Term>, TermConsumer

All Known Implementing Classes:

CallResolver

public interface DefConsumer
extends TermConsumer

Method Summary

Modifier and Type	Method	Description
default void	accept(@NotNull GenericDef def)
default void	partial(org.aya.guest0x0.cubical.Partial<Term> clauses)
default void	visitMatching(Term.Matching matching)
default void	visitPat(@NotNull Pat pat)

Methods inherited from interface java.util.function.Consumer

andThen

Methods inherited from interface org.aya.core.visitor.TermConsumer

accept, post, pre

Method Details

visitMatching

default void visitMatching(@NotNull
 Term.Matching matching)

visitPat

default void visitPat(@NotNull
 @NotNull Pat pat)

accept

default void accept(@NotNull
 @NotNull GenericDef def)

partial

default void partial(org.aya.guest0x0.cubical.Partial<Term> clauses)