Package hydra.dsl

Interface Typing

public interface Typing

DSL functions for hydra.typing

Method Summary

Static Methods

Modifier and Type	Method	Description
static <Env> TypedTerm<FunctionStructure<Env>>	functionStructure(TypedTerm<java.util.List<Name>> typeParams, TypedTerm<java.util.List<Name>> params, TypedTerm<java.util.List<Binding>> bindings, TypedTerm<Term> body, TypedTerm<java.util.List<Type>> domains, TypedTerm<Optional<Type>> codomain, TypedTerm<Env> environment)	DSL constructor for hydra.typing.FunctionStructure
static <Env> TypedTerm<java.util.List<Binding>>	functionStructureBindings(TypedTerm<FunctionStructure<Env>> x)	DSL accessor for the bindings field of hydra.typing.FunctionStructure
static <Env> TypedTerm<Term>	functionStructureBody(TypedTerm<FunctionStructure<Env>> x)	DSL accessor for the body field of hydra.typing.FunctionStructure
static <Env> TypedTerm<Optional<Type>>	functionStructureCodomain(TypedTerm<FunctionStructure<Env>> x)	DSL accessor for the codomain field of hydra.typing.FunctionStructure
static <Env> TypedTerm<java.util.List<Type>>	functionStructureDomains(TypedTerm<FunctionStructure<Env>> x)	DSL accessor for the domains field of hydra.typing.FunctionStructure
static <Env> TypedTerm<Env>	functionStructureEnvironment(TypedTerm<FunctionStructure<Env>> x)	DSL accessor for the environment field of hydra.typing.FunctionStructure
static <Env> TypedTerm<java.util.List<Name>>	functionStructureParams(TypedTerm<FunctionStructure<Env>> x)	DSL accessor for the params field of hydra.typing.FunctionStructure
static <Env> TypedTerm<java.util.List<Name>>	functionStructureTypeParams(TypedTerm<FunctionStructure<Env>> x)	DSL accessor for the typeParams field of hydra.typing.FunctionStructure
static <Env> TypedTerm<FunctionStructure<Env>>	functionStructureWithBindings(TypedTerm<FunctionStructure<Env>> original, TypedTerm<java.util.List<Binding>> newVal)	DSL updater for the bindings field of hydra.typing.FunctionStructure
static <Env> TypedTerm<FunctionStructure<Env>>	functionStructureWithBody(TypedTerm<FunctionStructure<Env>> original, TypedTerm<Term> newVal)	DSL updater for the body field of hydra.typing.FunctionStructure
static <Env> TypedTerm<FunctionStructure<Env>>	functionStructureWithCodomain(TypedTerm<FunctionStructure<Env>> original, TypedTerm<Optional<Type>> newVal)	DSL updater for the codomain field of hydra.typing.FunctionStructure
static <Env> TypedTerm<FunctionStructure<Env>>	functionStructureWithDomains(TypedTerm<FunctionStructure<Env>> original, TypedTerm<java.util.List<Type>> newVal)	DSL updater for the domains field of hydra.typing.FunctionStructure
static <Env> TypedTerm<FunctionStructure<Env>>	functionStructureWithEnvironment(TypedTerm<FunctionStructure<Env>> original, TypedTerm<Env> newVal)	DSL updater for the environment field of hydra.typing.FunctionStructure
static <Env> TypedTerm<FunctionStructure<Env>>	functionStructureWithParams(TypedTerm<FunctionStructure<Env>> original, TypedTerm<java.util.List<Name>> newVal)	DSL updater for the params field of hydra.typing.FunctionStructure
static <Env> TypedTerm<FunctionStructure<Env>>	functionStructureWithTypeParams(TypedTerm<FunctionStructure<Env>> original, TypedTerm<java.util.List<Name>> newVal)	DSL updater for the typeParams field of hydra.typing.FunctionStructure
static TypedTerm<InferenceContext>	inferenceContext(TypedTerm<java.lang.Integer> freshTypeVariableCount, TypedTerm<java.util.List<SubtermStep>> trace)	DSL constructor for hydra.typing.InferenceContext
static TypedTerm<java.lang.Integer>	inferenceContextFreshTypeVariableCount(TypedTerm<InferenceContext> x)	DSL accessor for the freshTypeVariableCount field of hydra.typing.InferenceContext
static TypedTerm<java.util.List<SubtermStep>>	inferenceContextTrace(TypedTerm<InferenceContext> x)	DSL accessor for the trace field of hydra.typing.InferenceContext
static TypedTerm<InferenceContext>	inferenceContextWithFreshTypeVariableCount(TypedTerm<InferenceContext> original, TypedTerm<java.lang.Integer> newVal)	DSL updater for the freshTypeVariableCount field of hydra.typing.InferenceContext
static TypedTerm<InferenceContext>	inferenceContextWithTrace(TypedTerm<InferenceContext> original, TypedTerm<java.util.List<SubtermStep>> newVal)	DSL updater for the trace field of hydra.typing.InferenceContext
static TypedTerm<InferenceResult>	inferenceResult(TypedTerm<Term> term, TypedTerm<Type> type, TypedTerm<TypeSubst> subst, TypedTerm<java.util.Map<Name,TypeVariableConstraints>> classConstraints, TypedTerm<InferenceContext> context)	DSL constructor for hydra.typing.InferenceResult
static TypedTerm<java.util.Map<Name,TypeVariableConstraints>>	inferenceResultClassConstraints(TypedTerm<InferenceResult> x)	DSL accessor for the classConstraints field of hydra.typing.InferenceResult
static TypedTerm<InferenceContext>	inferenceResultContext(TypedTerm<InferenceResult> x)	DSL accessor for the context field of hydra.typing.InferenceResult
static TypedTerm<TypeSubst>	inferenceResultSubst(TypedTerm<InferenceResult> x)	DSL accessor for the subst field of hydra.typing.InferenceResult
static TypedTerm<Term>	inferenceResultTerm(TypedTerm<InferenceResult> x)	DSL accessor for the term field of hydra.typing.InferenceResult
static TypedTerm<Type>	inferenceResultType(TypedTerm<InferenceResult> x)	DSL accessor for the type field of hydra.typing.InferenceResult
static TypedTerm<InferenceResult>	inferenceResultWithClassConstraints(TypedTerm<InferenceResult> original, TypedTerm<java.util.Map<Name,TypeVariableConstraints>> newVal)	DSL updater for the classConstraints field of hydra.typing.InferenceResult
static TypedTerm<InferenceResult>	inferenceResultWithContext(TypedTerm<InferenceResult> original, TypedTerm<InferenceContext> newVal)	DSL updater for the context field of hydra.typing.InferenceResult
static TypedTerm<InferenceResult>	inferenceResultWithSubst(TypedTerm<InferenceResult> original, TypedTerm<TypeSubst> newVal)	DSL updater for the subst field of hydra.typing.InferenceResult
static TypedTerm<InferenceResult>	inferenceResultWithTerm(TypedTerm<InferenceResult> original, TypedTerm<Term> newVal)	DSL updater for the term field of hydra.typing.InferenceResult
static TypedTerm<InferenceResult>	inferenceResultWithType(TypedTerm<InferenceResult> original, TypedTerm<Type> newVal)	DSL updater for the type field of hydra.typing.InferenceResult
static TypedTerm<Parameter>	parameter(TypedTerm<Name> name, TypedTerm<Optional<java.lang.String>> description, TypedTerm<Type> type, TypedTerm<java.lang.Boolean> isLazy)	DSL constructor for hydra.typing.Parameter
static TypedTerm<Optional<java.lang.String>>	parameterDescription(TypedTerm<Parameter> x)	DSL accessor for the description field of hydra.typing.Parameter
static TypedTerm<java.lang.Boolean>	parameterIsLazy(TypedTerm<Parameter> x)	DSL accessor for the isLazy field of hydra.typing.Parameter
static TypedTerm<Name>	parameterName(TypedTerm<Parameter> x)	DSL accessor for the name field of hydra.typing.Parameter
static TypedTerm<Type>	parameterType(TypedTerm<Parameter> x)	DSL accessor for the type field of hydra.typing.Parameter
static TypedTerm<Parameter>	parameterWithDescription(TypedTerm<Parameter> original, TypedTerm<Optional<java.lang.String>> newVal)	DSL updater for the description field of hydra.typing.Parameter
static TypedTerm<Parameter>	parameterWithIsLazy(TypedTerm<Parameter> original, TypedTerm<java.lang.Boolean> newVal)	DSL updater for the isLazy field of hydra.typing.Parameter
static TypedTerm<Parameter>	parameterWithName(TypedTerm<Parameter> original, TypedTerm<Name> newVal)	DSL updater for the name field of hydra.typing.Parameter
static TypedTerm<Parameter>	parameterWithType(TypedTerm<Parameter> original, TypedTerm<Type> newVal)	DSL updater for the type field of hydra.typing.Parameter
static TypedTerm<Result>	result(TypedTerm<Optional<java.lang.String>> description, TypedTerm<Type> type)	DSL constructor for hydra.typing.Result
static TypedTerm<Optional<java.lang.String>>	resultDescription(TypedTerm<Result> x)	DSL accessor for the description field of hydra.typing.Result
static TypedTerm<Type>	resultType(TypedTerm<Result> x)	DSL accessor for the type field of hydra.typing.Result
static TypedTerm<Result>	resultWithDescription(TypedTerm<Result> original, TypedTerm<Optional<java.lang.String>> newVal)	DSL updater for the description field of hydra.typing.Result
static TypedTerm<Result>	resultWithType(TypedTerm<Result> original, TypedTerm<Type> newVal)	DSL updater for the type field of hydra.typing.Result
static TypedTerm<TermSignature>	termSignature(TypedTerm<java.util.List<TypeParameter>> typeParameters, TypedTerm<java.util.List<Parameter>> parameters, TypedTerm<Result> result)	DSL constructor for hydra.typing.TermSignature
static TypedTerm<java.util.List<Parameter>>	termSignatureParameters(TypedTerm<TermSignature> x)	DSL accessor for the parameters field of hydra.typing.TermSignature
static TypedTerm<Result>	termSignatureResult(TypedTerm<TermSignature> x)	DSL accessor for the result field of hydra.typing.TermSignature
static TypedTerm<java.util.List<TypeParameter>>	termSignatureTypeParameters(TypedTerm<TermSignature> x)	DSL accessor for the typeParameters field of hydra.typing.TermSignature
static TypedTerm<TermSignature>	termSignatureWithParameters(TypedTerm<TermSignature> original, TypedTerm<java.util.List<Parameter>> newVal)	DSL updater for the parameters field of hydra.typing.TermSignature
static TypedTerm<TermSignature>	termSignatureWithResult(TypedTerm<TermSignature> original, TypedTerm<Result> newVal)	DSL updater for the result field of hydra.typing.TermSignature
static TypedTerm<TermSignature>	termSignatureWithTypeParameters(TypedTerm<TermSignature> original, TypedTerm<java.util.List<TypeParameter>> newVal)	DSL updater for the typeParameters field of hydra.typing.TermSignature
static TypedTerm<TermSubst>	termSubst(TypedTerm<java.util.Map<Name,Term>> x)	DSL constructor for the hydra.typing.TermSubst wrapper
static TypedTerm<TypeClass>	typeClass(TypedTerm<java.lang.String> description)	DSL constructor for hydra.typing.TypeClass
static TypedTerm<java.lang.String>	typeClassDescription(TypedTerm<TypeClass> x)	DSL accessor for the description field of hydra.typing.TypeClass
static TypedTerm<TypeClass>	typeClassWithDescription(TypedTerm<TypeClass> original, TypedTerm<java.lang.String> newVal)	DSL updater for the description field of hydra.typing.TypeClass
static TypedTerm<TypeConstraint>	typeConstraint(TypedTerm<Type> left, TypedTerm<Type> right, TypedTerm<java.lang.String> comment)	DSL constructor for hydra.typing.TypeConstraint
static TypedTerm<java.lang.String>	typeConstraintComment(TypedTerm<TypeConstraint> x)	DSL accessor for the comment field of hydra.typing.TypeConstraint
static TypedTerm<Type>	typeConstraintLeft(TypedTerm<TypeConstraint> x)	DSL accessor for the left field of hydra.typing.TypeConstraint
static TypedTerm<Type>	typeConstraintRight(TypedTerm<TypeConstraint> x)	DSL accessor for the right field of hydra.typing.TypeConstraint
static TypedTerm<TypeConstraint>	typeConstraintWithComment(TypedTerm<TypeConstraint> original, TypedTerm<java.lang.String> newVal)	DSL updater for the comment field of hydra.typing.TypeConstraint
static TypedTerm<TypeConstraint>	typeConstraintWithLeft(TypedTerm<TypeConstraint> original, TypedTerm<Type> newVal)	DSL updater for the left field of hydra.typing.TypeConstraint
static TypedTerm<TypeConstraint>	typeConstraintWithRight(TypedTerm<TypeConstraint> original, TypedTerm<Type> newVal)	DSL updater for the right field of hydra.typing.TypeConstraint
static TypedTerm<TypeParameter>	typeParameter(TypedTerm<Name> name, TypedTerm<java.util.List<TypeClassConstraint>> constraints)	DSL constructor for hydra.typing.TypeParameter
static TypedTerm<java.util.List<TypeClassConstraint>>	typeParameterConstraints(TypedTerm<TypeParameter> x)	DSL accessor for the constraints field of hydra.typing.TypeParameter
static TypedTerm<Name>	typeParameterName(TypedTerm<TypeParameter> x)	DSL accessor for the name field of hydra.typing.TypeParameter
static TypedTerm<TypeParameter>	typeParameterWithConstraints(TypedTerm<TypeParameter> original, TypedTerm<java.util.List<TypeClassConstraint>> newVal)	DSL updater for the constraints field of hydra.typing.TypeParameter
static TypedTerm<TypeParameter>	typeParameterWithName(TypedTerm<TypeParameter> original, TypedTerm<Name> newVal)	DSL updater for the name field of hydra.typing.TypeParameter
static TypedTerm<TypeSubst>	typeSubst(TypedTerm<java.util.Map<Name,Type>> x)	DSL constructor for the hydra.typing.TypeSubst wrapper
static TypedTerm<java.util.Map<Name,Term>>	unTermSubst(TypedTerm<TermSubst> x)	DSL accessor for the body of hydra.typing.TermSubst
static TypedTerm<java.util.Map<Name,Type>>	unTypeSubst(TypedTerm<TypeSubst> x)	DSL accessor for the body of hydra.typing.TypeSubst

