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

All Methods Instance Methods Default Methods
Modifier and Type	Method	Description
`default R`	`otherwise(SubtermStep instance)`	Default branch for unhandled cases.
`default R`	`visit(SubtermStep.AnnotatedAnnotation instance)`	Visit the `SubtermStep.AnnotatedAnnotation` case.
`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.CasesCase instance)`	Visit the `SubtermStep.CasesCase` case.
`default R`	`visit(SubtermStep.CasesDefault instance)`	Visit the `SubtermStep.CasesDefault` case.
`default R`	`visit(SubtermStep.EitherLeft instance)`	Visit the `SubtermStep.EitherLeft` case.
`default R`	`visit(SubtermStep.EitherRight instance)`	Visit the `SubtermStep.EitherRight` case.
`default R`	`visit(SubtermStep.InjectField instance)`	Visit the `SubtermStep.InjectField` 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.OptionalGiven instance)`	Visit the `SubtermStep.OptionalGiven` case.
`default R`	`visit(SubtermStep.PairFirst instance)`	Visit the `SubtermStep.PairFirst` case.
`default R`	`visit(SubtermStep.PairSecond instance)`	Visit the `SubtermStep.PairSecond` 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.TypeApplicationBody instance)`	Visit the `SubtermStep.TypeApplicationBody` case.
`default R`	`visit(SubtermStep.TypeLambdaBody instance)`	Visit the `SubtermStep.TypeLambdaBody` case.
`default R`	`visit(SubtermStep.WrapBody instance)`	Visit the `SubtermStep.WrapBody` case.

- Method Detail
  - otherwise
```
default R otherwise(SubtermStep instance)
```
    Default branch for unhandled cases.
  - visit
```
default R visit(SubtermStep.AnnotatedAnnotation instance)
```
    Visit the SubtermStep.AnnotatedAnnotation case.
    
    Specified by:
    
    visit in interface SubtermStep.Visitor<R>
  - 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.ApplicationArgument instance)
```
    Visit the SubtermStep.ApplicationArgument 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.CasesCase instance)
```
    Visit the SubtermStep.CasesCase case.
    
    Specified by:
    
    visit in interface SubtermStep.Visitor<R>
  - visit
```
default R visit(SubtermStep.CasesDefault instance)
```
    Visit the SubtermStep.CasesDefault case.
    
    Specified by:
    
    visit in interface SubtermStep.Visitor<R>
  - visit
```
default R visit(SubtermStep.EitherLeft instance)
```
    Visit the SubtermStep.EitherLeft case.
    
    Specified by:
    
    visit in interface SubtermStep.Visitor<R>
  - visit
```
default R visit(SubtermStep.EitherRight instance)
```
    Visit the SubtermStep.EitherRight case.
    
    Specified by:
    
    visit in interface SubtermStep.Visitor<R>
  - visit
```
default R visit(SubtermStep.InjectField instance)
```
    Visit the SubtermStep.InjectField 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.LetBinding instance)
```
    Visit the SubtermStep.LetBinding 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.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.OptionalGiven instance)
```
    Visit the SubtermStep.OptionalGiven case.
    
    Specified by:
    
    visit in interface SubtermStep.Visitor<R>
  - visit
```
default R visit(SubtermStep.PairFirst instance)
```
    Visit the SubtermStep.PairFirst case.
    
    Specified by:
    
    visit in interface SubtermStep.Visitor<R>
  - visit
```
default R visit(SubtermStep.PairSecond instance)
```
    Visit the SubtermStep.PairSecond 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.TypeApplicationBody instance)
```
    Visit the SubtermStep.TypeApplicationBody 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.WrapBody instance)
```
    Visit the SubtermStep.WrapBody case.
    
    Specified by:
    
    visit in interface SubtermStep.Visitor<R>

Interface SubtermStep.PartialVisitor<R>

Method Summary

Method Detail

otherwise

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit