Package hydra.paths

Interface Summary

Interface	Description
SubtermLink.PartialVisitor<R>	Partial visitor over SubtermLink with a default SubtermLink.PartialVisitor.otherwise(hydra.paths.SubtermLink) branch.
SubtermLink.Visitor<R>	Visitor over SubtermLink.
SubtermStep.PartialVisitor<R>	Partial visitor over SubtermStep with a default SubtermStep.PartialVisitor.otherwise(hydra.paths.SubtermStep) branch.
SubtermStep.Visitor<R>	Visitor over SubtermStep.
SubtypeLink.PartialVisitor<R>	Partial visitor over SubtypeLink with a default SubtypeLink.PartialVisitor.otherwise(hydra.paths.SubtypeLink) branch.
SubtypeLink.Visitor<R>	Visitor over SubtypeLink.
SubtypeStep.PartialVisitor<R>	Partial visitor over SubtypeStep with a default SubtypeStep.PartialVisitor.otherwise(hydra.paths.SubtypeStep) branch.
SubtypeStep.Visitor<R>	Visitor over SubtypeStep.
TermAttribute.PartialVisitor<R>	Partial visitor over TermAttribute with a default TermAttribute.PartialVisitor.otherwise(hydra.paths.TermAttribute) branch.
TermAttribute.Visitor<R>	Visitor over TermAttribute.
TypeAttribute.PartialVisitor<R>	Partial visitor over TypeAttribute with a default TypeAttribute.PartialVisitor.otherwise(hydra.paths.TypeAttribute) branch.
TypeAttribute.Visitor<R>	Visitor over TypeAttribute.

Class Summary

