Package hydra.mantle

Interface TermAccessor.PartialVisitor<R>

All Superinterfaces:

TermAccessor.Visitor<R>

Enclosing class:

TermAccessor

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

Method Summary

Modifier and Type	Method	Description
default R	otherwise(TermAccessor instance)
default R	visit(TermAccessor.AnnotatedSubject instance)
default R	visit(TermAccessor.ApplicationArgument instance)
default R	visit(TermAccessor.ApplicationFunction instance)
default R	visit(TermAccessor.InjectionTerm instance)
default R	visit(TermAccessor.LambdaBody instance)
default R	visit(TermAccessor.LetBinding instance)
default R	visit(TermAccessor.LetEnvironment instance)
default R	visit(TermAccessor.ListElement instance)
default R	visit(TermAccessor.ListFold instance)
default R	visit(TermAccessor.MapKey instance)
default R	visit(TermAccessor.MapValue instance)
default R	visit(TermAccessor.OptionalCasesJust instance)
default R	visit(TermAccessor.OptionalCasesNothing instance)
default R	visit(TermAccessor.OptionalTerm instance)
default R	visit(TermAccessor.ProductTerm instance)
default R	visit(TermAccessor.RecordField instance)
default R	visit(TermAccessor.SetElement instance)
default R	visit(TermAccessor.SumTerm instance)
default R	visit(TermAccessor.TypeAbstractionBody instance)
default R	visit(TermAccessor.TypeApplicationTerm instance)
default R	visit(TermAccessor.TypedTerm instance)
default R	visit(TermAccessor.UnionCasesBranch instance)
default R	visit(TermAccessor.UnionCasesDefault instance)
default R	visit(TermAccessor.WrappedTerm instance)

Method Detail

otherwise

default R otherwise(TermAccessor instance)

visit

default R visit(TermAccessor.AnnotatedSubject instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.ApplicationFunction instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.ApplicationArgument instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.LambdaBody instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.ListFold instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.OptionalCasesNothing instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.OptionalCasesJust instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.UnionCasesDefault instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.UnionCasesBranch instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.LetEnvironment instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.LetBinding instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.ListElement instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.MapKey instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.MapValue instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.OptionalTerm instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.ProductTerm instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.RecordField instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.SetElement instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.SumTerm instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.TypeAbstractionBody instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.TypeApplicationTerm instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.TypedTerm instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.InjectionTerm instance)

Specified by:

visit in interface TermAccessor.Visitor<R>

visit

default R visit(TermAccessor.WrappedTerm instance)

Specified by:

visit in interface TermAccessor.Visitor<R>