Method Detail

functionStructure

static <Env> TypedTerm<FunctionStructure<Env>> functionStructure(TypedTerm<java.util.List<Name>> typeParams,
                                                                 TypedTerm<java.util.List<Name>> params,
                                                                 TypedTerm<java.util.List<Binding>> bindings,
                                                                 TypedTerm<Term> body,
                                                                 TypedTerm<java.util.List<Type>> domains,
                                                                 TypedTerm<Optional<Type>> codomain,
                                                                 TypedTerm<Env> environment)

DSL constructor for hydra.typing.FunctionStructure

functionStructureBindings

static <Env> TypedTerm<java.util.List<Binding>> functionStructureBindings(TypedTerm<FunctionStructure<Env>> x)

DSL accessor for the bindings field of hydra.typing.FunctionStructure

functionStructureBody

static <Env> TypedTerm<Term> functionStructureBody(TypedTerm<FunctionStructure<Env>> x)

DSL accessor for the body field of hydra.typing.FunctionStructure

functionStructureCodomain

static <Env> TypedTerm<Optional<Type>> functionStructureCodomain(TypedTerm<FunctionStructure<Env>> x)

DSL accessor for the codomain field of hydra.typing.FunctionStructure

functionStructureDomains

static <Env> TypedTerm<java.util.List<Type>> functionStructureDomains(TypedTerm<FunctionStructure<Env>> x)

