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>

Partial visitor over SubtermStep with a default otherwise(hydra.paths.SubtermStep) branch.

Method Summary

Modifier and Type	Method	Description
default R	otherwise(SubtermStep instance)	Default branch for unhandled cases.
default R	visit(SubtermStep.AnnotatedBody instance)	Visit the SubtermStep.AnnotatedBody case.
default R	visit(SubtermStep.ApplicationArgument instance)	Visit the SubtermStep.ApplicationArgument case.
default R	visit(SubtermStep.ApplicationFunction instance)	Visit the SubtermStep.ApplicationFunction case.
default R	visit(SubtermStep.InjectionTerm instance)	Visit the SubtermStep.InjectionTerm case.
default R	visit(SubtermStep.LambdaBody instance)	Visit the SubtermStep.LambdaBody case.
default R	visit(SubtermStep.LetBinding instance)	Visit the SubtermStep.LetBinding case.
default R	visit(SubtermStep.LetBody instance)	Visit the SubtermStep.LetBody case.
default R	visit(SubtermStep.ListElement instance)	Visit the SubtermStep.ListElement case.
default R	visit(SubtermStep.MapKey instance)	Visit the SubtermStep.MapKey case.
default R	visit(SubtermStep.MapValue instance)	Visit the SubtermStep.MapValue case.
default R	visit(SubtermStep.OptionalTerm instance)	Visit the SubtermStep.OptionalTerm case.
default R	visit(SubtermStep.ProductTerm instance)	Visit the SubtermStep.ProductTerm case.
default R	visit(SubtermStep.RecordField instance)	Visit the SubtermStep.RecordField case.
default R	visit(SubtermStep.SetElement instance)	Visit the SubtermStep.SetElement case.
default R	visit(SubtermStep.SumTerm instance)	Visit the SubtermStep.SumTerm case.
default R	visit(SubtermStep.TypeApplicationTerm instance)	Visit the SubtermStep.TypeApplicationTerm case.
default R	visit(SubtermStep.TypeLambdaBody instance)	Visit the SubtermStep.TypeLambdaBody case.
default R	visit(SubtermStep.UnionCasesBranch instance)	Visit the SubtermStep.UnionCasesBranch case.
default R	visit(SubtermStep.UnionCasesDefault instance)	Visit the SubtermStep.UnionCasesDefault case.
default R	visit(SubtermStep.WrappedTerm instance)	Visit the SubtermStep.WrappedTerm case.

Method Detail

otherwise

default R otherwise(SubtermStep instance)

Default branch for unhandled cases.

visit

default R visit(SubtermStep.AnnotatedBody instance)

Visit the SubtermStep.AnnotatedBody case.

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.ApplicationFunction instance)

Visit the SubtermStep.ApplicationFunction case.

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.ApplicationArgument instance)

Visit the SubtermStep.ApplicationArgument case.

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.LambdaBody instance)

Visit the SubtermStep.LambdaBody case.

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.UnionCasesDefault instance)

Visit the SubtermStep.UnionCasesDefault case.

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.UnionCasesBranch instance)

Visit the SubtermStep.UnionCasesBranch case.

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.LetBody instance)

Visit the SubtermStep.LetBody case.

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.LetBinding instance)

Visit the SubtermStep.LetBinding case.

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.ListElement instance)

Visit the SubtermStep.ListElement case.

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.MapKey instance)

Visit the SubtermStep.MapKey case.

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.MapValue instance)

Visit the SubtermStep.MapValue case.

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.OptionalTerm instance)

Visit the SubtermStep.OptionalTerm case.

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.ProductTerm instance)

Visit the SubtermStep.ProductTerm case.

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.RecordField instance)

Visit the SubtermStep.RecordField case.

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.SetElement instance)

Visit the SubtermStep.SetElement case.

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.SumTerm instance)

Visit the SubtermStep.SumTerm case.

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.TypeLambdaBody instance)

Visit the SubtermStep.TypeLambdaBody case.

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.TypeApplicationTerm instance)

Visit the SubtermStep.TypeApplicationTerm case.

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.InjectionTerm instance)

Visit the SubtermStep.InjectionTerm case.

Specified by:

visit in interface SubtermStep.Visitor<R>

visit

default R visit(SubtermStep.WrappedTerm instance)

Visit the SubtermStep.WrappedTerm case.

Specified by:

visit in interface SubtermStep.Visitor<R>