Class	Description
SubtermAttribute	A link from a node to a non-term attribute of a position
SubtermAttribute.Builder	A fluent builder for SubtermAttribute.
SubtermEdge	A link from a node to another binding of the graph, addressed by the path at which it occurs
SubtermEdge.Builder	A fluent builder for SubtermEdge.
SubtermGraph	The link view of a graph as subterm nodes and their links
SubtermGraph.Builder	A fluent builder for SubtermGraph.
SubtermLink	An outgoing link of a subterm node: an edge, a property, or an attribute
SubtermLink.Attribute	A non-term attribute of a position
SubtermLink.Edge	A reference to another binding of the graph
SubtermLink.Property	A leaf term
SubtermNode	A node in a subterm graph: a binding of the graph, with its type scheme and outgoing links
SubtermNode.Builder	A fluent builder for SubtermNode.
SubtermPath	A sequence of subterm steps forming a path through a term, root first
SubtermPath.Builder	A fluent builder for SubtermPath.
SubtermProperty	A link from a node to a leaf term (literal, unit, projection, unwrap, or an unbound variable)
SubtermProperty.Builder	A fluent builder for SubtermProperty.
SubtermStep	A function which maps from a term to a particular immediate subterm
SubtermStep.AnnotatedAnnotation	Access the annotation of an annotated term
SubtermStep.AnnotatedBody	Access the body of an annotated term
SubtermStep.ApplicationArgument	Access the argument of an application term
SubtermStep.ApplicationFunction	Access the function of an application term
SubtermStep.CasesCase	Access the handler of a specific case of a case statement by field name
SubtermStep.CasesDefault	Access the default case of a case statement
SubtermStep.EitherLeft	Access the left term of an either value
SubtermStep.EitherRight	Access the right term of an either value
SubtermStep.InjectField	Access the injected term of a union injection by field name
SubtermStep.LambdaBody	Access the body of a lambda term
SubtermStep.LetBinding	Access a specific binding in a let term by variable name
SubtermStep.LetBody	Access the body of a let term
SubtermStep.ListElement	Access an element of a list by index
SubtermStep.MapKey	Access the key of the map entry at the given index
SubtermStep.MapValue	Access the value of the map entry at the given index
SubtermStep.OptionalGiven	Access the term inside a given (present) optional value
SubtermStep.PairFirst	Access the first term of a pair
SubtermStep.PairSecond	Access the second term of a pair
SubtermStep.RecordField	Access a field of a record by field name
SubtermStep.SetElement	Access an element of a set by index
SubtermStep.TypeApplicationBody	Access the body of a type application term
SubtermStep.TypeLambdaBody	Access the body of a type lambda term
SubtermStep.WrapBody	Access the body of a wrapped term
SubtypeAttribute	A link from a node to a non-type attribute of a position
SubtypeAttribute.Builder	A fluent builder for SubtypeAttribute.
SubtypeEdge	A link from a node to a named type, addressed by the path at which it occurs
SubtypeEdge.Builder	A fluent builder for SubtypeEdge.
SubtypeGraph	The link view of a schema as subtype nodes and their links
SubtypeGraph.Builder	A fluent builder for SubtypeGraph.
SubtypeLink	An outgoing link of a subtype node: an edge, a property, or an attribute
SubtypeLink.Attribute	A non-type attribute of a position
SubtypeLink.Edge	A reference to a named type
SubtypeLink.Property	A leaf type
SubtypeNode	A node in a subtype graph: a named type, with its outgoing links
SubtypeNode.Builder	A fluent builder for SubtypeNode.
SubtypePath	A sequence of subtype steps forming a path through a type, root first
SubtypePath.Builder	A fluent builder for SubtypePath.
SubtypeProperty	A link from a node to a leaf type (literal, unit, void, or a bound variable)
SubtypeProperty.Builder	A fluent builder for SubtypeProperty.
SubtypeStep	A function which maps from a type to a particular immediate subtype
SubtypeStep.AnnotatedBody	Access the body of an annotated type (the annotation is a term; there is no step for it)
SubtypeStep.ApplicationArgument	Access the argument of an application type
SubtypeStep.ApplicationFunction	Access the function of an application type
SubtypeStep.EffectValue	Access the value type of an effect type
SubtypeStep.EitherLeft	Access the left type of an either type
SubtypeStep.EitherRight	Access the right type of an either type
SubtypeStep.ForallBody	Access the body of a universally quantified type
SubtypeStep.FunctionCodomain	Access the codomain type of a function type
SubtypeStep.FunctionDomain	Access the domain type of a function type
SubtypeStep.ListElement	Access the element type of a list type
SubtypeStep.MapKeys	Access the key type of a map type
SubtypeStep.MapValues	Access the value type of a map type
SubtypeStep.OptionalElement	Access the element type of an optional type
SubtypeStep.PairFirst	Access the first type of a pair type
SubtypeStep.PairSecond	Access the second type of a pair type
SubtypeStep.RecordField	Access a field type of a record type by field name
SubtypeStep.SetElement	Access the element type of a set type
SubtypeStep.UnionField	Access a field type of a union type by field name
SubtypeStep.WrapBody	Access the body type of a wrapped type
TermAttribute	A non-term constituent of the term at a path, together with its value
TermAttribute.CasesTypeName	The name of the union type eliminated by a case statement
TermAttribute.InjectTypeName	The name of the union type of an injection
TermAttribute.LambdaDomainGiven	The (given) domain type of a lambda
TermAttribute.LambdaParameter	The parameter name of a lambda
TermAttribute.LetBindingTypeSchemeGiven	The name of a let binding together with its (given) type scheme
TermAttribute.ProjectFieldName	The name of the field projected by a projection
TermAttribute.ProjectTypeName	The name of the record type of a projection
TermAttribute.RecordTypeName	The name of the record type of a record term
TermAttribute.TypeApplicationType	The type argument of a type application term
TermAttribute.TypeLambdaParameter	The type-variable parameter of a type lambda term
TermAttribute.WrapTypeName	The name of the wrapper type of a wrapped term
TypeAttribute	A non-type constituent of the type at a path, together with its value
TypeAttribute.AnnotatedAnnotation	The annotation of an annotated type (a term; not descended into)
TypeAttribute.ForallParameter	The type-variable parameter of a universally quantified type