DSL accessor for the domains field of hydra.typing.FunctionStructure

functionStructureEnvironment

static <Env> TypedTerm<Env> functionStructureEnvironment(TypedTerm<FunctionStructure<Env>> x)

DSL accessor for the environment field of hydra.typing.FunctionStructure

functionStructureParams

static <Env> TypedTerm<java.util.List<Name>> functionStructureParams(TypedTerm<FunctionStructure<Env>> x)

DSL accessor for the params field of hydra.typing.FunctionStructure

functionStructureTypeParams

static <Env> TypedTerm<java.util.List<Name>> functionStructureTypeParams(TypedTerm<FunctionStructure<Env>> x)

DSL accessor for the typeParams field of hydra.typing.FunctionStructure

functionStructureWithBindings

static <Env> TypedTerm<FunctionStructure<Env>> functionStructureWithBindings(TypedTerm<FunctionStructure<Env>> original,
                                                                             TypedTerm<java.util.List<Binding>> newVal)

DSL updater for the bindings field of hydra.typing.FunctionStructure

functionStructureWithBody

static <Env> TypedTerm<FunctionStructure<Env>> functionStructureWithBody(TypedTerm<FunctionStructure<Env>> original,
                                                                         TypedTerm<Term> newVal)

DSL updater for the body field of hydra.typing.FunctionStructure

