Package hydra.core
Class Term.Annotated
java.lang.Object
hydra.core.Term
hydra.core.Term.Annotated
- All Implemented Interfaces:
Serializable,Comparable<Term>
- Enclosing class:
- Term
A term annotated with metadata
- See Also:
-
Nested Class Summary
Nested classes/interfaces inherited from class hydra.core.Term
Term.Annotated, Term.Application, Term.Either, Term.Function, Term.Let, Term.List, Term.Literal, Term.Map, Term.Maybe, Term.Pair, Term.PartialVisitor<R>, Term.Record, Term.Set, Term.TypeApplication, Term.TypeLambda, Term.Union, Term.Unit, Term.Variable, Term.Visitor<R>, Term.Wrap -
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary