Package hydra.mantle

Interface TermVariant.PartialVisitor<R>

All Superinterfaces:

TermVariant.Visitor<R>

Enclosing class:

TermVariant

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

Method Summary

Modifier and Type	Method	Description
default R	otherwise(TermVariant instance)
default R	visit(TermVariant.Annotated instance)
default R	visit(TermVariant.Application instance)
default R	visit(TermVariant.Function instance)
default R	visit(TermVariant.Let instance)
default R	visit(TermVariant.List instance)
default R	visit(TermVariant.Literal instance)
default R	visit(TermVariant.Map instance)
default R	visit(TermVariant.Optional instance)
default R	visit(TermVariant.Product instance)
default R	visit(TermVariant.Record instance)
default R	visit(TermVariant.Set instance)
default R	visit(TermVariant.Sum instance)
default R	visit(TermVariant.TypeAbstraction instance)
default R	visit(TermVariant.TypeApplication instance)
default R	visit(TermVariant.Typed instance)
default R	visit(TermVariant.Union instance)
default R	visit(TermVariant.Variable instance)
default R	visit(TermVariant.Wrap instance)

Method Detail

otherwise

default R otherwise(TermVariant instance)

visit

default R visit(TermVariant.Annotated instance)

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Application instance)

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Function instance)

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Let instance)

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.List instance)

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Literal instance)

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Map instance)

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Optional instance)

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Product instance)

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Record instance)

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Set instance)

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Sum instance)

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.TypeAbstraction instance)

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.TypeApplication instance)

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Typed instance)

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Union instance)

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Variable instance)

Specified by:

visit in interface TermVariant.Visitor<R>

visit

default R visit(TermVariant.Wrap instance)

Specified by:

visit in interface TermVariant.Visitor<R>