functionStructureWithCodomain

static <Env> TypedTerm<FunctionStructure<Env>> functionStructureWithCodomain(TypedTerm<FunctionStructure<Env>> original,
                                                                             TypedTerm<Optional<Type>> newVal)

DSL updater for the codomain field of hydra.typing.FunctionStructure

functionStructureWithDomains

static <Env> TypedTerm<FunctionStructure<Env>> functionStructureWithDomains(TypedTerm<FunctionStructure<Env>> original,
                                                                            TypedTerm<java.util.List<Type>> newVal)

DSL updater for the domains field of hydra.typing.FunctionStructure

functionStructureWithEnvironment

static <Env> TypedTerm<FunctionStructure<Env>> functionStructureWithEnvironment(TypedTerm<FunctionStructure<Env>> original,
                                                                                TypedTerm<Env> newVal)

DSL updater for the environment field of hydra.typing.FunctionStructure

functionStructureWithParams

static <Env> TypedTerm<FunctionStructure<Env>> functionStructureWithParams(TypedTerm<FunctionStructure<Env>> original,
                                                                           TypedTerm<java.util.List<Name>> newVal)

DSL updater for the params field of hydra.typing.FunctionStructure

functionStructureWithTypeParams

static <Env> TypedTerm<FunctionStructure<Env>> functionStructureWithTypeParams(TypedTerm<FunctionStructure<Env>> original,
                                                                               TypedTerm<java.util.List<Name>> newVal)

