hydra.dsl.core
package hydra.dsl.core
Members list
Value members
Concrete methods
def annotatedTermWithAnnotation(original: TypedTerm[AnnotatedTerm])(newVal: TypedTerm[Term]): TypedTerm[AnnotatedTerm]
def annotatedTermWithBody(original: TypedTerm[AnnotatedTerm])(newVal: TypedTerm[Term]): TypedTerm[AnnotatedTerm]
def annotatedTypeWithAnnotation(original: TypedTerm[AnnotatedType])(newVal: TypedTerm[Term]): TypedTerm[AnnotatedType]
def annotatedTypeWithBody(original: TypedTerm[AnnotatedType])(newVal: TypedTerm[Type]): TypedTerm[AnnotatedType]
def applicationType(function: TypedTerm[Type])(argument: TypedTerm[Type]): TypedTerm[ApplicationType]
def applicationTypeWithArgument(original: TypedTerm[ApplicationType])(newVal: TypedTerm[Type]): TypedTerm[ApplicationType]
def applicationTypeWithFunction(original: TypedTerm[ApplicationType])(newVal: TypedTerm[Type]): TypedTerm[ApplicationType]
def applicationWithArgument(original: TypedTerm[Application])(newVal: TypedTerm[Term]): TypedTerm[Application]
def applicationWithFunction(original: TypedTerm[Application])(newVal: TypedTerm[Term]): TypedTerm[Application]
def bindingWithTypeScheme(original: TypedTerm[Binding])(newVal: TypedTerm[Option[TypeScheme]]): TypedTerm[Binding]
def caseAlternativeWithHandler(original: TypedTerm[CaseAlternative])(newVal: TypedTerm[Term]): TypedTerm[CaseAlternative]
def caseAlternativeWithName(original: TypedTerm[CaseAlternative])(newVal: TypedTerm[Name]): TypedTerm[CaseAlternative]
def caseStatement(typeName: TypedTerm[Name])(default: TypedTerm[Option[Term]])(cases: TypedTerm[Seq[CaseAlternative]]): TypedTerm[CaseStatement]
def caseStatementWithCases(original: TypedTerm[CaseStatement])(newVal: TypedTerm[Seq[CaseAlternative]]): TypedTerm[CaseStatement]
def caseStatementWithDefault(original: TypedTerm[CaseStatement])(newVal: TypedTerm[Option[Term]]): TypedTerm[CaseStatement]
def caseStatementWithTypeName(original: TypedTerm[CaseStatement])(newVal: TypedTerm[Name]): TypedTerm[CaseStatement]
def eitherTypeWithLeft(original: TypedTerm[EitherType])(newVal: TypedTerm[Type]): TypedTerm[EitherType]
def eitherTypeWithRight(original: TypedTerm[EitherType])(newVal: TypedTerm[Type]): TypedTerm[EitherType]
def forallTypeWithBody(original: TypedTerm[ForallType])(newVal: TypedTerm[Type]): TypedTerm[ForallType]
def forallTypeWithParameter(original: TypedTerm[ForallType])(newVal: TypedTerm[Name]): TypedTerm[ForallType]
def functionTypeWithCodomain(original: TypedTerm[FunctionType])(newVal: TypedTerm[Type]): TypedTerm[FunctionType]
def functionTypeWithDomain(original: TypedTerm[FunctionType])(newVal: TypedTerm[Type]): TypedTerm[FunctionType]
def projectionWithFieldName(original: TypedTerm[Projection])(newVal: TypedTerm[Name]): TypedTerm[Projection]
def projectionWithTypeName(original: TypedTerm[Projection])(newVal: TypedTerm[Name]): TypedTerm[Projection]
def typeApplicationTerm(body: TypedTerm[Term])(`type`: TypedTerm[Type]): TypedTerm[TypeApplicationTerm]
def typeApplicationTermWithBody(original: TypedTerm[TypeApplicationTerm])(newVal: TypedTerm[Term]): TypedTerm[TypeApplicationTerm]
def typeApplicationTermWithType(original: TypedTerm[TypeApplicationTerm])(newVal: TypedTerm[Type]): TypedTerm[TypeApplicationTerm]
def typeLambdaWithBody(original: TypedTerm[TypeLambda])(newVal: TypedTerm[Term]): TypedTerm[TypeLambda]
def typeLambdaWithParameter(original: TypedTerm[TypeLambda])(newVal: TypedTerm[Name]): TypedTerm[TypeLambda]
def typeScheme(variables: TypedTerm[Seq[Name]])(body: TypedTerm[Type])(constraints: TypedTerm[Map[Name, TypeVariableConstraints]]): TypedTerm[TypeScheme]
def typeSchemeWithBody(original: TypedTerm[TypeScheme])(newVal: TypedTerm[Type]): TypedTerm[TypeScheme]
def typeSchemeWithConstraints(original: TypedTerm[TypeScheme])(newVal: TypedTerm[Map[Name, TypeVariableConstraints]]): TypedTerm[TypeScheme]
def typeSchemeWithVariables(original: TypedTerm[TypeScheme])(newVal: TypedTerm[Seq[Name]]): TypedTerm[TypeScheme]
def typeVariableConstraints(classes: TypedTerm[Set[TypeClassConstraint]]): TypedTerm[TypeVariableConstraints]
def typeVariableConstraintsWithClasses(original: TypedTerm[TypeVariableConstraints])(newVal: TypedTerm[Set[TypeClassConstraint]]): TypedTerm[TypeVariableConstraints]
def wrappedTermWithBody(original: TypedTerm[WrappedTerm])(newVal: TypedTerm[Term]): TypedTerm[WrappedTerm]
def wrappedTermWithTypeName(original: TypedTerm[WrappedTerm])(newVal: TypedTerm[Name]): TypedTerm[WrappedTerm]
Concrete fields
In this article