Package hydra.dsl

Interface Typing

public interface Typing

DSL functions for hydra.typing

Method Summary

Static Methods

Modifier and Type	Method	Description
static <Env> TTerm<FunctionStructure<Env>>	functionStructure(TTerm<ConsList<Name>> typeParams, TTerm<ConsList<Name>> params, TTerm<ConsList<Binding>> bindings, TTerm<Term> body, TTerm<ConsList<Type>> domains, TTerm<Maybe<Type>> codomain, TTerm<Env> environment)
static <Env> TTerm<ConsList<Binding>>	functionStructureBindings(TTerm<FunctionStructure<Env>> x)
static <Env> TTerm<Term>	functionStructureBody(TTerm<FunctionStructure<Env>> x)
static <Env> TTerm<Maybe<Type>>	functionStructureCodomain(TTerm<FunctionStructure<Env>> x)
static <Env> TTerm<ConsList<Type>>	functionStructureDomains(TTerm<FunctionStructure<Env>> x)
static <Env> TTerm<Env>	functionStructureEnvironment(TTerm<FunctionStructure<Env>> x)
static <Env> TTerm<ConsList<Name>>	functionStructureParams(TTerm<FunctionStructure<Env>> x)
static <Env> TTerm<ConsList<Name>>	functionStructureTypeParams(TTerm<FunctionStructure<Env>> x)
static <Env> TTerm<FunctionStructure<Env>>	functionStructureWithBindings(TTerm<FunctionStructure<Env>> original, TTerm<ConsList<Binding>> newVal)
static <Env> TTerm<FunctionStructure<Env>>	functionStructureWithBody(TTerm<FunctionStructure<Env>> original, TTerm<Term> newVal)
static <Env> TTerm<FunctionStructure<Env>>	functionStructureWithCodomain(TTerm<FunctionStructure<Env>> original, TTerm<Maybe<Type>> newVal)
static <Env> TTerm<FunctionStructure<Env>>	functionStructureWithDomains(TTerm<FunctionStructure<Env>> original, TTerm<ConsList<Type>> newVal)
static <Env> TTerm<FunctionStructure<Env>>	functionStructureWithEnvironment(TTerm<FunctionStructure<Env>> original, TTerm<Env> newVal)
static <Env> TTerm<FunctionStructure<Env>>	functionStructureWithParams(TTerm<FunctionStructure<Env>> original, TTerm<ConsList<Name>> newVal)
static <Env> TTerm<FunctionStructure<Env>>	functionStructureWithTypeParams(TTerm<FunctionStructure<Env>> original, TTerm<ConsList<Name>> newVal)
static TTerm<InferenceResult>	inferenceResult(TTerm<Term> term, TTerm<Type> type, TTerm<TypeSubst> subst, TTerm<PersistentMap<Name,TypeVariableMetadata>> classConstraints, TTerm<Context> context)
static TTerm<PersistentMap<Name,TypeVariableMetadata>>	inferenceResultClassConstraints(TTerm<InferenceResult> x)
static TTerm<Context>	inferenceResultContext(TTerm<InferenceResult> x)
static TTerm<TypeSubst>	inferenceResultSubst(TTerm<InferenceResult> x)
static TTerm<Term>	inferenceResultTerm(TTerm<InferenceResult> x)
static TTerm<Type>	inferenceResultType(TTerm<InferenceResult> x)
static TTerm<InferenceResult>	inferenceResultWithClassConstraints(TTerm<InferenceResult> original, TTerm<PersistentMap<Name,TypeVariableMetadata>> newVal)
static TTerm<InferenceResult>	inferenceResultWithContext(TTerm<InferenceResult> original, TTerm<Context> newVal)
static TTerm<InferenceResult>	inferenceResultWithSubst(TTerm<InferenceResult> original, TTerm<TypeSubst> newVal)
static TTerm<InferenceResult>	inferenceResultWithTerm(TTerm<InferenceResult> original, TTerm<Term> newVal)
static TTerm<InferenceResult>	inferenceResultWithType(TTerm<InferenceResult> original, TTerm<Type> newVal)
static TTerm<TermSubst>	termSubst(TTerm<PersistentMap<Name,Term>> x)
static TTerm<TypeConstraint>	typeConstraint(TTerm<Type> left, TTerm<Type> right, TTerm<java.lang.String> comment)
static TTerm<java.lang.String>	typeConstraintComment(TTerm<TypeConstraint> x)
static TTerm<Type>	typeConstraintLeft(TTerm<TypeConstraint> x)
static TTerm<Type>	typeConstraintRight(TTerm<TypeConstraint> x)
static TTerm<TypeConstraint>	typeConstraintWithComment(TTerm<TypeConstraint> original, TTerm<java.lang.String> newVal)
static TTerm<TypeConstraint>	typeConstraintWithLeft(TTerm<TypeConstraint> original, TTerm<Type> newVal)
static TTerm<TypeConstraint>	typeConstraintWithRight(TTerm<TypeConstraint> original, TTerm<Type> newVal)
static TTerm<TypeSubst>	typeSubst(TTerm<PersistentMap<Name,Type>> x)
static TTerm<PersistentMap<Name,Term>>	unTermSubst(TTerm<TermSubst> x)
static TTerm<PersistentMap<Name,Type>>	unTypeSubst(TTerm<TypeSubst> x)