DSL updater for the typeParams field of hydra.typing.FunctionStructure

inferenceContext

static TypedTerm<InferenceContext> inferenceContext(TypedTerm<java.lang.Integer> freshTypeVariableCount,
                                                    TypedTerm<java.util.List<SubtermStep>> trace)

DSL constructor for hydra.typing.InferenceContext

inferenceContextFreshTypeVariableCount

static TypedTerm<java.lang.Integer> inferenceContextFreshTypeVariableCount(TypedTerm<InferenceContext> x)

DSL accessor for the freshTypeVariableCount field of hydra.typing.InferenceContext

inferenceContextTrace

static TypedTerm<java.util.List<SubtermStep>> inferenceContextTrace(TypedTerm<InferenceContext> x)

DSL accessor for the trace field of hydra.typing.InferenceContext

inferenceContextWithFreshTypeVariableCount

static TypedTerm<InferenceContext> inferenceContextWithFreshTypeVariableCount(TypedTerm<InferenceContext> original,
                                                                              TypedTerm<java.lang.Integer> newVal)

DSL updater for the freshTypeVariableCount field of hydra.typing.InferenceContext

inferenceContextWithTrace

static TypedTerm<InferenceContext> inferenceContextWithTrace(TypedTerm<InferenceContext> original,
                                                             TypedTerm<java.util.List<SubtermStep>> newVal)

