Package hydra.paths

Interface SubtermStep.PartialVisitor<R>

All Superinterfaces:

SubtermStep.Visitor<R>

Enclosing class:

SubtermStep

public static interface SubtermStep.PartialVisitor<R>
extends SubtermStep.Visitor<R>

Method Summary

Modifier and Type	Method	Description
default R	otherwise(SubtermStep instance)
default R	visit(SubtermStep.AnnotatedBody instance)
default R	visit(SubtermStep.ApplicationArgument instance)
default R	visit(SubtermStep.ApplicationFunction instance)
default R	visit(SubtermStep.InjectionTerm instance)
default R	visit(SubtermStep.LambdaBody instance)
default R	visit(SubtermStep.LetBinding instance)
default R	visit(SubtermStep.LetBody instance)
default R	visit(SubtermStep.ListElement instance)
default R	visit(SubtermStep.MapKey instance)
default R	visit(SubtermStep.MapValue instance)
default R	visit(SubtermStep.MaybeTerm instance)
default R	visit(SubtermStep.ProductTerm instance)
default R	visit(SubtermStep.RecordField instance)
default R	visit(SubtermStep.SetElement instance)
default R	visit(SubtermStep.SumTerm instance)
default R	visit(SubtermStep.TypeApplicationTerm instance)
default R	visit(SubtermStep.TypeLambdaBody instance)
default R	visit(SubtermStep.UnionCasesBranch instance)
default R	visit(SubtermStep.UnionCasesDefault instance)
default R	visit(SubtermStep.WrappedTerm instance)

Method Detail

otherwise

default R otherwise(SubtermStep instance)

visit

default R visit(SubtermStep.AnnotatedBody instance)

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.ApplicationFunction instance)

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.ApplicationArgument instance)

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.LambdaBody instance)

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.UnionCasesDefault instance)

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.UnionCasesBranch instance)

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.LetBody instance)

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.LetBinding instance)

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.ListElement instance)

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.MapKey instance)

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.MapValue instance)

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.MaybeTerm instance)

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.ProductTerm instance)

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.RecordField instance)

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.SetElement instance)

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.SumTerm instance)

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.TypeLambdaBody instance)

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.TypeApplicationTerm instance)

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.InjectionTerm instance)

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.WrappedTerm instance)

Specified by:

visit in interface SubtermStep.Visitor<R>