Method Detail

functionStructure

static <Env> TTerm<FunctionStructure<Env>> functionStructure(TTerm<ConsList<Name>> typeParams,
                                                             TTerm<ConsList<Name>> params,
                                                             TTerm<ConsList<Binding>> bindings,
                                                             TTerm<Term> body,
                                                             TTerm<ConsList<Type>> domains,
                                                             TTerm<Maybe<Type>> codomain,
                                                             TTerm<Env> environment)

functionStructureBindings

static <Env> TTerm<ConsList<Binding>> functionStructureBindings(TTerm<FunctionStructure<Env>> x)

functionStructureBody

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

functionStructureCodomain

static <Env> TTerm<Maybe<Type>> functionStructureCodomain(TTerm<FunctionStructure<Env>> x)

functionStructureDomains

static <Env> TTerm<ConsList<Type>> functionStructureDomains(TTerm<FunctionStructure<Env>> x)

functionStructureEnvironment

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

functionStructureParams

static <Env> TTerm<ConsList<Name>> functionStructureParams(TTerm<FunctionStructure<Env>> x)

functionStructureTypeParams

static <Env> TTerm<ConsList<Name>> functionStructureTypeParams(TTerm<FunctionStructure<Env>> x)

functionStructureWithBindings

static <Env> TTerm<FunctionStructure<Env>> functionStructureWithBindings(TTerm<FunctionStructure<Env>> original,
                                                                         TTerm<ConsList<Binding>> newVal)

functionStructureWithBody

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

functionStructureWithCodomain

static <Env> TTerm<FunctionStructure<Env>> functionStructureWithCodomain(TTerm<FunctionStructure<Env>> original,
                                                                         TTerm<Maybe<Type>> newVal)

functionStructureWithDomains

static <Env> TTerm<FunctionStructure<Env>> functionStructureWithDomains(TTerm<FunctionStructure<Env>> original,
                                                                        TTerm<ConsList<Type>> newVal)

functionStructureWithEnvironment

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

functionStructureWithParams

static <Env> TTerm<FunctionStructure<Env>> functionStructureWithParams(TTerm<FunctionStructure<Env>> original,
                                                                       TTerm<ConsList<Name>> newVal)

functionStructureWithTypeParams

static <Env> TTerm<FunctionStructure<Env>> functionStructureWithTypeParams(TTerm<FunctionStructure<Env>> original,
                                                                           TTerm<ConsList<Name>> newVal)

inferenceResult

static TTerm<InferenceResult> inferenceResult(TTerm<Term> term,
                                              TTerm<Type> type,
                                              TTerm<TypeSubst> subst,
                                              TTerm<PersistentMap<Name,TypeVariableMetadata>> classConstraints,
                                              TTerm<Context> context)

inferenceResultClassConstraints

static TTerm<PersistentMap<Name,TypeVariableMetadata>> inferenceResultClassConstraints(TTerm<InferenceResult> x)

inferenceResultContext

static TTerm<Context> inferenceResultContext(TTerm<InferenceResult> x)

inferenceResultSubst

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

inferenceResultTerm

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

inferenceResultType

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

inferenceResultWithClassConstraints

static TTerm<InferenceResult> inferenceResultWithClassConstraints(TTerm<InferenceResult> original,
                                                                  TTerm<PersistentMap<Name,TypeVariableMetadata>> newVal)

inferenceResultWithContext

static TTerm<InferenceResult> inferenceResultWithContext(TTerm<InferenceResult> original,
                                                         TTerm<Context> newVal)

inferenceResultWithSubst

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

inferenceResultWithTerm

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

inferenceResultWithType

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

termSubst

static TTerm<TermSubst> termSubst(TTerm<PersistentMap<Name,Term>> x)

typeConstraint

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

typeConstraintComment

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

typeConstraintLeft

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

typeConstraintRight

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

typeConstraintWithComment

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

typeConstraintWithLeft

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

typeConstraintWithRight

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

typeSubst

static TTerm<TypeSubst> typeSubst(TTerm<PersistentMap<Name,Type>> x)

unTermSubst

static TTerm<PersistentMap<Name,Term>> unTermSubst(TTerm<TermSubst> x)

unTypeSubst

static TTerm<PersistentMap<Name,Type>> unTypeSubst(TTerm<TypeSubst> x)