DSL updater for the trace field of hydra.typing.InferenceContext

inferenceResult

static TypedTerm<InferenceResult> inferenceResult(TypedTerm<Term> term,
                                                  TypedTerm<Type> type,
                                                  TypedTerm<TypeSubst> subst,
                                                  TypedTerm<java.util.Map<Name,TypeVariableConstraints>> classConstraints,
                                                  TypedTerm<InferenceContext> context)

DSL constructor for hydra.typing.InferenceResult

inferenceResultClassConstraints

static TypedTerm<java.util.Map<Name,TypeVariableConstraints>> inferenceResultClassConstraints(TypedTerm<InferenceResult> x)

DSL accessor for the classConstraints field of hydra.typing.InferenceResult

inferenceResultContext

static TypedTerm<InferenceContext> inferenceResultContext(TypedTerm<InferenceResult> x)

DSL accessor for the context field of hydra.typing.InferenceResult

inferenceResultSubst

static TypedTerm<TypeSubst> inferenceResultSubst(TypedTerm<InferenceResult> x)

DSL accessor for the subst field of hydra.typing.InferenceResult

inferenceResultTerm

static TypedTerm<Term> inferenceResultTerm(TypedTerm<InferenceResult> x)

DSL accessor for the term field of hydra.typing.InferenceResult

inferenceResultType

static TypedTerm<Type> inferenceResultType(TypedTerm<InferenceResult> x)

DSL accessor for the type field of hydra.typing.InferenceResult

inferenceResultWithClassConstraints

static TypedTerm<InferenceResult> inferenceResultWithClassConstraints(TypedTerm<InferenceResult> original,
                                                                      TypedTerm<java.util.Map<Name,TypeVariableConstraints>> newVal)

DSL updater for the classConstraints field of hydra.typing.InferenceResult

inferenceResultWithContext

static TypedTerm<InferenceResult> inferenceResultWithContext(TypedTerm<InferenceResult> original,
                                                             TypedTerm<InferenceContext> newVal)

DSL updater for the context field of hydra.typing.InferenceResult

inferenceResultWithSubst

static TypedTerm<InferenceResult> inferenceResultWithSubst(TypedTerm<InferenceResult> original,
                                                           TypedTerm<TypeSubst> newVal)

DSL updater for the subst field of hydra.typing.InferenceResult

inferenceResultWithTerm

static TypedTerm<InferenceResult> inferenceResultWithTerm(TypedTerm<InferenceResult> original,
                                                          TypedTerm<Term> newVal)

DSL updater for the term field of hydra.typing.InferenceResult

inferenceResultWithType

static TypedTerm<InferenceResult> inferenceResultWithType(TypedTerm<InferenceResult> original,
                                                          TypedTerm<Type> newVal)

DSL updater for the type field of hydra.typing.InferenceResult

parameter

static TypedTerm<Parameter> parameter(TypedTerm<Name> name,
                                      TypedTerm<Optional<java.lang.String>> description,
                                      TypedTerm<Type> type,
                                      TypedTerm<java.lang.Boolean> isLazy)

DSL constructor for hydra.typing.Parameter

parameterDescription

static TypedTerm<Optional<java.lang.String>> parameterDescription(TypedTerm<Parameter> x)

DSL accessor for the description field of hydra.typing.Parameter

parameterIsLazy

static TypedTerm<java.lang.Boolean> parameterIsLazy(TypedTerm<Parameter> x)

