Class Hierarchy
- java.lang.Object
- hydra.typing.FunctionStructure<Env> (implements java.lang.Comparable<T>, java.io.Serializable)
- hydra.typing.FunctionStructure.Builder<Env>
- hydra.typing.InferenceContext (implements java.lang.Comparable<T>, java.io.Serializable)
- hydra.typing.InferenceContext.Builder
- hydra.typing.InferenceResult (implements java.lang.Comparable<T>, java.io.Serializable)
- hydra.typing.InferenceResult.Builder
- hydra.typing.Parameter (implements java.lang.Comparable<T>, java.io.Serializable)
- hydra.typing.Parameter.Builder
- hydra.typing.Result (implements java.lang.Comparable<T>, java.io.Serializable)
- hydra.typing.Result.Builder
- hydra.typing.TermSignature (implements java.lang.Comparable<T>, java.io.Serializable)
- hydra.typing.TermSignature.Builder
- hydra.typing.TermSubst (implements java.lang.Comparable<T>, java.io.Serializable)
- hydra.typing.TermSubst.Builder
- hydra.typing.TypeClass (implements java.lang.Comparable<T>, java.io.Serializable)
- hydra.typing.TypeClass.Builder
- hydra.typing.TypeConstraint (implements java.lang.Comparable<T>, java.io.Serializable)
- hydra.typing.TypeConstraint.Builder
- hydra.typing.TypeParameter (implements java.lang.Comparable<T>, java.io.Serializable)
- hydra.typing.TypeParameter.Builder
- hydra.typing.TypeSubst (implements java.lang.Comparable<T>, java.io.Serializable)
- hydra.typing.TypeSubst.Builder