Package hydra.core

Interface Term.Visitor<R>

All Known Subinterfaces:

Term.PartialVisitor<R>

Enclosing class:

Term

public static interface Term.Visitor<R>

Visitor over Term.

Method Summary

Modifier and Type	Method	Description
R	visit(Term.Annotated instance)	Visit the Term.Annotated case.
R	visit(Term.Application instance)	Visit the Term.Application case.
R	visit(Term.Cases instance)	Visit the Term.Cases case.
R	visit(Term.Either instance)	Visit the Term.Either case.
R	visit(Term.Inject instance)	Visit the Term.Inject case.
R	visit(Term.Lambda instance)	Visit the Term.Lambda case.
R	visit(Term.Let instance)	Visit the Term.Let case.
R	visit(Term.List instance)	Visit the Term.List case.
R	visit(Term.Literal instance)	Visit the Term.Literal case.
R	visit(Term.Map instance)	Visit the Term.Map case.
R	visit(Term.Optional instance)	Visit the Term.Optional case.
R	visit(Term.Pair instance)	Visit the Term.Pair case.
R	visit(Term.Project instance)	Visit the Term.Project case.
R	visit(Term.Record instance)	Visit the Term.Record case.
R	visit(Term.Set instance)	Visit the Term.Set case.
R	visit(Term.TypeApplication instance)	Visit the Term.TypeApplication case.
R	visit(Term.TypeLambda instance)	Visit the Term.TypeLambda case.
R	visit(Term.Unit instance)	Visit the Term.Unit case.
R	visit(Term.Unwrap instance)	Visit the Term.Unwrap case.
R	visit(Term.Variable instance)	Visit the Term.Variable case.
R	visit(Term.Wrap instance)	Visit the Term.Wrap case.

Method Detail

visit

R visit(Term.Annotated instance)

Visit the Term.Annotated case.

visit

R visit(Term.Application instance)

Visit the Term.Application case.

visit

R visit(Term.Cases instance)

Visit the Term.Cases case.

visit

R visit(Term.Either instance)

Visit the Term.Either case.

visit

R visit(Term.Inject instance)

Visit the Term.Inject case.

visit

R visit(Term.Lambda instance)

Visit the Term.Lambda case.

visit

R visit(Term.Let instance)

Visit the Term.Let case.

visit

R visit(Term.List instance)

Visit the Term.List case.

visit

R visit(Term.Literal instance)

Visit the Term.Literal case.

visit

R visit(Term.Map instance)

Visit the Term.Map case.

visit

R visit(Term.Optional instance)

Visit the Term.Optional case.

visit

R visit(Term.Pair instance)

Visit the Term.Pair case.

visit

R visit(Term.Project instance)

Visit the Term.Project case.

visit

R visit(Term.Record instance)

Visit the Term.Record case.

visit

R visit(Term.Set instance)

Visit the Term.Set case.

visit

R visit(Term.TypeApplication instance)

Visit the Term.TypeApplication case.

visit

R visit(Term.TypeLambda instance)

Visit the Term.TypeLambda case.

visit

R visit(Term.Unit instance)

Visit the Term.Unit case.

visit

R visit(Term.Unwrap instance)

Visit the Term.Unwrap case.

visit

R visit(Term.Variable instance)

Visit the Term.Variable case.

visit

R visit(Term.Wrap instance)

Visit the Term.Wrap case.