DSL accessor for the isLazy field of hydra.typing.Parameter

parameterName

static TypedTerm<Name> parameterName(TypedTerm<Parameter> x)

DSL accessor for the name field of hydra.typing.Parameter

parameterType

static TypedTerm<Type> parameterType(TypedTerm<Parameter> x)

DSL accessor for the type field of hydra.typing.Parameter

parameterWithDescription

static TypedTerm<Parameter> parameterWithDescription(TypedTerm<Parameter> original,
                                                     TypedTerm<Optional<java.lang.String>> newVal)

DSL updater for the description field of hydra.typing.Parameter

parameterWithIsLazy

static TypedTerm<Parameter> parameterWithIsLazy(TypedTerm<Parameter> original,
                                                TypedTerm<java.lang.Boolean> newVal)

DSL updater for the isLazy field of hydra.typing.Parameter

parameterWithName

static TypedTerm<Parameter> parameterWithName(TypedTerm<Parameter> original,
                                              TypedTerm<Name> newVal)

DSL updater for the name field of hydra.typing.Parameter

parameterWithType

static TypedTerm<Parameter> parameterWithType(TypedTerm<Parameter> original,
                                              TypedTerm<Type> newVal)

DSL updater for the type field of hydra.typing.Parameter

result

static TypedTerm<Result> result(TypedTerm<Optional<java.lang.String>> description,
                                TypedTerm<Type> type)

DSL constructor for hydra.typing.Result

resultDescription

static TypedTerm<Optional<java.lang.String>> resultDescription(TypedTerm<Result> x)

DSL accessor for the description field of hydra.typing.Result

resultType

static TypedTerm<Type> resultType(TypedTerm<Result> x)

DSL accessor for the type field of hydra.typing.Result

resultWithDescription

static TypedTerm<Result> resultWithDescription(TypedTerm<Result> original,
                                               TypedTerm<Optional<java.lang.String>> newVal)

DSL updater for the description field of hydra.typing.Result

resultWithType

static TypedTerm<Result> resultWithType(TypedTerm<Result> original,
                                        TypedTerm<Type> newVal)

DSL updater for the type field of hydra.typing.Result

termSignature

static TypedTerm<TermSignature> termSignature(TypedTerm<java.util.List<TypeParameter>> typeParameters,
                                              TypedTerm<java.util.List<Parameter>> parameters,
                                              TypedTerm<Result> result)

DSL constructor for hydra.typing.TermSignature

termSignatureParameters

static TypedTerm<java.util.List<Parameter>> termSignatureParameters(TypedTerm<TermSignature> x)

DSL accessor for the parameters field of hydra.typing.TermSignature

termSignatureResult

static TypedTerm<Result> termSignatureResult(TypedTerm<TermSignature> x)

DSL accessor for the result field of hydra.typing.TermSignature

termSignatureTypeParameters

static TypedTerm<java.util.List<TypeParameter>> termSignatureTypeParameters(TypedTerm<TermSignature> x)

DSL accessor for the typeParameters field of hydra.typing.TermSignature

termSignatureWithParameters

static TypedTerm<TermSignature> termSignatureWithParameters(TypedTerm<TermSignature> original,
                                                            TypedTerm<java.util.List<Parameter>> newVal)

DSL updater for the parameters field of hydra.typing.TermSignature

termSignatureWithResult

static TypedTerm<TermSignature> termSignatureWithResult(TypedTerm<TermSignature> original,
                                                        TypedTerm<Result> newVal)

DSL updater for the result field of hydra.typing.TermSignature

termSignatureWithTypeParameters

static TypedTerm<TermSignature> termSignatureWithTypeParameters(TypedTerm<TermSignature> original,
                                                                TypedTerm<java.util.List<TypeParameter>> newVal)

DSL updater for the typeParameters field of hydra.typing.TermSignature

termSubst

static TypedTerm<TermSubst> termSubst(TypedTerm<java.util.Map<Name,Term>> x)

