Package hydra.variants

Interface TermVariant.PartialVisitor<R>

All Superinterfaces:

TermVariant.Visitor<R>

Enclosing class:

TermVariant

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

Partial visitor over TermVariant with a default otherwise(hydra.variants.TermVariant) branch.

Method Summary

Modifier and Type	Method	Description
default R	otherwise(TermVariant instance)	Default branch for unhandled cases.
default R	visit(TermVariant.Annotated instance)	Visit the TermVariant.Annotated case.
default R	visit(TermVariant.Application instance)	Visit the TermVariant.Application case.
default R	visit(TermVariant.Cases instance)	Visit the TermVariant.Cases case.
default R	visit(TermVariant.Either instance)	Visit the TermVariant.Either case.
default R	visit(TermVariant.Inject instance)	Visit the TermVariant.Inject case.
default R	visit(TermVariant.Lambda instance)	Visit the TermVariant.Lambda case.
default R	visit(TermVariant.Let instance)	Visit the TermVariant.Let case.
default R	visit(TermVariant.List instance)	Visit the TermVariant.List case.
default R	visit(TermVariant.Literal instance)	Visit the TermVariant.Literal case.
default R	visit(TermVariant.Map instance)	Visit the TermVariant.Map case.
default R	visit(TermVariant.Optional instance)	Visit the TermVariant.Optional case.
default R	visit(TermVariant.Pair instance)	Visit the TermVariant.Pair case.
default R	visit(TermVariant.Project instance)	Visit the TermVariant.Project case.
default R	visit(TermVariant.Record instance)	Visit the TermVariant.Record case.
default R	visit(TermVariant.Set instance)	Visit the TermVariant.Set case.
default R	visit(TermVariant.TypeApplication instance)	Visit the TermVariant.TypeApplication case.
default R	visit(TermVariant.TypeLambda instance)	Visit the TermVariant.TypeLambda case.
default R	visit(TermVariant.Unit instance)	Visit the TermVariant.Unit case.
default R	visit(TermVariant.Unwrap instance)	Visit the TermVariant.Unwrap case.
default R	visit(TermVariant.Variable instance)	Visit the TermVariant.Variable case.
default R	visit(TermVariant.Wrap instance)	Visit the TermVariant.Wrap case.

Method Detail

otherwise

default R otherwise(TermVariant instance)

Default branch for unhandled cases.

visit

default R visit(TermVariant.Annotated instance)

Visit the TermVariant.Annotated case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Application instance)

Visit the TermVariant.Application case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Cases instance)

Visit the TermVariant.Cases case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Either instance)

Visit the TermVariant.Either case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Inject instance)

Visit the TermVariant.Inject case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Lambda instance)

Visit the TermVariant.Lambda case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Let instance)

Visit the TermVariant.Let case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.List instance)

Visit the TermVariant.List case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Literal instance)

Visit the TermVariant.Literal case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Map instance)

Visit the TermVariant.Map case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Optional instance)

Visit the TermVariant.Optional case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Pair instance)

Visit the TermVariant.Pair case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Project instance)

Visit the TermVariant.Project case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Record instance)

Visit the TermVariant.Record case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Set instance)

Visit the TermVariant.Set case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.TypeApplication instance)

Visit the TermVariant.TypeApplication case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.TypeLambda instance)

Visit the TermVariant.TypeLambda case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Unit instance)

Visit the TermVariant.Unit case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Unwrap instance)

Visit the TermVariant.Unwrap case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Variable instance)

Visit the TermVariant.Variable case.

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Wrap instance)

Visit the TermVariant.Wrap case.

Specified by:

visit in interface TermVariant.Visitor<R>