DSL constructor for the hydra.typing.TermSubst wrapper

typeClass

static TypedTerm<TypeClass> typeClass(TypedTerm<java.lang.String> description)

DSL constructor for hydra.typing.TypeClass

typeClassDescription

static TypedTerm<java.lang.String> typeClassDescription(TypedTerm<TypeClass> x)

DSL accessor for the description field of hydra.typing.TypeClass

typeClassWithDescription

static TypedTerm<TypeClass> typeClassWithDescription(TypedTerm<TypeClass> original,
                                                     TypedTerm<java.lang.String> newVal)

DSL updater for the description field of hydra.typing.TypeClass

typeConstraint

static TypedTerm<TypeConstraint> typeConstraint(TypedTerm<Type> left,
                                                TypedTerm<Type> right,
                                                TypedTerm<java.lang.String> comment)

DSL constructor for hydra.typing.TypeConstraint

typeConstraintComment

static TypedTerm<java.lang.String> typeConstraintComment(TypedTerm<TypeConstraint> x)

DSL accessor for the comment field of hydra.typing.TypeConstraint

typeConstraintLeft

static TypedTerm<Type> typeConstraintLeft(TypedTerm<TypeConstraint> x)

DSL accessor for the left field of hydra.typing.TypeConstraint

typeConstraintRight

static TypedTerm<Type> typeConstraintRight(TypedTerm<TypeConstraint> x)

DSL accessor for the right field of hydra.typing.TypeConstraint

typeConstraintWithComment

static TypedTerm<TypeConstraint> typeConstraintWithComment(TypedTerm<TypeConstraint> original,
                                                           TypedTerm<java.lang.String> newVal)

DSL updater for the comment field of hydra.typing.TypeConstraint

typeConstraintWithLeft

static TypedTerm<TypeConstraint> typeConstraintWithLeft(TypedTerm<TypeConstraint> original,
                                                        TypedTerm<Type> newVal)

DSL updater for the left field of hydra.typing.TypeConstraint

typeConstraintWithRight

static TypedTerm<TypeConstraint> typeConstraintWithRight(TypedTerm<TypeConstraint> original,
                                                         TypedTerm<Type> newVal)

DSL updater for the right field of hydra.typing.TypeConstraint

typeParameter

static TypedTerm<TypeParameter> typeParameter(TypedTerm<Name> name,
                                              TypedTerm<java.util.List<TypeClassConstraint>> constraints)

DSL constructor for hydra.typing.TypeParameter

typeParameterConstraints

static TypedTerm<java.util.List<TypeClassConstraint>> typeParameterConstraints(TypedTerm<TypeParameter> x)

DSL accessor for the constraints field of hydra.typing.TypeParameter

typeParameterName

static TypedTerm<Name> typeParameterName(TypedTerm<TypeParameter> x)

DSL accessor for the name field of hydra.typing.TypeParameter

typeParameterWithConstraints

static TypedTerm<TypeParameter> typeParameterWithConstraints(TypedTerm<TypeParameter> original,
                                                             TypedTerm<java.util.List<TypeClassConstraint>> newVal)

DSL updater for the constraints field of hydra.typing.TypeParameter

typeParameterWithName

static TypedTerm<TypeParameter> typeParameterWithName(TypedTerm<TypeParameter> original,
                                                      TypedTerm<Name> newVal)

DSL updater for the name field of hydra.typing.TypeParameter

typeSubst

static TypedTerm<TypeSubst> typeSubst(TypedTerm<java.util.Map<Name,Type>> x)

DSL constructor for the hydra.typing.TypeSubst wrapper

unTermSubst

static TypedTerm<java.util.Map<Name,Term>> unTermSubst(TypedTerm<TermSubst> x)

DSL accessor for the body of hydra.typing.TermSubst

unTypeSubst

static TypedTerm<java.util.Map<Name,Type>> unTypeSubst(TypedTerm<TypeSubst> x)

DSL accessor for the body of hydra.typing.TypeSubst