A B C D E F G H I K L M N O P Q R S T U V W 
All Classes All Packages

A

accept(Constraint.Visitor<R>) - Method in class hydra.haskell.syntax.Constraint
Dispatch to visitor.
accept(Constraint.Visitor<R>) - Method in class hydra.haskell.syntax.Constraint.Class_
Dispatch to visitor.
accept(Constraint.Visitor<R>) - Method in class hydra.haskell.syntax.Constraint.Tuple
Dispatch to visitor.
accept(Constructor.Visitor<R>) - Method in class hydra.haskell.syntax.Constructor
Dispatch to visitor.
accept(Constructor.Visitor<R>) - Method in class hydra.haskell.syntax.Constructor.Ordinary
Dispatch to visitor.
accept(Constructor.Visitor<R>) - Method in class hydra.haskell.syntax.Constructor.Record
Dispatch to visitor.
accept(DataKeyword.Visitor<R>) - Method in class hydra.haskell.syntax.DataKeyword
Dispatch to visitor.
accept(DataKeyword.Visitor<R>) - Method in class hydra.haskell.syntax.DataKeyword.Data
Dispatch to visitor.
accept(DataKeyword.Visitor<R>) - Method in class hydra.haskell.syntax.DataKeyword.Newtype
Dispatch to visitor.
accept(Declaration.Visitor<R>) - Method in class hydra.haskell.syntax.Declaration
Dispatch to visitor.
accept(Declaration.Visitor<R>) - Method in class hydra.haskell.syntax.Declaration.Data
Dispatch to visitor.
accept(Declaration.Visitor<R>) - Method in class hydra.haskell.syntax.Declaration.Type
Dispatch to visitor.
accept(Declaration.Visitor<R>) - Method in class hydra.haskell.syntax.Declaration.TypedBinding
Dispatch to visitor.
accept(Declaration.Visitor<R>) - Method in class hydra.haskell.syntax.Declaration.ValueBinding
Dispatch to visitor.
accept(DeclarationHead.Visitor<R>) - Method in class hydra.haskell.syntax.DeclarationHead
Dispatch to visitor.
accept(DeclarationHead.Visitor<R>) - Method in class hydra.haskell.syntax.DeclarationHead.Application
Dispatch to visitor.
accept(DeclarationHead.Visitor<R>) - Method in class hydra.haskell.syntax.DeclarationHead.Simple
Dispatch to visitor.
accept(Export.Visitor<R>) - Method in class hydra.haskell.syntax.Export
Dispatch to visitor.
accept(Export.Visitor<R>) - Method in class hydra.haskell.syntax.Export.Declaration
Dispatch to visitor.
accept(Export.Visitor<R>) - Method in class hydra.haskell.syntax.Export.Module
Dispatch to visitor.
accept(Expression.Visitor<R>) - Method in class hydra.haskell.syntax.Expression
Dispatch to visitor.
accept(Expression.Visitor<R>) - Method in class hydra.haskell.syntax.Expression.Application
Dispatch to visitor.
accept(Expression.Visitor<R>) - Method in class hydra.haskell.syntax.Expression.Case
Dispatch to visitor.
accept(Expression.Visitor<R>) - Method in class hydra.haskell.syntax.Expression.ConstructRecord
Dispatch to visitor.
accept(Expression.Visitor<R>) - Method in class hydra.haskell.syntax.Expression.Do
Dispatch to visitor.
accept(Expression.Visitor<R>) - Method in class hydra.haskell.syntax.Expression.If
Dispatch to visitor.
accept(Expression.Visitor<R>) - Method in class hydra.haskell.syntax.Expression.InfixApplication
Dispatch to visitor.
accept(Expression.Visitor<R>) - Method in class hydra.haskell.syntax.Expression.Lambda
Dispatch to visitor.
accept(Expression.Visitor<R>) - Method in class hydra.haskell.syntax.Expression.LeftSection
Dispatch to visitor.
accept(Expression.Visitor<R>) - Method in class hydra.haskell.syntax.Expression.Let
Dispatch to visitor.
accept(Expression.Visitor<R>) - Method in class hydra.haskell.syntax.Expression.List
Dispatch to visitor.
accept(Expression.Visitor<R>) - Method in class hydra.haskell.syntax.Expression.Literal
Dispatch to visitor.
accept(Expression.Visitor<R>) - Method in class hydra.haskell.syntax.Expression.RightSection
Dispatch to visitor.
accept(Expression.Visitor<R>) - Method in class hydra.haskell.syntax.Expression.Tuple
Dispatch to visitor.
accept(Expression.Visitor<R>) - Method in class hydra.haskell.syntax.Expression.TypeSignature
Dispatch to visitor.
accept(Expression.Visitor<R>) - Method in class hydra.haskell.syntax.Expression.UpdateRecord
Dispatch to visitor.
accept(Expression.Visitor<R>) - Method in class hydra.haskell.syntax.Expression.Variable
Dispatch to visitor.
accept(ImportExportSubspec.Visitor<R>) - Method in class hydra.haskell.syntax.ImportExportSubspec
Dispatch to visitor.
accept(ImportExportSubspec.Visitor<R>) - Method in class hydra.haskell.syntax.ImportExportSubspec.All
Dispatch to visitor.
accept(ImportExportSubspec.Visitor<R>) - Method in class hydra.haskell.syntax.ImportExportSubspec.List
Dispatch to visitor.
accept(ImportModifier.Visitor<R>) - Method in class hydra.haskell.syntax.ImportModifier
Dispatch to visitor.
accept(ImportModifier.Visitor<R>) - Method in class hydra.haskell.syntax.ImportModifier.Pattern
Dispatch to visitor.
accept(ImportModifier.Visitor<R>) - Method in class hydra.haskell.syntax.ImportModifier.Type
Dispatch to visitor.
accept(ImportSpec.Visitor<R>) - Method in class hydra.haskell.syntax.ImportSpec
Dispatch to visitor.
accept(ImportSpec.Visitor<R>) - Method in class hydra.haskell.syntax.ImportSpec.Hiding
Dispatch to visitor.
accept(ImportSpec.Visitor<R>) - Method in class hydra.haskell.syntax.ImportSpec.List
Dispatch to visitor.
accept(Literal.Visitor<R>) - Method in class hydra.haskell.syntax.Literal
Dispatch to visitor.
accept(Literal.Visitor<R>) - Method in class hydra.haskell.syntax.Literal.Char
Dispatch to visitor.
accept(Literal.Visitor<R>) - Method in class hydra.haskell.syntax.Literal.Double_
Dispatch to visitor.
accept(Literal.Visitor<R>) - Method in class hydra.haskell.syntax.Literal.Float_
Dispatch to visitor.
accept(Literal.Visitor<R>) - Method in class hydra.haskell.syntax.Literal.Int
Dispatch to visitor.
accept(Literal.Visitor<R>) - Method in class hydra.haskell.syntax.Literal.Integer_
Dispatch to visitor.
accept(Literal.Visitor<R>) - Method in class hydra.haskell.syntax.Literal.String_
Dispatch to visitor.
accept(LocalBinding.Visitor<R>) - Method in class hydra.haskell.syntax.LocalBinding
Dispatch to visitor.
accept(LocalBinding.Visitor<R>) - Method in class hydra.haskell.syntax.LocalBinding.Signature
Dispatch to visitor.
accept(LocalBinding.Visitor<R>) - Method in class hydra.haskell.syntax.LocalBinding.Value
Dispatch to visitor.
accept(Name.Visitor<R>) - Method in class hydra.haskell.syntax.Name
Dispatch to visitor.
accept(Name.Visitor<R>) - Method in class hydra.haskell.syntax.Name.Implicit
Dispatch to visitor.
accept(Name.Visitor<R>) - Method in class hydra.haskell.syntax.Name.Normal
Dispatch to visitor.
accept(Operator.Visitor<R>) - Method in class hydra.haskell.syntax.Operator
Dispatch to visitor.
accept(Operator.Visitor<R>) - Method in class hydra.haskell.syntax.Operator.Backtick
Dispatch to visitor.
accept(Operator.Visitor<R>) - Method in class hydra.haskell.syntax.Operator.Normal
Dispatch to visitor.
accept(Pattern.Visitor<R>) - Method in class hydra.haskell.syntax.Pattern
Dispatch to visitor.
accept(Pattern.Visitor<R>) - Method in class hydra.haskell.syntax.Pattern.Application
Dispatch to visitor.
accept(Pattern.Visitor<R>) - Method in class hydra.haskell.syntax.Pattern.As
Dispatch to visitor.
accept(Pattern.Visitor<R>) - Method in class hydra.haskell.syntax.Pattern.List
Dispatch to visitor.
accept(Pattern.Visitor<R>) - Method in class hydra.haskell.syntax.Pattern.Literal
Dispatch to visitor.
accept(Pattern.Visitor<R>) - Method in class hydra.haskell.syntax.Pattern.Name
Dispatch to visitor.
accept(Pattern.Visitor<R>) - Method in class hydra.haskell.syntax.Pattern.Record
Dispatch to visitor.
accept(Pattern.Visitor<R>) - Method in class hydra.haskell.syntax.Pattern.Tuple
Dispatch to visitor.
accept(Pattern.Visitor<R>) - Method in class hydra.haskell.syntax.Pattern.Typed
Dispatch to visitor.
accept(Pattern.Visitor<R>) - Method in class hydra.haskell.syntax.Pattern.Wildcard
Dispatch to visitor.
accept(Type.Visitor<R>) - Method in class hydra.haskell.syntax.Type
Dispatch to visitor.
accept(Type.Visitor<R>) - Method in class hydra.haskell.syntax.Type.Application
Dispatch to visitor.
accept(Type.Visitor<R>) - Method in class hydra.haskell.syntax.Type.Ctx
Dispatch to visitor.
accept(Type.Visitor<R>) - Method in class hydra.haskell.syntax.Type.Function
Dispatch to visitor.
accept(Type.Visitor<R>) - Method in class hydra.haskell.syntax.Type.Infix
Dispatch to visitor.
accept(Type.Visitor<R>) - Method in class hydra.haskell.syntax.Type.List
Dispatch to visitor.
accept(Type.Visitor<R>) - Method in class hydra.haskell.syntax.Type.Tuple
Dispatch to visitor.
accept(Type.Visitor<R>) - Method in class hydra.haskell.syntax.Type.Variable
Dispatch to visitor.
accept(ValueBinding.Visitor<R>) - Method in class hydra.haskell.syntax.ValueBinding
Dispatch to visitor.
accept(ValueBinding.Visitor<R>) - Method in class hydra.haskell.syntax.ValueBinding.Simple
Dispatch to visitor.
adaptTypeToHaskellAndEncode(ModuleNames<ModuleName>, Type, T0, T1) - Static method in interface hydra.haskell.Coder
Adapt a Hydra type to Haskell's type system and encode it
addNamespacesToNamespaces(ModuleNames<ModuleName>, Set<Name>) - Static method in interface hydra.haskell.Testing
Add namespaces from a set of names to existing namespaces
All() - Constructor for class hydra.haskell.syntax.ImportExportSubspec.All
Constructs an immutable ImportExportSubspec.All.
ALL - Static variable in class hydra.haskell.syntax.ImportExportSubspec
Name of the hydra.haskell.syntax.ImportExportSubspec.all field.
alternative(TypedTerm<Pattern>, TypedTerm<CaseRhs>, TypedTerm<Optional<LocalBindings>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.Alternative
Alternative - Class in hydra.haskell.syntax
A pattern-matching alternative
Alternative(Pattern, CaseRhs, Optional<LocalBindings>) - Constructor for class hydra.haskell.syntax.Alternative
Constructs an immutable Alternative.
Alternative.Builder - Class in hydra.haskell.syntax
A fluent builder for Alternative.
alternativeAlternative() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.Alternative
alternativeBinds(TypedTerm<Alternative>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the binds field of hydra.haskell.syntax.Alternative
alternativePattern(TypedTerm<Alternative>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the pattern field of hydra.haskell.syntax.Alternative
alternativeRhs(TypedTerm<Alternative>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the rhs field of hydra.haskell.syntax.Alternative
alternatives - Variable in class hydra.haskell.syntax.CaseExpression
The pattern-matching alternatives
alternatives(List<Alternative>) - Method in class hydra.haskell.syntax.CaseExpression.Builder
 
ALTERNATIVES - Static variable in class hydra.haskell.syntax.CaseExpression
Name of the hydra.haskell.syntax.CaseExpression.alternatives field.
alternativeToExpr(Alternative) - Static method in interface hydra.haskell.Serde
Convert a pattern-matching alternative to an AST expression
alternativeWithBinds(TypedTerm<Alternative>, TypedTerm<Optional<LocalBindings>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the binds field of hydra.haskell.syntax.Alternative
alternativeWithPattern(TypedTerm<Alternative>, TypedTerm<Pattern>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the pattern field of hydra.haskell.syntax.Alternative
alternativeWithRhs(TypedTerm<Alternative>, TypedTerm<CaseRhs>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the rhs field of hydra.haskell.syntax.Alternative
andOp() - Static method in interface hydra.haskell.Operators
Logical AND operator (&&)
apOp() - Static method in interface hydra.haskell.Operators
Applicative apply operator (<*>)
Application(ApplicationDeclarationHead) - Constructor for class hydra.haskell.syntax.DeclarationHead.Application
Constructs an immutable DeclarationHead.Application.
Application(ApplicationExpression) - Constructor for class hydra.haskell.syntax.Expression.Application
Constructs an immutable Expression.Application.
Application(ApplicationPattern) - Constructor for class hydra.haskell.syntax.Pattern.Application
Constructs an immutable Pattern.Application.
Application(ApplicationType) - Constructor for class hydra.haskell.syntax.Type.Application
Constructs an immutable Type.Application.
APPLICATION - Static variable in class hydra.haskell.syntax.DeclarationHead
Name of the hydra.haskell.syntax.DeclarationHead.application field.
APPLICATION - Static variable in class hydra.haskell.syntax.Expression
Name of the hydra.haskell.syntax.Expression.application field.
APPLICATION - Static variable in class hydra.haskell.syntax.Pattern
Name of the hydra.haskell.syntax.Pattern.application field.
APPLICATION - Static variable in class hydra.haskell.syntax.Type
Name of the hydra.haskell.syntax.Type.application field.
applicationDeclarationHead(TypedTerm<DeclarationHead>, TypedTerm<Variable>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.ApplicationDeclarationHead
ApplicationDeclarationHead - Class in hydra.haskell.syntax
An application-style declaration head
ApplicationDeclarationHead(DeclarationHead, Variable) - Constructor for class hydra.haskell.syntax.ApplicationDeclarationHead
Constructs an immutable ApplicationDeclarationHead.
ApplicationDeclarationHead.Builder - Class in hydra.haskell.syntax
A fluent builder for ApplicationDeclarationHead.
applicationDeclarationHeadApplicationDeclarationHead() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.ApplicationDeclarationHead
applicationDeclarationHeadFunction(TypedTerm<ApplicationDeclarationHead>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the function field of hydra.haskell.syntax.ApplicationDeclarationHead
applicationDeclarationHeadOperand(TypedTerm<ApplicationDeclarationHead>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the operand field of hydra.haskell.syntax.ApplicationDeclarationHead
applicationDeclarationHeadWithFunction(TypedTerm<ApplicationDeclarationHead>, TypedTerm<DeclarationHead>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the function field of hydra.haskell.syntax.ApplicationDeclarationHead
applicationDeclarationHeadWithOperand(TypedTerm<ApplicationDeclarationHead>, TypedTerm<Variable>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the operand field of hydra.haskell.syntax.ApplicationDeclarationHead
applicationExpression(TypedTerm<Expression>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.ApplicationExpression
ApplicationExpression - Class in hydra.haskell.syntax
An application expression
ApplicationExpression(Expression, Expression) - Constructor for class hydra.haskell.syntax.ApplicationExpression
Constructs an immutable ApplicationExpression.
ApplicationExpression.Builder - Class in hydra.haskell.syntax
A fluent builder for ApplicationExpression.
applicationExpressionApplicationExpression() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.ApplicationExpression
applicationExpressionArgument(TypedTerm<ApplicationExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the argument field of hydra.haskell.syntax.ApplicationExpression
applicationExpressionFunction(TypedTerm<ApplicationExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the function field of hydra.haskell.syntax.ApplicationExpression
applicationExpressionToExpr(ApplicationExpression) - Static method in interface hydra.haskell.Serde
Convert a function application expression to an AST expression
applicationExpressionWithArgument(TypedTerm<ApplicationExpression>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the argument field of hydra.haskell.syntax.ApplicationExpression
applicationExpressionWithFunction(TypedTerm<ApplicationExpression>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the function field of hydra.haskell.syntax.ApplicationExpression
applicationPattern(Name, List<Pattern>) - Static method in interface hydra.haskell.Utils
Create an application pattern from a name and argument patterns
applicationPattern(TypedTerm<Name>, TypedTerm<List<Pattern>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.ApplicationPattern
ApplicationPattern - Class in hydra.haskell.syntax
An application pattern
ApplicationPattern(Name, List<Pattern>) - Constructor for class hydra.haskell.syntax.ApplicationPattern
Constructs an immutable ApplicationPattern.
ApplicationPattern.Builder - Class in hydra.haskell.syntax
A fluent builder for ApplicationPattern.
applicationPatternApplicationPattern() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.ApplicationPattern
applicationPatternArgs(TypedTerm<ApplicationPattern>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the args field of hydra.haskell.syntax.ApplicationPattern
applicationPatternName(TypedTerm<ApplicationPattern>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the name field of hydra.haskell.syntax.ApplicationPattern
applicationPatternToExpr(ApplicationPattern) - Static method in interface hydra.haskell.Serde
Convert an application pattern to an AST expression
applicationPatternWithArgs(TypedTerm<ApplicationPattern>, TypedTerm<List<Pattern>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the args field of hydra.haskell.syntax.ApplicationPattern
applicationPatternWithName(TypedTerm<ApplicationPattern>, TypedTerm<Name>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the name field of hydra.haskell.syntax.ApplicationPattern
applicationType(TypedTerm<Type>, TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.ApplicationType
ApplicationType - Class in hydra.haskell.syntax
An application type
ApplicationType(Type, Type) - Constructor for class hydra.haskell.syntax.ApplicationType
Constructs an immutable ApplicationType.
ApplicationType.Builder - Class in hydra.haskell.syntax
A fluent builder for ApplicationType.
applicationTypeApplicationType() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.ApplicationType
applicationTypeArgument(TypedTerm<ApplicationType>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the argument field of hydra.haskell.syntax.ApplicationType
applicationTypeContext(TypedTerm<ApplicationType>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the context field of hydra.haskell.syntax.ApplicationType
applicationTypeWithArgument(TypedTerm<ApplicationType>, TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the argument field of hydra.haskell.syntax.ApplicationType
applicationTypeWithContext(TypedTerm<ApplicationType>, TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the context field of hydra.haskell.syntax.ApplicationType
applyOp() - Static method in interface hydra.haskell.Operators
Low-precedence function application ($)
appOp() - Static method in interface hydra.haskell.Operators
Function application operator (whitespace)
args - Variable in class hydra.haskell.syntax.ApplicationPattern
The pattern arguments
args(List<Pattern>) - Method in class hydra.haskell.syntax.ApplicationPattern.Builder
 
ARGS - Static variable in class hydra.haskell.syntax.ApplicationPattern
Name of the hydra.haskell.syntax.ApplicationPattern.args field.
argument - Variable in class hydra.haskell.syntax.ApplicationExpression
The argument
argument - Variable in class hydra.haskell.syntax.ApplicationType
The type argument
argument(Expression) - Method in class hydra.haskell.syntax.ApplicationExpression.Builder
 
argument(Type) - Method in class hydra.haskell.syntax.ApplicationType.Builder
 
ARGUMENT - Static variable in class hydra.haskell.syntax.ApplicationExpression
Name of the hydra.haskell.syntax.ApplicationExpression.argument field.
ARGUMENT - Static variable in class hydra.haskell.syntax.ApplicationType
Name of the hydra.haskell.syntax.ApplicationType.argument field.
arrowOp() - Static method in interface hydra.haskell.Operators
Function type arrow (->)
as - Variable in class hydra.haskell.syntax.Import
Optional alias for the module
as(Optional<ModuleName>) - Method in class hydra.haskell.syntax.Import.Builder
 
As(AsPattern) - Constructor for class hydra.haskell.syntax.Pattern.As
Constructs an immutable Pattern.As.
AS - Static variable in class hydra.haskell.syntax.Import
Name of the hydra.haskell.syntax.Import.as field.
AS - Static variable in class hydra.haskell.syntax.Pattern
Name of the hydra.haskell.syntax.Pattern.as field.
asPattern(TypedTerm<Name>, TypedTerm<Pattern>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.AsPattern
AsPattern - Class in hydra.haskell.syntax
An 'as' pattern
AsPattern(Name, Pattern) - Constructor for class hydra.haskell.syntax.AsPattern
Constructs an immutable AsPattern.
AsPattern.Builder - Class in hydra.haskell.syntax
A fluent builder for AsPattern.
asPatternAsPattern() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.AsPattern
asPatternInner(TypedTerm<AsPattern>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the inner field of hydra.haskell.syntax.AsPattern
asPatternName(TypedTerm<AsPattern>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the name field of hydra.haskell.syntax.AsPattern
asPatternWithInner(TypedTerm<AsPattern>, TypedTerm<Pattern>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the inner field of hydra.haskell.syntax.AsPattern
asPatternWithName(TypedTerm<AsPattern>, TypedTerm<Name>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the name field of hydra.haskell.syntax.AsPattern
assertOp() - Static method in interface hydra.haskell.Operators
Type class constraint arrow (=>)

B

Backtick(QualifiedName) - Constructor for class hydra.haskell.syntax.Operator.Backtick
Constructs an immutable Operator.Backtick.
BACKTICK - Static variable in class hydra.haskell.syntax.Operator
Name of the hydra.haskell.syntax.Operator.backtick field.
bindings - Variable in class hydra.haskell.syntax.LambdaExpression
The patterns binding parameters
bindings - Variable in class hydra.haskell.syntax.LetExpression
The local bindings
bindings(List<LocalBinding>) - Method in class hydra.haskell.syntax.LetExpression.Builder
 
bindings(List<Pattern>) - Method in class hydra.haskell.syntax.LambdaExpression.Builder
 
BINDINGS - Static variable in class hydra.haskell.syntax.LambdaExpression
Name of the hydra.haskell.syntax.LambdaExpression.bindings field.
BINDINGS - Static variable in class hydra.haskell.syntax.LetExpression
Name of the hydra.haskell.syntax.LetExpression.bindings field.
bindOp() - Static method in interface hydra.haskell.Operators
Monadic bind operator (>>=)
binds - Variable in class hydra.haskell.syntax.Alternative
Optional local bindings
binds(Optional<LocalBindings>) - Method in class hydra.haskell.syntax.Alternative.Builder
 
BINDS - Static variable in class hydra.haskell.syntax.Alternative
Name of the hydra.haskell.syntax.Alternative.binds field.
build() - Method in class hydra.haskell.environment.HaskellModuleMetadata.Builder
Builds an immutable HaskellModuleMetadata.
build() - Method in class hydra.haskell.syntax.Alternative.Builder
Builds an immutable Alternative.
build() - Method in class hydra.haskell.syntax.ApplicationDeclarationHead.Builder
Builds an immutable ApplicationDeclarationHead.
build() - Method in class hydra.haskell.syntax.ApplicationExpression.Builder
Builds an immutable ApplicationExpression.
build() - Method in class hydra.haskell.syntax.ApplicationPattern.Builder
Builds an immutable ApplicationPattern.
build() - Method in class hydra.haskell.syntax.ApplicationType.Builder
Builds an immutable ApplicationType.
build() - Method in class hydra.haskell.syntax.AsPattern.Builder
Builds an immutable AsPattern.
build() - Method in class hydra.haskell.syntax.CaseExpression.Builder
Builds an immutable CaseExpression.
build() - Method in class hydra.haskell.syntax.CaseRhs.Builder
Builds an immutable CaseRhs.
build() - Method in class hydra.haskell.syntax.ClassConstraint.Builder
Builds an immutable ClassConstraint.
build() - Method in class hydra.haskell.syntax.ConstrainedType.Builder
Builds an immutable ConstrainedType.
build() - Method in class hydra.haskell.syntax.DataDeclaration.Builder
Builds an immutable DataDeclaration.
build() - Method in class hydra.haskell.syntax.DerivingClause.Builder
Builds an immutable DerivingClause.
build() - Method in class hydra.haskell.syntax.Field.Builder
Builds an immutable Field.
build() - Method in class hydra.haskell.syntax.FieldUpdate.Builder
Builds an immutable FieldUpdate.
build() - Method in class hydra.haskell.syntax.FunctionType.Builder
Builds an immutable FunctionType.
build() - Method in class hydra.haskell.syntax.IfExpression.Builder
Builds an immutable IfExpression.
build() - Method in class hydra.haskell.syntax.Import.Builder
Builds an immutable Import.
build() - Method in class hydra.haskell.syntax.InfixExpression.Builder
Builds an immutable InfixExpression.
build() - Method in class hydra.haskell.syntax.InfixType.Builder
Builds an immutable InfixType.
build() - Method in class hydra.haskell.syntax.LambdaExpression.Builder
Builds an immutable LambdaExpression.
build() - Method in class hydra.haskell.syntax.LetExpression.Builder
Builds an immutable LetExpression.
build() - Method in class hydra.haskell.syntax.LocalBindings.Builder
Builds an immutable LocalBindings.
build() - Method in class hydra.haskell.syntax.Module.Builder
Builds an immutable Module.
build() - Method in class hydra.haskell.syntax.ModuleHead.Builder
Builds an immutable ModuleHead.
build() - Method in class hydra.haskell.syntax.ModuleName.Builder
Builds an immutable ModuleName.
build() - Method in class hydra.haskell.syntax.NamedImportExport.Builder
Builds an immutable NamedImportExport.
build() - Method in class hydra.haskell.syntax.NamePart.Builder
Builds an immutable NamePart.
build() - Method in class hydra.haskell.syntax.PatternField.Builder
Builds an immutable PatternField.
build() - Method in class hydra.haskell.syntax.PositionalConstructor.Builder
Builds an immutable PositionalConstructor.
build() - Method in class hydra.haskell.syntax.QualifiedName.Builder
Builds an immutable QualifiedName.
build() - Method in class hydra.haskell.syntax.RecordConstructor.Builder
Builds an immutable RecordConstructor.
build() - Method in class hydra.haskell.syntax.RecordExpression.Builder
Builds an immutable RecordExpression.
build() - Method in class hydra.haskell.syntax.RecordPattern.Builder
Builds an immutable RecordPattern.
build() - Method in class hydra.haskell.syntax.RecordUpdateExpression.Builder
Builds an immutable RecordUpdateExpression.
build() - Method in class hydra.haskell.syntax.RightHandSide.Builder
Builds an immutable RightHandSide.
build() - Method in class hydra.haskell.syntax.SectionExpression.Builder
Builds an immutable SectionExpression.
build() - Method in class hydra.haskell.syntax.SimpleValueBinding.Builder
Builds an immutable SimpleValueBinding.
build() - Method in class hydra.haskell.syntax.Statement.Builder
Builds an immutable Statement.
build() - Method in class hydra.haskell.syntax.TypedBinding.Builder
Builds an immutable TypedBinding.
build() - Method in class hydra.haskell.syntax.TypedExpression.Builder
Builds an immutable TypedExpression.
build() - Method in class hydra.haskell.syntax.TypedPattern.Builder
Builds an immutable TypedPattern.
build() - Method in class hydra.haskell.syntax.TypeSignature.Builder
Builds an immutable TypeSignature.
build() - Method in class hydra.haskell.syntax.TypeSynonymDeclaration.Builder
Builds an immutable TypeSynonymDeclaration.
build() - Method in class hydra.haskell.syntax.Variable.Builder
Builds an immutable Variable.
builder() - Static method in class hydra.haskell.environment.HaskellModuleMetadata
Creates a new fluent builder for HaskellModuleMetadata.
builder() - Static method in class hydra.haskell.syntax.Alternative
Creates a new fluent builder for Alternative.
builder() - Static method in class hydra.haskell.syntax.ApplicationDeclarationHead
Creates a new fluent builder for ApplicationDeclarationHead.
builder() - Static method in class hydra.haskell.syntax.ApplicationExpression
Creates a new fluent builder for ApplicationExpression.
builder() - Static method in class hydra.haskell.syntax.ApplicationPattern
Creates a new fluent builder for ApplicationPattern.
builder() - Static method in class hydra.haskell.syntax.ApplicationType
Creates a new fluent builder for ApplicationType.
builder() - Static method in class hydra.haskell.syntax.AsPattern
Creates a new fluent builder for AsPattern.
builder() - Static method in class hydra.haskell.syntax.CaseExpression
Creates a new fluent builder for CaseExpression.
builder() - Static method in class hydra.haskell.syntax.CaseRhs
Creates a new fluent builder for CaseRhs.
builder() - Static method in class hydra.haskell.syntax.ClassConstraint
Creates a new fluent builder for ClassConstraint.
builder() - Static method in class hydra.haskell.syntax.ConstrainedType
Creates a new fluent builder for ConstrainedType.
builder() - Static method in class hydra.haskell.syntax.DataDeclaration
Creates a new fluent builder for DataDeclaration.
builder() - Static method in class hydra.haskell.syntax.DerivingClause
Creates a new fluent builder for DerivingClause.
builder() - Static method in class hydra.haskell.syntax.Field
Creates a new fluent builder for Field.
builder() - Static method in class hydra.haskell.syntax.FieldUpdate
Creates a new fluent builder for FieldUpdate.
builder() - Static method in class hydra.haskell.syntax.FunctionType
Creates a new fluent builder for FunctionType.
builder() - Static method in class hydra.haskell.syntax.IfExpression
Creates a new fluent builder for IfExpression.
builder() - Static method in class hydra.haskell.syntax.Import
Creates a new fluent builder for Import.
builder() - Static method in class hydra.haskell.syntax.InfixExpression
Creates a new fluent builder for InfixExpression.
builder() - Static method in class hydra.haskell.syntax.InfixType
Creates a new fluent builder for InfixType.
builder() - Static method in class hydra.haskell.syntax.LambdaExpression
Creates a new fluent builder for LambdaExpression.
builder() - Static method in class hydra.haskell.syntax.LetExpression
Creates a new fluent builder for LetExpression.
builder() - Static method in class hydra.haskell.syntax.LocalBindings
Creates a new fluent builder for LocalBindings.
builder() - Static method in class hydra.haskell.syntax.Module
Creates a new fluent builder for Module.
builder() - Static method in class hydra.haskell.syntax.ModuleHead
Creates a new fluent builder for ModuleHead.
builder() - Static method in class hydra.haskell.syntax.ModuleName
Creates a new fluent builder for ModuleName.
builder() - Static method in class hydra.haskell.syntax.NamedImportExport
Creates a new fluent builder for NamedImportExport.
builder() - Static method in class hydra.haskell.syntax.NamePart
Creates a new fluent builder for NamePart.
builder() - Static method in class hydra.haskell.syntax.PatternField
Creates a new fluent builder for PatternField.
builder() - Static method in class hydra.haskell.syntax.PositionalConstructor
Creates a new fluent builder for PositionalConstructor.
builder() - Static method in class hydra.haskell.syntax.QualifiedName
Creates a new fluent builder for QualifiedName.
builder() - Static method in class hydra.haskell.syntax.RecordConstructor
Creates a new fluent builder for RecordConstructor.
builder() - Static method in class hydra.haskell.syntax.RecordExpression
Creates a new fluent builder for RecordExpression.
builder() - Static method in class hydra.haskell.syntax.RecordPattern
Creates a new fluent builder for RecordPattern.
builder() - Static method in class hydra.haskell.syntax.RecordUpdateExpression
Creates a new fluent builder for RecordUpdateExpression.
builder() - Static method in class hydra.haskell.syntax.RightHandSide
Creates a new fluent builder for RightHandSide.
builder() - Static method in class hydra.haskell.syntax.SectionExpression
Creates a new fluent builder for SectionExpression.
builder() - Static method in class hydra.haskell.syntax.SimpleValueBinding
Creates a new fluent builder for SimpleValueBinding.
builder() - Static method in class hydra.haskell.syntax.Statement
Creates a new fluent builder for Statement.
builder() - Static method in class hydra.haskell.syntax.TypedBinding
Creates a new fluent builder for TypedBinding.
builder() - Static method in class hydra.haskell.syntax.TypedExpression
Creates a new fluent builder for TypedExpression.
builder() - Static method in class hydra.haskell.syntax.TypedPattern
Creates a new fluent builder for TypedPattern.
builder() - Static method in class hydra.haskell.syntax.TypeSignature
Creates a new fluent builder for TypeSignature.
builder() - Static method in class hydra.haskell.syntax.TypeSynonymDeclaration
Creates a new fluent builder for TypeSynonymDeclaration.
builder() - Static method in class hydra.haskell.syntax.Variable
Creates a new fluent builder for Variable.
Builder() - Constructor for class hydra.haskell.environment.HaskellModuleMetadata.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.Alternative.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.ApplicationDeclarationHead.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.ApplicationExpression.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.ApplicationPattern.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.ApplicationType.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.AsPattern.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.CaseExpression.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.CaseRhs.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.ClassConstraint.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.ConstrainedType.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.DataDeclaration.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.DerivingClause.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.Field.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.FieldUpdate.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.FunctionType.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.IfExpression.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.Import.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.InfixExpression.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.InfixType.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.LambdaExpression.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.LetExpression.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.LocalBindings.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.Module.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.ModuleHead.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.ModuleName.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.NamedImportExport.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.NamePart.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.PatternField.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.PositionalConstructor.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.QualifiedName.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.RecordConstructor.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.RecordExpression.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.RecordPattern.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.RecordUpdateExpression.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.RightHandSide.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.SectionExpression.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.SimpleValueBinding.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.Statement.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.TypedBinding.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.TypedExpression.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.TypedPattern.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.TypeSignature.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.TypeSynonymDeclaration.Builder
 
Builder() - Constructor for class hydra.haskell.syntax.Variable.Builder
 
buildNamespacesForTestGroup(Module, TestGroup, Graph) - Static method in interface hydra.haskell.Testing
Build namespaces for a test group including encoded term references
buildNamespacesForTestGroup_testTerms(List<TestCaseWithMetadata>) - Static method in interface hydra.haskell.Testing
 
buildTestModule(Module, TestGroup, String, ModuleNames<ModuleName>) - Static method in interface hydra.haskell.Testing
Build the complete test module for Haskell HSpec

C

Case(CaseExpression) - Constructor for class hydra.haskell.syntax.Expression.Case
Constructs an immutable Expression.Case.
CASE - Static variable in class hydra.haskell.syntax.CaseExpression
Name of the hydra.haskell.syntax.CaseExpression.case field.
CASE - Static variable in class hydra.haskell.syntax.Expression
Name of the hydra.haskell.syntax.Expression.case field.
case_ - Variable in class hydra.haskell.syntax.CaseExpression
The expression being matched
case_(Expression) - Method in class hydra.haskell.syntax.CaseExpression.Builder
 
caseExpression(TypedTerm<Expression>, TypedTerm<List<Alternative>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.CaseExpression
CaseExpression - Class in hydra.haskell.syntax
A case expression
CaseExpression(Expression, List<Alternative>) - Constructor for class hydra.haskell.syntax.CaseExpression
Constructs an immutable CaseExpression.
CaseExpression.Builder - Class in hydra.haskell.syntax
A fluent builder for CaseExpression.
caseExpressionAlternatives(TypedTerm<CaseExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the alternatives field of hydra.haskell.syntax.CaseExpression
caseExpressionCase(TypedTerm<CaseExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the case field of hydra.haskell.syntax.CaseExpression
caseExpressionCaseExpression() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.CaseExpression
caseExpressionToExpr(CaseExpression) - Static method in interface hydra.haskell.Serde
Convert a case expression to an AST expression
caseExpressionWithAlternatives(TypedTerm<CaseExpression>, TypedTerm<List<Alternative>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the alternatives field of hydra.haskell.syntax.CaseExpression
caseExpressionWithCase(TypedTerm<CaseExpression>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the case field of hydra.haskell.syntax.CaseExpression
caseOp() - Static method in interface hydra.haskell.Operators
Case alternative arrow (->)
caseRhs(TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for the hydra.haskell.syntax.CaseRhs wrapper
CaseRhs - Class in hydra.haskell.syntax
The right-hand side of a pattern-matching alternative
CaseRhs(Expression) - Constructor for class hydra.haskell.syntax.CaseRhs
Constructs an immutable CaseRhs.
CaseRhs.Builder - Class in hydra.haskell.syntax
A fluent builder for CaseRhs.
caseRhsCaseRhs() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.CaseRhs
caseRhsToExpr(CaseRhs) - Static method in interface hydra.haskell.Serde
Convert a case right-hand side to an AST expression
Char(Character) - Constructor for class hydra.haskell.syntax.Literal.Char
Constructs an immutable Literal.Char.
CHAR - Static variable in class hydra.haskell.syntax.Literal
Name of the hydra.haskell.syntax.Literal.char field.
CLASS - Static variable in class hydra.haskell.syntax.Constraint
Name of the hydra.haskell.syntax.Constraint.class field.
Class_(ClassConstraint) - Constructor for class hydra.haskell.syntax.Constraint.Class_
Constructs an immutable Constraint.Class_.
classConstraint(TypedTerm<Name>, TypedTerm<List<Type>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.ClassConstraint
ClassConstraint - Class in hydra.haskell.syntax
A class constraint
ClassConstraint(Name, List<Type>) - Constructor for class hydra.haskell.syntax.ClassConstraint
Constructs an immutable ClassConstraint.
ClassConstraint.Builder - Class in hydra.haskell.syntax
A fluent builder for ClassConstraint.
classConstraintClassConstraint() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.ClassConstraint
classConstraintName(TypedTerm<ClassConstraint>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the name field of hydra.haskell.syntax.ClassConstraint
classConstraintToExpr(ClassConstraint) - Static method in interface hydra.haskell.Serde
Convert a class constraint to an AST expression
classConstraintTypes(TypedTerm<ClassConstraint>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the types field of hydra.haskell.syntax.ClassConstraint
classConstraintWithName(TypedTerm<ClassConstraint>, TypedTerm<Name>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the name field of hydra.haskell.syntax.ClassConstraint
classConstraintWithTypes(TypedTerm<ClassConstraint>, TypedTerm<List<Type>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the types field of hydra.haskell.syntax.ClassConstraint
Coder - Interface in hydra.haskell
Functions for encoding Hydra modules as Haskell modules
codomain - Variable in class hydra.haskell.syntax.FunctionType
The codomain type
codomain(Type) - Method in class hydra.haskell.syntax.FunctionType.Builder
 
CODOMAIN - Static variable in class hydra.haskell.syntax.FunctionType
Name of the hydra.haskell.syntax.FunctionType.codomain field.
collectNames(Graph, Set<Name>, Term) - Static method in interface hydra.haskell.Testing
Collect variable names from encoded terms within a single term node
collectTestCases(TestGroup) - Static method in interface hydra.haskell.Testing
Collect all test cases from a test group recursively
comments - Variable in class hydra.haskell.syntax.DataDeclaration
Optional comments
comments - Variable in class hydra.haskell.syntax.Field
Optional comments
comments - Variable in class hydra.haskell.syntax.ModuleHead
Optional module-level comments
comments - Variable in class hydra.haskell.syntax.PositionalConstructor
Optional comments
comments - Variable in class hydra.haskell.syntax.RecordConstructor
Optional comments
comments - Variable in class hydra.haskell.syntax.SimpleValueBinding
Optional comments
comments - Variable in class hydra.haskell.syntax.TypedBinding
Optional comments
comments - Variable in class hydra.haskell.syntax.TypeSynonymDeclaration
Optional comments
comments(Optional<String>) - Method in class hydra.haskell.syntax.DataDeclaration.Builder
 
comments(Optional<String>) - Method in class hydra.haskell.syntax.Field.Builder
 
comments(Optional<String>) - Method in class hydra.haskell.syntax.ModuleHead.Builder
 
comments(Optional<String>) - Method in class hydra.haskell.syntax.PositionalConstructor.Builder
 
comments(Optional<String>) - Method in class hydra.haskell.syntax.RecordConstructor.Builder
 
comments(Optional<String>) - Method in class hydra.haskell.syntax.SimpleValueBinding.Builder
 
comments(Optional<String>) - Method in class hydra.haskell.syntax.TypedBinding.Builder
 
comments(Optional<String>) - Method in class hydra.haskell.syntax.TypeSynonymDeclaration.Builder
 
COMMENTS - Static variable in class hydra.haskell.syntax.DataDeclaration
Name of the hydra.haskell.syntax.DataDeclaration.comments field.
COMMENTS - Static variable in class hydra.haskell.syntax.Field
Name of the hydra.haskell.syntax.Field.comments field.
COMMENTS - Static variable in class hydra.haskell.syntax.ModuleHead
Name of the hydra.haskell.syntax.ModuleHead.comments field.
COMMENTS - Static variable in class hydra.haskell.syntax.PositionalConstructor
Name of the hydra.haskell.syntax.PositionalConstructor.comments field.
COMMENTS - Static variable in class hydra.haskell.syntax.RecordConstructor
Name of the hydra.haskell.syntax.RecordConstructor.comments field.
COMMENTS - Static variable in class hydra.haskell.syntax.SimpleValueBinding
Name of the hydra.haskell.syntax.SimpleValueBinding.comments field.
COMMENTS - Static variable in class hydra.haskell.syntax.TypedBinding
Name of the hydra.haskell.syntax.TypedBinding.comments field.
COMMENTS - Static variable in class hydra.haskell.syntax.TypeSynonymDeclaration
Name of the hydra.haskell.syntax.TypeSynonymDeclaration.comments field.
compareTo(HaskellModuleMetadata) - Method in class hydra.haskell.environment.HaskellModuleMetadata
 
compareTo(Alternative) - Method in class hydra.haskell.syntax.Alternative
 
compareTo(ApplicationDeclarationHead) - Method in class hydra.haskell.syntax.ApplicationDeclarationHead
 
compareTo(ApplicationExpression) - Method in class hydra.haskell.syntax.ApplicationExpression
 
compareTo(ApplicationPattern) - Method in class hydra.haskell.syntax.ApplicationPattern
 
compareTo(ApplicationType) - Method in class hydra.haskell.syntax.ApplicationType
 
compareTo(AsPattern) - Method in class hydra.haskell.syntax.AsPattern
 
compareTo(CaseExpression) - Method in class hydra.haskell.syntax.CaseExpression
 
compareTo(CaseRhs) - Method in class hydra.haskell.syntax.CaseRhs
 
compareTo(ClassConstraint) - Method in class hydra.haskell.syntax.ClassConstraint
 
compareTo(ConstrainedType) - Method in class hydra.haskell.syntax.ConstrainedType
 
compareTo(Constraint) - Method in class hydra.haskell.syntax.Constraint.Class_
 
compareTo(Constraint) - Method in class hydra.haskell.syntax.Constraint.Tuple
 
compareTo(Constructor) - Method in class hydra.haskell.syntax.Constructor.Ordinary
 
compareTo(Constructor) - Method in class hydra.haskell.syntax.Constructor.Record
 
compareTo(DataDeclaration) - Method in class hydra.haskell.syntax.DataDeclaration
 
compareTo(DataKeyword) - Method in class hydra.haskell.syntax.DataKeyword.Data
 
compareTo(DataKeyword) - Method in class hydra.haskell.syntax.DataKeyword.Newtype
 
compareTo(Declaration) - Method in class hydra.haskell.syntax.Declaration.Data
 
compareTo(Declaration) - Method in class hydra.haskell.syntax.Declaration.Type
 
compareTo(Declaration) - Method in class hydra.haskell.syntax.Declaration.TypedBinding
 
compareTo(Declaration) - Method in class hydra.haskell.syntax.Declaration.ValueBinding
 
compareTo(DeclarationHead) - Method in class hydra.haskell.syntax.DeclarationHead.Application
 
compareTo(DeclarationHead) - Method in class hydra.haskell.syntax.DeclarationHead.Simple
 
compareTo(DerivingClause) - Method in class hydra.haskell.syntax.DerivingClause
 
compareTo(Export) - Method in class hydra.haskell.syntax.Export.Declaration
 
compareTo(Export) - Method in class hydra.haskell.syntax.Export.Module
 
compareTo(Expression) - Method in class hydra.haskell.syntax.Expression.Application
 
compareTo(Expression) - Method in class hydra.haskell.syntax.Expression.Case
 
compareTo(Expression) - Method in class hydra.haskell.syntax.Expression.ConstructRecord
 
compareTo(Expression) - Method in class hydra.haskell.syntax.Expression.Do
 
compareTo(Expression) - Method in class hydra.haskell.syntax.Expression.If
 
compareTo(Expression) - Method in class hydra.haskell.syntax.Expression.InfixApplication
 
compareTo(Expression) - Method in class hydra.haskell.syntax.Expression.Lambda
 
compareTo(Expression) - Method in class hydra.haskell.syntax.Expression.LeftSection
 
compareTo(Expression) - Method in class hydra.haskell.syntax.Expression.Let
 
compareTo(Expression) - Method in class hydra.haskell.syntax.Expression.List
 
compareTo(Expression) - Method in class hydra.haskell.syntax.Expression.Literal
 
compareTo(Expression) - Method in class hydra.haskell.syntax.Expression.RightSection
 
compareTo(Expression) - Method in class hydra.haskell.syntax.Expression.Tuple
 
compareTo(Expression) - Method in class hydra.haskell.syntax.Expression.TypeSignature
 
compareTo(Expression) - Method in class hydra.haskell.syntax.Expression.UpdateRecord
 
compareTo(Expression) - Method in class hydra.haskell.syntax.Expression.Variable
 
compareTo(Field) - Method in class hydra.haskell.syntax.Field
 
compareTo(FieldUpdate) - Method in class hydra.haskell.syntax.FieldUpdate
 
compareTo(FunctionType) - Method in class hydra.haskell.syntax.FunctionType
 
compareTo(IfExpression) - Method in class hydra.haskell.syntax.IfExpression
 
compareTo(Import) - Method in class hydra.haskell.syntax.Import
 
compareTo(ImportExportSubspec) - Method in class hydra.haskell.syntax.ImportExportSubspec.All
 
compareTo(ImportExportSubspec) - Method in class hydra.haskell.syntax.ImportExportSubspec.List
 
compareTo(ImportModifier) - Method in class hydra.haskell.syntax.ImportModifier.Pattern
 
compareTo(ImportModifier) - Method in class hydra.haskell.syntax.ImportModifier.Type
 
compareTo(ImportSpec) - Method in class hydra.haskell.syntax.ImportSpec.Hiding
 
compareTo(ImportSpec) - Method in class hydra.haskell.syntax.ImportSpec.List
 
compareTo(InfixExpression) - Method in class hydra.haskell.syntax.InfixExpression
 
compareTo(InfixType) - Method in class hydra.haskell.syntax.InfixType
 
compareTo(LambdaExpression) - Method in class hydra.haskell.syntax.LambdaExpression
 
compareTo(LetExpression) - Method in class hydra.haskell.syntax.LetExpression
 
compareTo(Literal) - Method in class hydra.haskell.syntax.Literal.Char
 
compareTo(Literal) - Method in class hydra.haskell.syntax.Literal.Double_
 
compareTo(Literal) - Method in class hydra.haskell.syntax.Literal.Float_
 
compareTo(Literal) - Method in class hydra.haskell.syntax.Literal.Int
 
compareTo(Literal) - Method in class hydra.haskell.syntax.Literal.Integer_
 
compareTo(Literal) - Method in class hydra.haskell.syntax.Literal.String_
 
compareTo(LocalBinding) - Method in class hydra.haskell.syntax.LocalBinding.Signature
 
compareTo(LocalBinding) - Method in class hydra.haskell.syntax.LocalBinding.Value
 
compareTo(LocalBindings) - Method in class hydra.haskell.syntax.LocalBindings
 
compareTo(Module) - Method in class hydra.haskell.syntax.Module
 
compareTo(ModuleHead) - Method in class hydra.haskell.syntax.ModuleHead
 
compareTo(ModuleName) - Method in class hydra.haskell.syntax.ModuleName
 
compareTo(Name) - Method in class hydra.haskell.syntax.Name.Implicit
 
compareTo(Name) - Method in class hydra.haskell.syntax.Name.Normal
 
compareTo(NamedImportExport) - Method in class hydra.haskell.syntax.NamedImportExport
 
compareTo(NamePart) - Method in class hydra.haskell.syntax.NamePart
 
compareTo(Operator) - Method in class hydra.haskell.syntax.Operator.Backtick
 
compareTo(Operator) - Method in class hydra.haskell.syntax.Operator.Normal
 
compareTo(Pattern) - Method in class hydra.haskell.syntax.Pattern.Application
 
compareTo(Pattern) - Method in class hydra.haskell.syntax.Pattern.As
 
compareTo(Pattern) - Method in class hydra.haskell.syntax.Pattern.List
 
compareTo(Pattern) - Method in class hydra.haskell.syntax.Pattern.Literal
 
compareTo(Pattern) - Method in class hydra.haskell.syntax.Pattern.Name
 
compareTo(Pattern) - Method in class hydra.haskell.syntax.Pattern.Record
 
compareTo(Pattern) - Method in class hydra.haskell.syntax.Pattern.Tuple
 
compareTo(Pattern) - Method in class hydra.haskell.syntax.Pattern.Typed
 
compareTo(Pattern) - Method in class hydra.haskell.syntax.Pattern.Wildcard
 
compareTo(PatternField) - Method in class hydra.haskell.syntax.PatternField
 
compareTo(PositionalConstructor) - Method in class hydra.haskell.syntax.PositionalConstructor
 
compareTo(QualifiedName) - Method in class hydra.haskell.syntax.QualifiedName
 
compareTo(RecordConstructor) - Method in class hydra.haskell.syntax.RecordConstructor
 
compareTo(RecordExpression) - Method in class hydra.haskell.syntax.RecordExpression
 
compareTo(RecordPattern) - Method in class hydra.haskell.syntax.RecordPattern
 
compareTo(RecordUpdateExpression) - Method in class hydra.haskell.syntax.RecordUpdateExpression
 
compareTo(RightHandSide) - Method in class hydra.haskell.syntax.RightHandSide
 
compareTo(SectionExpression) - Method in class hydra.haskell.syntax.SectionExpression
 
compareTo(SimpleValueBinding) - Method in class hydra.haskell.syntax.SimpleValueBinding
 
compareTo(Statement) - Method in class hydra.haskell.syntax.Statement
 
compareTo(Type) - Method in class hydra.haskell.syntax.Type.Application
 
compareTo(Type) - Method in class hydra.haskell.syntax.Type.Ctx
 
compareTo(Type) - Method in class hydra.haskell.syntax.Type.Function
 
compareTo(Type) - Method in class hydra.haskell.syntax.Type.Infix
 
compareTo(Type) - Method in class hydra.haskell.syntax.Type.List
 
compareTo(Type) - Method in class hydra.haskell.syntax.Type.Tuple
 
compareTo(Type) - Method in class hydra.haskell.syntax.Type.Variable
 
compareTo(TypedBinding) - Method in class hydra.haskell.syntax.TypedBinding
 
compareTo(TypedExpression) - Method in class hydra.haskell.syntax.TypedExpression
 
compareTo(TypedPattern) - Method in class hydra.haskell.syntax.TypedPattern
 
compareTo(TypeSignature) - Method in class hydra.haskell.syntax.TypeSignature
 
compareTo(TypeSynonymDeclaration) - Method in class hydra.haskell.syntax.TypeSynonymDeclaration
 
compareTo(ValueBinding) - Method in class hydra.haskell.syntax.ValueBinding.Simple
 
compareTo(Variable) - Method in class hydra.haskell.syntax.Variable
 
composeOp() - Static method in interface hydra.haskell.Operators
Function composition (.)
concatOp() - Static method in interface hydra.haskell.Operators
List concatenation (++)
condition - Variable in class hydra.haskell.syntax.IfExpression
The condition expression
condition(Expression) - Method in class hydra.haskell.syntax.IfExpression.Builder
 
CONDITION - Static variable in class hydra.haskell.syntax.IfExpression
Name of the hydra.haskell.syntax.IfExpression.condition field.
consOp() - Static method in interface hydra.haskell.Operators
List cons (:)
constantForFieldName(Name, Name) - Static method in interface hydra.haskell.Coder
Generate a constant name for a field (e.g., '_TypeName_fieldName')
constantForTypeName(Name) - Static method in interface hydra.haskell.Coder
Generate a constant name for a type (e.g., '_TypeName')
constrainedType(TypedTerm<Constraint>, TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.ConstrainedType
ConstrainedType - Class in hydra.haskell.syntax
A type with a context (type class constraints)
ConstrainedType(Constraint, Type) - Constructor for class hydra.haskell.syntax.ConstrainedType
Constructs an immutable ConstrainedType.
ConstrainedType.Builder - Class in hydra.haskell.syntax
A fluent builder for ConstrainedType.
constrainedTypeConstrainedType() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.ConstrainedType
constrainedTypeCtx(TypedTerm<ConstrainedType>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the ctx field of hydra.haskell.syntax.ConstrainedType
constrainedTypeType(TypedTerm<ConstrainedType>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the type field of hydra.haskell.syntax.ConstrainedType
constrainedTypeWithCtx(TypedTerm<ConstrainedType>, TypedTerm<Constraint>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the ctx field of hydra.haskell.syntax.ConstrainedType
constrainedTypeWithType(TypedTerm<ConstrainedType>, TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the type field of hydra.haskell.syntax.ConstrainedType
Constraint - Class in hydra.haskell.syntax
A type constraint
Constraint.Class_ - Class in hydra.haskell.syntax
A class constraint
Constraint.PartialVisitor<R> - Interface in hydra.haskell.syntax
Constraint.Tuple - Class in hydra.haskell.syntax
A tuple of constraints
Constraint.Visitor<R> - Interface in hydra.haskell.syntax
Visitor over Constraint.
constraintClass(TypedTerm<ClassConstraint>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the class variant of hydra.haskell.syntax.Constraint
constraintConstraint() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.Constraint
constraintToExpr(Constraint) - Static method in interface hydra.haskell.Serde
Convert a type class constraint to an AST expression
constraintTuple(TypedTerm<List<Constraint>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the tuple variant of hydra.haskell.syntax.Constraint
CONSTRUCT_RECORD - Static variable in class hydra.haskell.syntax.Expression
Name of the hydra.haskell.syntax.Expression.constructRecord field.
constructModule(Set<String>, ModuleNames<ModuleName>, Module, List<Definition>, T0, Graph) - Static method in interface hydra.haskell.Coder
Construct a Haskell module from a Hydra module and its definitions
constructModule_condImport(Boolean, T1) - Static method in interface hydra.haskell.Coder
 
Constructor - Class in hydra.haskell.syntax
A data constructor
Constructor.Ordinary - Class in hydra.haskell.syntax
An ordinary (positional) constructor
Constructor.PartialVisitor<R> - Interface in hydra.haskell.syntax
Constructor.Record - Class in hydra.haskell.syntax
A record constructor
Constructor.Visitor<R> - Interface in hydra.haskell.syntax
Visitor over Constructor.
constructorConstructor() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.Constructor
constructorOrdinary(TypedTerm<PositionalConstructor>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the ordinary variant of hydra.haskell.syntax.Constructor
constructorRecord(TypedTerm<RecordConstructor>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the record variant of hydra.haskell.syntax.Constructor
constructors - Variable in class hydra.haskell.syntax.DataDeclaration
The data constructors
constructors(List<Constructor>) - Method in class hydra.haskell.syntax.DataDeclaration.Builder
 
CONSTRUCTORS - Static variable in class hydra.haskell.syntax.DataDeclaration
Name of the hydra.haskell.syntax.DataDeclaration.constructors field.
constructorToExpr(Constructor) - Static method in interface hydra.haskell.Serde
Convert a data constructor to an AST expression
ConstructRecord(RecordExpression) - Constructor for class hydra.haskell.syntax.Expression.ConstructRecord
Constructs an immutable Expression.ConstructRecord.
context - Variable in class hydra.haskell.syntax.ApplicationType
The type being applied
context - Variable in class hydra.haskell.syntax.DataDeclaration
Type class constraints
context(Type) - Method in class hydra.haskell.syntax.ApplicationType.Builder
 
context(List<Constraint>) - Method in class hydra.haskell.syntax.DataDeclaration.Builder
 
CONTEXT - Static variable in class hydra.haskell.syntax.ApplicationType
Name of the hydra.haskell.syntax.ApplicationType.context field.
CONTEXT - Static variable in class hydra.haskell.syntax.DataDeclaration
Name of the hydra.haskell.syntax.DataDeclaration.context field.
ctx - Variable in class hydra.haskell.syntax.ConstrainedType
The type class context
ctx(Constraint) - Method in class hydra.haskell.syntax.ConstrainedType.Builder
 
Ctx(ConstrainedType) - Constructor for class hydra.haskell.syntax.Type.Ctx
Constructs an immutable Type.Ctx.
CTX - Static variable in class hydra.haskell.syntax.ConstrainedType
Name of the hydra.haskell.syntax.ConstrainedType.ctx field.
CTX - Static variable in class hydra.haskell.syntax.Type
Name of the hydra.haskell.syntax.Type.ctx field.

D

Data() - Constructor for class hydra.haskell.syntax.DataKeyword.Data
Constructs an immutable DataKeyword.Data.
Data(DataDeclaration) - Constructor for class hydra.haskell.syntax.Declaration.Data
Constructs an immutable Declaration.Data.
DATA - Static variable in class hydra.haskell.syntax.DataKeyword
Name of the hydra.haskell.syntax.DataKeyword.data field.
DATA - Static variable in class hydra.haskell.syntax.Declaration
Name of the hydra.haskell.syntax.Declaration.data field.
dataDeclaration(TypedTerm<DataKeyword>, TypedTerm<List<Constraint>>, TypedTerm<DeclarationHead>, TypedTerm<List<Constructor>>, TypedTerm<List<DerivingClause>>, TypedTerm<Optional<String>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.DataDeclaration
DataDeclaration - Class in hydra.haskell.syntax
A data type declaration
DataDeclaration(DataKeyword, List<Constraint>, DeclarationHead, List<Constructor>, List<DerivingClause>, Optional<String>) - Constructor for class hydra.haskell.syntax.DataDeclaration
Constructs an immutable DataDeclaration.
DataDeclaration.Builder - Class in hydra.haskell.syntax
A fluent builder for DataDeclaration.
dataDeclarationComments(TypedTerm<DataDeclaration>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the comments field of hydra.haskell.syntax.DataDeclaration
dataDeclarationConstructors(TypedTerm<DataDeclaration>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the constructors field of hydra.haskell.syntax.DataDeclaration
dataDeclarationContext(TypedTerm<DataDeclaration>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the context field of hydra.haskell.syntax.DataDeclaration
dataDeclarationDataDeclaration() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.DataDeclaration
dataDeclarationDeriving(TypedTerm<DataDeclaration>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the deriving field of hydra.haskell.syntax.DataDeclaration
dataDeclarationHead(TypedTerm<DataDeclaration>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the head field of hydra.haskell.syntax.DataDeclaration
dataDeclarationKeyword(TypedTerm<DataDeclaration>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the keyword field of hydra.haskell.syntax.DataDeclaration
dataDeclarationWithComments(TypedTerm<DataDeclaration>, TypedTerm<Optional<String>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the comments field of hydra.haskell.syntax.DataDeclaration
dataDeclarationWithConstructors(TypedTerm<DataDeclaration>, TypedTerm<List<Constructor>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the constructors field of hydra.haskell.syntax.DataDeclaration
dataDeclarationWithContext(TypedTerm<DataDeclaration>, TypedTerm<List<Constraint>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the context field of hydra.haskell.syntax.DataDeclaration
dataDeclarationWithDeriving(TypedTerm<DataDeclaration>, TypedTerm<List<DerivingClause>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the deriving field of hydra.haskell.syntax.DataDeclaration
dataDeclarationWithHead(TypedTerm<DataDeclaration>, TypedTerm<DeclarationHead>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the head field of hydra.haskell.syntax.DataDeclaration
dataDeclarationWithKeyword(TypedTerm<DataDeclaration>, TypedTerm<DataKeyword>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the keyword field of hydra.haskell.syntax.DataDeclaration
DataKeyword - Class in hydra.haskell.syntax
The 'data' versus 'newtype keyword
DataKeyword.Data - Class in hydra.haskell.syntax
 
DataKeyword.Newtype - Class in hydra.haskell.syntax
 
DataKeyword.PartialVisitor<R> - Interface in hydra.haskell.syntax
DataKeyword.Visitor<R> - Interface in hydra.haskell.syntax
Visitor over DataKeyword.
dataKeywordData() - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the data variant of hydra.haskell.syntax.DataKeyword
dataKeywordDataKeyword() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.DataKeyword
dataKeywordNewtype() - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the newtype variant of hydra.haskell.syntax.DataKeyword
dataKeywordToExpr(DataKeyword) - Static method in interface hydra.haskell.Serde
Convert a data/newtype keyword to an AST expression
Declaration - Class in hydra.haskell.syntax
A data or value declaration
Declaration(NamedImportExport) - Constructor for class hydra.haskell.syntax.Export.Declaration
Constructs an immutable Export.Declaration.
DECLARATION - Static variable in class hydra.haskell.syntax.Export
Name of the hydra.haskell.syntax.Export.declaration field.
Declaration.Data - Class in hydra.haskell.syntax
A data type declaration
Declaration.PartialVisitor<R> - Interface in hydra.haskell.syntax
Declaration.Type - Class in hydra.haskell.syntax
A type synonym declaration
Declaration.TypedBinding - Class in hydra.haskell.syntax
A typed binding
Declaration.ValueBinding - Class in hydra.haskell.syntax
A value binding
Declaration.Visitor<R> - Interface in hydra.haskell.syntax
Visitor over Declaration.
declarationData(TypedTerm<DataDeclaration>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the data variant of hydra.haskell.syntax.Declaration
declarationDeclaration() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.Declaration
DeclarationHead - Class in hydra.haskell.syntax
The left-hand side of a declaration
DeclarationHead.Application - Class in hydra.haskell.syntax
An application-style declaration head
DeclarationHead.PartialVisitor<R> - Interface in hydra.haskell.syntax
DeclarationHead.Simple - Class in hydra.haskell.syntax
A simple name
DeclarationHead.Visitor<R> - Interface in hydra.haskell.syntax
Visitor over DeclarationHead.
declarationHeadApplication(TypedTerm<ApplicationDeclarationHead>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the application variant of hydra.haskell.syntax.DeclarationHead
declarationHeadDeclarationHead() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.DeclarationHead
declarationHeadSimple(TypedTerm<Name>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the simple variant of hydra.haskell.syntax.DeclarationHead
declarationHeadToExpr(DeclarationHead) - Static method in interface hydra.haskell.Serde
Convert a declaration head to an AST expression
declarations - Variable in class hydra.haskell.syntax.Module
Module declarations
declarations(List<Declaration>) - Method in class hydra.haskell.syntax.Module.Builder
 
DECLARATIONS - Static variable in class hydra.haskell.syntax.Module
Name of the hydra.haskell.syntax.Module.declarations field.
declarationToExpr(Declaration) - Static method in interface hydra.haskell.Serde
Convert a declaration to an AST expression
declarationType(TypedTerm<TypeSynonymDeclaration>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the type variant of hydra.haskell.syntax.Declaration
declarationTypedBinding(TypedTerm<TypedBinding>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the typedBinding variant of hydra.haskell.syntax.Declaration
declarationValueBinding(TypedTerm<ValueBinding>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the valueBinding variant of hydra.haskell.syntax.Declaration
defineOp() - Static method in interface hydra.haskell.Operators
Definition operator (=)
deriving - Variable in class hydra.haskell.syntax.DataDeclaration
Derived type class instances
deriving(List<DerivingClause>) - Method in class hydra.haskell.syntax.DataDeclaration.Builder
 
DERIVING - Static variable in class hydra.haskell.syntax.DataDeclaration
Name of the hydra.haskell.syntax.DataDeclaration.deriving field.
derivingClause(TypedTerm<List<Name>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for the hydra.haskell.syntax.DerivingClause wrapper
DerivingClause - Class in hydra.haskell.syntax
A 'deriving' clause
DerivingClause(List<Name>) - Constructor for class hydra.haskell.syntax.DerivingClause
Constructs an immutable DerivingClause.
DerivingClause.Builder - Class in hydra.haskell.syntax
A fluent builder for DerivingClause.
derivingClauseDerivingClause() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.DerivingClause
diamondOp() - Static method in interface hydra.haskell.Operators
Semigroup append (<>)
divideOp() - Static method in interface hydra.haskell.Operators
Fractional division (/)
divOp() - Static method in interface hydra.haskell.Operators
Integer division (`div`)
Do(List<Statement>) - Constructor for class hydra.haskell.syntax.Expression.Do
Constructs an immutable Expression.Do.
DO - Static variable in class hydra.haskell.syntax.Expression
Name of the hydra.haskell.syntax.Expression.do field.
domain - Variable in class hydra.haskell.syntax.FunctionType
The domain type
domain(Type) - Method in class hydra.haskell.syntax.FunctionType.Builder
 
DOMAIN - Static variable in class hydra.haskell.syntax.FunctionType
Name of the hydra.haskell.syntax.FunctionType.domain field.
DOUBLE - Static variable in class hydra.haskell.syntax.Literal
Name of the hydra.haskell.syntax.Literal.double field.
Double_(Double) - Constructor for class hydra.haskell.syntax.Literal.Double_
Constructs an immutable Literal.Double_.

E

elementReference(ModuleNames<ModuleName>, Name) - Static method in interface hydra.haskell.Utils
Generate a Haskell name reference for a Hydra element
elemOp() - Static method in interface hydra.haskell.Operators
List membership (`elem`)
ELSE - Static variable in class hydra.haskell.syntax.IfExpression
Name of the hydra.haskell.syntax.IfExpression.else field.
else_ - Variable in class hydra.haskell.syntax.IfExpression
The 'else' branch
else_(Expression) - Method in class hydra.haskell.syntax.IfExpression.Builder
 
emptyMetadata() - Static method in interface hydra.haskell.Coder
Create an initial empty metadata record with all flags set to false
encodeCaseExpression(Integer, ModuleNames<ModuleName>, CaseStatement, Expression, T0, Graph) - Static method in interface hydra.haskell.Coder
Encode a Hydra case statement as a Haskell case expression with a given scrutinee
encodeCaseExpression_noArgs() - Static method in interface hydra.haskell.Coder
 
encodeLambdaTerm(Integer, ModuleNames<ModuleName>, Lambda, T0, Graph) - Static method in interface hydra.haskell.Coder
Encode a Hydra lambda as a Haskell expression
encodeLiteral(Literal, T0) - Static method in interface hydra.haskell.Coder
Encode a Hydra literal as a Haskell expression
encodeProjection(ModuleNames<ModuleName>, Projection) - Static method in interface hydra.haskell.Coder
Encode a record projection as a Haskell expression
encodeStandaloneCases(Integer, ModuleNames<ModuleName>, CaseStatement, T0, Graph) - Static method in interface hydra.haskell.Coder
Encode a standalone (un-applied) case statement as a Haskell lambda over a case expression
encodeTerm(Integer, ModuleNames<ModuleName>, Term, T0, Graph) - Static method in interface hydra.haskell.Coder
Encode a Hydra term as a Haskell expression
encodeType(ModuleNames<ModuleName>, Type, T0, T1) - Static method in interface hydra.haskell.Coder
Encode a Hydra type as a Haskell type
encodeType_ref(Function<ModuleNames<ModuleName>, Function<Name, Name>>, ModuleNames<ModuleName>, Name) - Static method in interface hydra.haskell.Coder
 
encodeTypeWithClassAssertions(ModuleNames<ModuleName>, Map<Name, Set<Name>>, Type, T0, T1) - Static method in interface hydra.haskell.Coder
Encode a Hydra type as a Haskell type with typeclass assertions
encodeTypeWithClassAssertions_clsSet(Pair<T2, Set<T3>>) - Static method in interface hydra.haskell.Coder
 
encodeTypeWithClassAssertions_name(Pair<T2, Set<T3>>) - Static method in interface hydra.haskell.Coder
 
encodeTypeWithClassAssertions_toPair(Pair<T2, Set<T3>>, T4) - Static method in interface hydra.haskell.Coder
 
encodeTypeWithClassAssertions_toPairs(Pair<T2, Set<T3>>) - Static method in interface hydra.haskell.Coder
 
encodeUnwrap(ModuleNames<ModuleName>, Name) - Static method in interface hydra.haskell.Coder
Encode an unwrap term as a Haskell expression
Environment - Interface in hydra.dsl.haskell
DSL functions for hydra.haskell.environment
equalOp() - Static method in interface hydra.haskell.Operators
Equality comparison (==)
equals(Object) - Method in class hydra.haskell.environment.HaskellModuleMetadata
 
equals(Object) - Method in class hydra.haskell.syntax.Alternative
 
equals(Object) - Method in class hydra.haskell.syntax.ApplicationDeclarationHead
 
equals(Object) - Method in class hydra.haskell.syntax.ApplicationExpression
 
equals(Object) - Method in class hydra.haskell.syntax.ApplicationPattern
 
equals(Object) - Method in class hydra.haskell.syntax.ApplicationType
 
equals(Object) - Method in class hydra.haskell.syntax.AsPattern
 
equals(Object) - Method in class hydra.haskell.syntax.CaseExpression
 
equals(Object) - Method in class hydra.haskell.syntax.CaseRhs
 
equals(Object) - Method in class hydra.haskell.syntax.ClassConstraint
 
equals(Object) - Method in class hydra.haskell.syntax.ConstrainedType
 
equals(Object) - Method in class hydra.haskell.syntax.Constraint.Class_
 
equals(Object) - Method in class hydra.haskell.syntax.Constraint.Tuple
 
equals(Object) - Method in class hydra.haskell.syntax.Constructor.Ordinary
 
equals(Object) - Method in class hydra.haskell.syntax.Constructor.Record
 
equals(Object) - Method in class hydra.haskell.syntax.DataDeclaration
 
equals(Object) - Method in class hydra.haskell.syntax.DataKeyword.Data
 
equals(Object) - Method in class hydra.haskell.syntax.DataKeyword.Newtype
 
equals(Object) - Method in class hydra.haskell.syntax.Declaration.Data
 
equals(Object) - Method in class hydra.haskell.syntax.Declaration.Type
 
equals(Object) - Method in class hydra.haskell.syntax.Declaration.TypedBinding
 
equals(Object) - Method in class hydra.haskell.syntax.Declaration.ValueBinding
 
equals(Object) - Method in class hydra.haskell.syntax.DeclarationHead.Application
 
equals(Object) - Method in class hydra.haskell.syntax.DeclarationHead.Simple
 
equals(Object) - Method in class hydra.haskell.syntax.DerivingClause
 
equals(Object) - Method in class hydra.haskell.syntax.Export.Declaration
 
equals(Object) - Method in class hydra.haskell.syntax.Export.Module
 
equals(Object) - Method in class hydra.haskell.syntax.Expression.Application
 
equals(Object) - Method in class hydra.haskell.syntax.Expression.Case
 
equals(Object) - Method in class hydra.haskell.syntax.Expression.ConstructRecord
 
equals(Object) - Method in class hydra.haskell.syntax.Expression.Do
 
equals(Object) - Method in class hydra.haskell.syntax.Expression.If
 
equals(Object) - Method in class hydra.haskell.syntax.Expression.InfixApplication
 
equals(Object) - Method in class hydra.haskell.syntax.Expression.Lambda
 
equals(Object) - Method in class hydra.haskell.syntax.Expression.LeftSection
 
equals(Object) - Method in class hydra.haskell.syntax.Expression.Let
 
equals(Object) - Method in class hydra.haskell.syntax.Expression.List
 
equals(Object) - Method in class hydra.haskell.syntax.Expression.Literal
 
equals(Object) - Method in class hydra.haskell.syntax.Expression.RightSection
 
equals(Object) - Method in class hydra.haskell.syntax.Expression.Tuple
 
equals(Object) - Method in class hydra.haskell.syntax.Expression.TypeSignature
 
equals(Object) - Method in class hydra.haskell.syntax.Expression.UpdateRecord
 
equals(Object) - Method in class hydra.haskell.syntax.Expression.Variable
 
equals(Object) - Method in class hydra.haskell.syntax.Field
 
equals(Object) - Method in class hydra.haskell.syntax.FieldUpdate
 
equals(Object) - Method in class hydra.haskell.syntax.FunctionType
 
equals(Object) - Method in class hydra.haskell.syntax.IfExpression
 
equals(Object) - Method in class hydra.haskell.syntax.Import
 
equals(Object) - Method in class hydra.haskell.syntax.ImportExportSubspec.All
 
equals(Object) - Method in class hydra.haskell.syntax.ImportExportSubspec.List
 
equals(Object) - Method in class hydra.haskell.syntax.ImportModifier.Pattern
 
equals(Object) - Method in class hydra.haskell.syntax.ImportModifier.Type
 
equals(Object) - Method in class hydra.haskell.syntax.ImportSpec.Hiding
 
equals(Object) - Method in class hydra.haskell.syntax.ImportSpec.List
 
equals(Object) - Method in class hydra.haskell.syntax.InfixExpression
 
equals(Object) - Method in class hydra.haskell.syntax.InfixType
 
equals(Object) - Method in class hydra.haskell.syntax.LambdaExpression
 
equals(Object) - Method in class hydra.haskell.syntax.LetExpression
 
equals(Object) - Method in class hydra.haskell.syntax.Literal.Char
 
equals(Object) - Method in class hydra.haskell.syntax.Literal.Double_
 
equals(Object) - Method in class hydra.haskell.syntax.Literal.Float_
 
equals(Object) - Method in class hydra.haskell.syntax.Literal.Int
 
equals(Object) - Method in class hydra.haskell.syntax.Literal.Integer_
 
equals(Object) - Method in class hydra.haskell.syntax.Literal.String_
 
equals(Object) - Method in class hydra.haskell.syntax.LocalBinding.Signature
 
equals(Object) - Method in class hydra.haskell.syntax.LocalBinding.Value
 
equals(Object) - Method in class hydra.haskell.syntax.LocalBindings
 
equals(Object) - Method in class hydra.haskell.syntax.Module
 
equals(Object) - Method in class hydra.haskell.syntax.ModuleHead
 
equals(Object) - Method in class hydra.haskell.syntax.ModuleName
 
equals(Object) - Method in class hydra.haskell.syntax.Name.Implicit
 
equals(Object) - Method in class hydra.haskell.syntax.Name.Normal
 
equals(Object) - Method in class hydra.haskell.syntax.NamedImportExport
 
equals(Object) - Method in class hydra.haskell.syntax.NamePart
 
equals(Object) - Method in class hydra.haskell.syntax.Operator.Backtick
 
equals(Object) - Method in class hydra.haskell.syntax.Operator.Normal
 
equals(Object) - Method in class hydra.haskell.syntax.Pattern.Application
 
equals(Object) - Method in class hydra.haskell.syntax.Pattern.As
 
equals(Object) - Method in class hydra.haskell.syntax.Pattern.List
 
equals(Object) - Method in class hydra.haskell.syntax.Pattern.Literal
 
equals(Object) - Method in class hydra.haskell.syntax.Pattern.Name
 
equals(Object) - Method in class hydra.haskell.syntax.Pattern.Record
 
equals(Object) - Method in class hydra.haskell.syntax.Pattern.Tuple
 
equals(Object) - Method in class hydra.haskell.syntax.Pattern.Typed
 
equals(Object) - Method in class hydra.haskell.syntax.Pattern.Wildcard
 
equals(Object) - Method in class hydra.haskell.syntax.PatternField
 
equals(Object) - Method in class hydra.haskell.syntax.PositionalConstructor
 
equals(Object) - Method in class hydra.haskell.syntax.QualifiedName
 
equals(Object) - Method in class hydra.haskell.syntax.RecordConstructor
 
equals(Object) - Method in class hydra.haskell.syntax.RecordExpression
 
equals(Object) - Method in class hydra.haskell.syntax.RecordPattern
 
equals(Object) - Method in class hydra.haskell.syntax.RecordUpdateExpression
 
equals(Object) - Method in class hydra.haskell.syntax.RightHandSide
 
equals(Object) - Method in class hydra.haskell.syntax.SectionExpression
 
equals(Object) - Method in class hydra.haskell.syntax.SimpleValueBinding
 
equals(Object) - Method in class hydra.haskell.syntax.Statement
 
equals(Object) - Method in class hydra.haskell.syntax.Type.Application
 
equals(Object) - Method in class hydra.haskell.syntax.Type.Ctx
 
equals(Object) - Method in class hydra.haskell.syntax.Type.Function
 
equals(Object) - Method in class hydra.haskell.syntax.Type.Infix
 
equals(Object) - Method in class hydra.haskell.syntax.Type.List
 
equals(Object) - Method in class hydra.haskell.syntax.Type.Tuple
 
equals(Object) - Method in class hydra.haskell.syntax.Type.Variable
 
equals(Object) - Method in class hydra.haskell.syntax.TypedBinding
 
equals(Object) - Method in class hydra.haskell.syntax.TypedExpression
 
equals(Object) - Method in class hydra.haskell.syntax.TypedPattern
 
equals(Object) - Method in class hydra.haskell.syntax.TypeSignature
 
equals(Object) - Method in class hydra.haskell.syntax.TypeSynonymDeclaration
 
equals(Object) - Method in class hydra.haskell.syntax.ValueBinding.Simple
 
equals(Object) - Method in class hydra.haskell.syntax.Variable
 
Export - Class in hydra.haskell.syntax
An export statement
Export.Declaration - Class in hydra.haskell.syntax
An exported declaration
Export.Module - Class in hydra.haskell.syntax
An exported module
Export.PartialVisitor<R> - Interface in hydra.haskell.syntax
Partial visitor over Export with a default Export.PartialVisitor.otherwise(hydra.haskell.syntax.Export) branch.
Export.Visitor<R> - Interface in hydra.haskell.syntax
Visitor over Export.
exportDeclaration(TypedTerm<NamedImportExport>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the declaration variant of hydra.haskell.syntax.Export
exportExport() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.Export
exportModule(TypedTerm<ModuleName>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the module variant of hydra.haskell.syntax.Export
exports - Variable in class hydra.haskell.syntax.ModuleHead
Export list
exports(List<Export>) - Method in class hydra.haskell.syntax.ModuleHead.Builder
 
EXPORTS - Static variable in class hydra.haskell.syntax.ModuleHead
Name of the hydra.haskell.syntax.ModuleHead.exports field.
expression - Variable in class hydra.haskell.syntax.SectionExpression
The operand
expression(Expression) - Method in class hydra.haskell.syntax.SectionExpression.Builder
 
Expression - Class in hydra.haskell.syntax
A data expression
EXPRESSION - Static variable in class hydra.haskell.syntax.SectionExpression
Name of the hydra.haskell.syntax.SectionExpression.expression field.
Expression.Application - Class in hydra.haskell.syntax
A function application
Expression.Case - Class in hydra.haskell.syntax
A case expression
Expression.ConstructRecord - Class in hydra.haskell.syntax
A record constructor expression
Expression.Do - Class in hydra.haskell.syntax
A 'do' expression
Expression.If - Class in hydra.haskell.syntax
An 'if' expression
Expression.InfixApplication - Class in hydra.haskell.syntax
An infix application
Expression.Lambda - Class in hydra.haskell.syntax
A lambda expression
Expression.LeftSection - Class in hydra.haskell.syntax
A left section expression
Expression.Let - Class in hydra.haskell.syntax
A 'let' expression
Expression.List - Class in hydra.haskell.syntax
A list expression
Expression.Literal - Class in hydra.haskell.syntax
A literal value
Expression.PartialVisitor<R> - Interface in hydra.haskell.syntax
Expression.RightSection - Class in hydra.haskell.syntax
A right section expression
Expression.Tuple - Class in hydra.haskell.syntax
A tuple expression
Expression.TypeSignature - Class in hydra.haskell.syntax
A type signature expression
Expression.UpdateRecord - Class in hydra.haskell.syntax
A record update expression
Expression.Variable - Class in hydra.haskell.syntax
A variable reference
Expression.Visitor<R> - Interface in hydra.haskell.syntax
Visitor over Expression.
expressionApplication(TypedTerm<ApplicationExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the application variant of hydra.haskell.syntax.Expression
expressionCase(TypedTerm<CaseExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the case variant of hydra.haskell.syntax.Expression
expressionConstructRecord(TypedTerm<RecordExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the constructRecord variant of hydra.haskell.syntax.Expression
expressionDo(TypedTerm<List<Statement>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the do variant of hydra.haskell.syntax.Expression
expressionExpression() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.Expression
expressionIf(TypedTerm<IfExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the if variant of hydra.haskell.syntax.Expression
expressionInfixApplication(TypedTerm<InfixExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the infixApplication variant of hydra.haskell.syntax.Expression
expressionLambda(TypedTerm<LambdaExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the lambda variant of hydra.haskell.syntax.Expression
expressionLeftSection(TypedTerm<SectionExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the leftSection variant of hydra.haskell.syntax.Expression
expressionLet(TypedTerm<LetExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the let variant of hydra.haskell.syntax.Expression
expressionList(TypedTerm<List<Expression>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the list variant of hydra.haskell.syntax.Expression
expressionLiteral(TypedTerm<Literal>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the literal variant of hydra.haskell.syntax.Expression
expressionRightSection(TypedTerm<SectionExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the rightSection variant of hydra.haskell.syntax.Expression
expressionToExpr(Expression) - Static method in interface hydra.haskell.Serde
Convert a Haskell expression to an AST expression
expressionTuple(TypedTerm<List<Expression>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the tuple variant of hydra.haskell.syntax.Expression
expressionTypeSignature(TypedTerm<TypedExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the typeSignature variant of hydra.haskell.syntax.Expression
expressionUpdateRecord(TypedTerm<RecordUpdateExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the updateRecord variant of hydra.haskell.syntax.Expression
expressionVariable(TypedTerm<Name>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the variable variant of hydra.haskell.syntax.Expression
extendMetaForTerm(HaskellModuleMetadata, Term) - Static method in interface hydra.haskell.Coder
Extend metadata by analyzing a term for standard import usage (bottom-up step function)
extendMetaForType(HaskellModuleMetadata, Type) - Static method in interface hydra.haskell.Coder
Extend metadata by analyzing a type for standard import usage (bottom-up step function)
extractEncodedTermVariableNames(Graph, Term) - Static method in interface hydra.haskell.Testing
Extract all variable names from term-encoded terms in a given term
extractTestTerms(T0) - Static method in interface hydra.haskell.Testing
Extract input and output terms from a test case

F

field(TypedTerm<Name>, TypedTerm<Type>, TypedTerm<Optional<String>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.Field
Field - Class in hydra.haskell.syntax
A field (name/type pair)
Field(Name, Type, Optional<String>) - Constructor for class hydra.haskell.syntax.Field
Constructs an immutable Field.
Field.Builder - Class in hydra.haskell.syntax
A fluent builder for Field.
fieldComments(TypedTerm<Field>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the comments field of hydra.haskell.syntax.Field
fieldField() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.Field
fieldName(TypedTerm<Field>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the name field of hydra.haskell.syntax.Field
fields - Variable in class hydra.haskell.syntax.PositionalConstructor
The types of the positional fields
fields - Variable in class hydra.haskell.syntax.RecordConstructor
The named fields of the record
fields - Variable in class hydra.haskell.syntax.RecordExpression
The field assignments
fields - Variable in class hydra.haskell.syntax.RecordPattern
The field patterns
fields - Variable in class hydra.haskell.syntax.RecordUpdateExpression
The field updates
fields(List<Field>) - Method in class hydra.haskell.syntax.RecordConstructor.Builder
 
fields(List<FieldUpdate>) - Method in class hydra.haskell.syntax.RecordExpression.Builder
 
fields(List<FieldUpdate>) - Method in class hydra.haskell.syntax.RecordUpdateExpression.Builder
 
fields(List<PatternField>) - Method in class hydra.haskell.syntax.RecordPattern.Builder
 
fields(List<Type>) - Method in class hydra.haskell.syntax.PositionalConstructor.Builder
 
FIELDS - Static variable in class hydra.haskell.syntax.PositionalConstructor
Name of the hydra.haskell.syntax.PositionalConstructor.fields field.
FIELDS - Static variable in class hydra.haskell.syntax.RecordConstructor
Name of the hydra.haskell.syntax.RecordConstructor.fields field.
FIELDS - Static variable in class hydra.haskell.syntax.RecordExpression
Name of the hydra.haskell.syntax.RecordExpression.fields field.
FIELDS - Static variable in class hydra.haskell.syntax.RecordPattern
Name of the hydra.haskell.syntax.RecordPattern.fields field.
FIELDS - Static variable in class hydra.haskell.syntax.RecordUpdateExpression
Name of the hydra.haskell.syntax.RecordUpdateExpression.fields field.
fieldToExpr(Field) - Static method in interface hydra.haskell.Serde
Convert a field declaration to an AST expression
fieldType(TypedTerm<Field>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the type field of hydra.haskell.syntax.Field
fieldUpdate(TypedTerm<Name>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.FieldUpdate
FieldUpdate - Class in hydra.haskell.syntax
A field name and value
FieldUpdate(Name, Expression) - Constructor for class hydra.haskell.syntax.FieldUpdate
Constructs an immutable FieldUpdate.
FieldUpdate.Builder - Class in hydra.haskell.syntax
A fluent builder for FieldUpdate.
fieldUpdateFieldUpdate() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.FieldUpdate
fieldUpdateName(TypedTerm<FieldUpdate>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the name field of hydra.haskell.syntax.FieldUpdate
fieldUpdateValue(TypedTerm<FieldUpdate>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the value field of hydra.haskell.syntax.FieldUpdate
fieldUpdateWithName(TypedTerm<FieldUpdate>, TypedTerm<Name>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the name field of hydra.haskell.syntax.FieldUpdate
fieldUpdateWithValue(TypedTerm<FieldUpdate>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the value field of hydra.haskell.syntax.FieldUpdate
fieldWithComments(TypedTerm<Field>, TypedTerm<Optional<String>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the comments field of hydra.haskell.syntax.Field
fieldWithName(TypedTerm<Field>, TypedTerm<Name>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the name field of hydra.haskell.syntax.Field
fieldWithType(TypedTerm<Field>, TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the type field of hydra.haskell.syntax.Field
findHaskellImports(ModuleNames<ModuleName>, T0) - Static method in interface hydra.haskell.Testing
Find necessary imports for Haskell based on referenced names
findOrdVariables(Type) - Static method in interface hydra.haskell.Coder
Find type variables that require an Ord constraint (used in maps or sets)
FLOAT - Static variable in class hydra.haskell.syntax.Literal
Name of the hydra.haskell.syntax.Literal.float field.
Float_(Float) - Constructor for class hydra.haskell.syntax.Literal.Float_
Constructs an immutable Literal.Float_.
fmapOp() - Static method in interface hydra.haskell.Operators
Functor map (<$>)
function - Variable in class hydra.haskell.syntax.ApplicationDeclarationHead
The function being applied
function - Variable in class hydra.haskell.syntax.ApplicationExpression
The function being applied
function(DeclarationHead) - Method in class hydra.haskell.syntax.ApplicationDeclarationHead.Builder
 
function(Expression) - Method in class hydra.haskell.syntax.ApplicationExpression.Builder
 
Function(FunctionType) - Constructor for class hydra.haskell.syntax.Type.Function
Constructs an immutable Type.Function.
FUNCTION - Static variable in class hydra.haskell.syntax.ApplicationDeclarationHead
Name of the hydra.haskell.syntax.ApplicationDeclarationHead.function field.
FUNCTION - Static variable in class hydra.haskell.syntax.ApplicationExpression
Name of the hydra.haskell.syntax.ApplicationExpression.function field.
FUNCTION - Static variable in class hydra.haskell.syntax.Type
Name of the hydra.haskell.syntax.Type.function field.
functionType(TypedTerm<Type>, TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.FunctionType
FunctionType - Class in hydra.haskell.syntax
A function type
FunctionType(Type, Type) - Constructor for class hydra.haskell.syntax.FunctionType
Constructs an immutable FunctionType.
FunctionType.Builder - Class in hydra.haskell.syntax
A fluent builder for FunctionType.
functionTypeCodomain(TypedTerm<FunctionType>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the codomain field of hydra.haskell.syntax.FunctionType
functionTypeDomain(TypedTerm<FunctionType>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the domain field of hydra.haskell.syntax.FunctionType
functionTypeFunctionType() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.FunctionType
functionTypeWithCodomain(TypedTerm<FunctionType>, TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the codomain field of hydra.haskell.syntax.FunctionType
functionTypeWithDomain(TypedTerm<FunctionType>, TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the domain field of hydra.haskell.syntax.FunctionType

G

gatherMetadata(List<Definition>) - Static method in interface hydra.haskell.Coder
Gather metadata from definitions by bottom-up traversal of all terms and types
generateHaskellTestFile(Module, TestGroup, Graph) - Static method in interface hydra.haskell.Testing
Generate a Haskell test file for a test group, with type inference and namespace building
generateTestCase(T0, TestCaseWithMetadata) - Static method in interface hydra.haskell.Testing
Generate a single HSpec test case from a universal test case
generateTestFile(Module, TestGroup, ModuleNames<ModuleName>) - Static method in interface hydra.haskell.Testing
Generate a complete Haskell test file
generateTestGroupHierarchy(Integer, TestGroup) - Static method in interface hydra.haskell.Testing
Generate test hierarchy preserving the structure with H.describe blocks for subgroups
getImplicitTypeClasses(Type) - Static method in interface hydra.haskell.Coder
Get implicit typeclass constraints for type variables that need Ord
getImplicitTypeClasses_toPair(T0) - Static method in interface hydra.haskell.Coder
 
gteOp() - Static method in interface hydra.haskell.Operators
Greater than or equal (>=)
gtOp() - Static method in interface hydra.haskell.Operators
Greater than (>)

H

haddockEntityRef(EntityReference) - Static method in interface hydra.haskell.Serde
Render a EntityReference as Haddock link syntax
hashCode() - Method in class hydra.haskell.environment.HaskellModuleMetadata
 
hashCode() - Method in class hydra.haskell.syntax.Alternative
 
hashCode() - Method in class hydra.haskell.syntax.ApplicationDeclarationHead
 
hashCode() - Method in class hydra.haskell.syntax.ApplicationExpression
 
hashCode() - Method in class hydra.haskell.syntax.ApplicationPattern
 
hashCode() - Method in class hydra.haskell.syntax.ApplicationType
 
hashCode() - Method in class hydra.haskell.syntax.AsPattern
 
hashCode() - Method in class hydra.haskell.syntax.CaseExpression
 
hashCode() - Method in class hydra.haskell.syntax.CaseRhs
 
hashCode() - Method in class hydra.haskell.syntax.ClassConstraint
 
hashCode() - Method in class hydra.haskell.syntax.ConstrainedType
 
hashCode() - Method in class hydra.haskell.syntax.Constraint.Class_
 
hashCode() - Method in class hydra.haskell.syntax.Constraint.Tuple
 
hashCode() - Method in class hydra.haskell.syntax.Constructor.Ordinary
 
hashCode() - Method in class hydra.haskell.syntax.Constructor.Record
 
hashCode() - Method in class hydra.haskell.syntax.DataDeclaration
 
hashCode() - Method in class hydra.haskell.syntax.DataKeyword.Data
 
hashCode() - Method in class hydra.haskell.syntax.DataKeyword.Newtype
 
hashCode() - Method in class hydra.haskell.syntax.Declaration.Data
 
hashCode() - Method in class hydra.haskell.syntax.Declaration.Type
 
hashCode() - Method in class hydra.haskell.syntax.Declaration.TypedBinding
 
hashCode() - Method in class hydra.haskell.syntax.Declaration.ValueBinding
 
hashCode() - Method in class hydra.haskell.syntax.DeclarationHead.Application
 
hashCode() - Method in class hydra.haskell.syntax.DeclarationHead.Simple
 
hashCode() - Method in class hydra.haskell.syntax.DerivingClause
 
hashCode() - Method in class hydra.haskell.syntax.Export.Declaration
 
hashCode() - Method in class hydra.haskell.syntax.Export.Module
 
hashCode() - Method in class hydra.haskell.syntax.Expression.Application
 
hashCode() - Method in class hydra.haskell.syntax.Expression.Case
 
hashCode() - Method in class hydra.haskell.syntax.Expression.ConstructRecord
 
hashCode() - Method in class hydra.haskell.syntax.Expression.Do
 
hashCode() - Method in class hydra.haskell.syntax.Expression.If
 
hashCode() - Method in class hydra.haskell.syntax.Expression.InfixApplication
 
hashCode() - Method in class hydra.haskell.syntax.Expression.Lambda
 
hashCode() - Method in class hydra.haskell.syntax.Expression.LeftSection
 
hashCode() - Method in class hydra.haskell.syntax.Expression.Let
 
hashCode() - Method in class hydra.haskell.syntax.Expression.List
 
hashCode() - Method in class hydra.haskell.syntax.Expression.Literal
 
hashCode() - Method in class hydra.haskell.syntax.Expression.RightSection
 
hashCode() - Method in class hydra.haskell.syntax.Expression.Tuple
 
hashCode() - Method in class hydra.haskell.syntax.Expression.TypeSignature
 
hashCode() - Method in class hydra.haskell.syntax.Expression.UpdateRecord
 
hashCode() - Method in class hydra.haskell.syntax.Expression.Variable
 
hashCode() - Method in class hydra.haskell.syntax.Field
 
hashCode() - Method in class hydra.haskell.syntax.FieldUpdate
 
hashCode() - Method in class hydra.haskell.syntax.FunctionType
 
hashCode() - Method in class hydra.haskell.syntax.IfExpression
 
hashCode() - Method in class hydra.haskell.syntax.Import
 
hashCode() - Method in class hydra.haskell.syntax.ImportExportSubspec.All
 
hashCode() - Method in class hydra.haskell.syntax.ImportExportSubspec.List
 
hashCode() - Method in class hydra.haskell.syntax.ImportModifier.Pattern
 
hashCode() - Method in class hydra.haskell.syntax.ImportModifier.Type
 
hashCode() - Method in class hydra.haskell.syntax.ImportSpec.Hiding
 
hashCode() - Method in class hydra.haskell.syntax.ImportSpec.List
 
hashCode() - Method in class hydra.haskell.syntax.InfixExpression
 
hashCode() - Method in class hydra.haskell.syntax.InfixType
 
hashCode() - Method in class hydra.haskell.syntax.LambdaExpression
 
hashCode() - Method in class hydra.haskell.syntax.LetExpression
 
hashCode() - Method in class hydra.haskell.syntax.Literal.Char
 
hashCode() - Method in class hydra.haskell.syntax.Literal.Double_
 
hashCode() - Method in class hydra.haskell.syntax.Literal.Float_
 
hashCode() - Method in class hydra.haskell.syntax.Literal.Int
 
hashCode() - Method in class hydra.haskell.syntax.Literal.Integer_
 
hashCode() - Method in class hydra.haskell.syntax.Literal.String_
 
hashCode() - Method in class hydra.haskell.syntax.LocalBinding.Signature
 
hashCode() - Method in class hydra.haskell.syntax.LocalBinding.Value
 
hashCode() - Method in class hydra.haskell.syntax.LocalBindings
 
hashCode() - Method in class hydra.haskell.syntax.Module
 
hashCode() - Method in class hydra.haskell.syntax.ModuleHead
 
hashCode() - Method in class hydra.haskell.syntax.ModuleName
 
hashCode() - Method in class hydra.haskell.syntax.Name.Implicit
 
hashCode() - Method in class hydra.haskell.syntax.Name.Normal
 
hashCode() - Method in class hydra.haskell.syntax.NamedImportExport
 
hashCode() - Method in class hydra.haskell.syntax.NamePart
 
hashCode() - Method in class hydra.haskell.syntax.Operator.Backtick
 
hashCode() - Method in class hydra.haskell.syntax.Operator.Normal
 
hashCode() - Method in class hydra.haskell.syntax.Pattern.Application
 
hashCode() - Method in class hydra.haskell.syntax.Pattern.As
 
hashCode() - Method in class hydra.haskell.syntax.Pattern.List
 
hashCode() - Method in class hydra.haskell.syntax.Pattern.Literal
 
hashCode() - Method in class hydra.haskell.syntax.Pattern.Name
 
hashCode() - Method in class hydra.haskell.syntax.Pattern.Record
 
hashCode() - Method in class hydra.haskell.syntax.Pattern.Tuple
 
hashCode() - Method in class hydra.haskell.syntax.Pattern.Typed
 
hashCode() - Method in class hydra.haskell.syntax.Pattern.Wildcard
 
hashCode() - Method in class hydra.haskell.syntax.PatternField
 
hashCode() - Method in class hydra.haskell.syntax.PositionalConstructor
 
hashCode() - Method in class hydra.haskell.syntax.QualifiedName
 
hashCode() - Method in class hydra.haskell.syntax.RecordConstructor
 
hashCode() - Method in class hydra.haskell.syntax.RecordExpression
 
hashCode() - Method in class hydra.haskell.syntax.RecordPattern
 
hashCode() - Method in class hydra.haskell.syntax.RecordUpdateExpression
 
hashCode() - Method in class hydra.haskell.syntax.RightHandSide
 
hashCode() - Method in class hydra.haskell.syntax.SectionExpression
 
hashCode() - Method in class hydra.haskell.syntax.SimpleValueBinding
 
hashCode() - Method in class hydra.haskell.syntax.Statement
 
hashCode() - Method in class hydra.haskell.syntax.Type.Application
 
hashCode() - Method in class hydra.haskell.syntax.Type.Ctx
 
hashCode() - Method in class hydra.haskell.syntax.Type.Function
 
hashCode() - Method in class hydra.haskell.syntax.Type.Infix
 
hashCode() - Method in class hydra.haskell.syntax.Type.List
 
hashCode() - Method in class hydra.haskell.syntax.Type.Tuple
 
hashCode() - Method in class hydra.haskell.syntax.Type.Variable
 
hashCode() - Method in class hydra.haskell.syntax.TypedBinding
 
hashCode() - Method in class hydra.haskell.syntax.TypedExpression
 
hashCode() - Method in class hydra.haskell.syntax.TypedPattern
 
hashCode() - Method in class hydra.haskell.syntax.TypeSignature
 
hashCode() - Method in class hydra.haskell.syntax.TypeSynonymDeclaration
 
hashCode() - Method in class hydra.haskell.syntax.ValueBinding.Simple
 
hashCode() - Method in class hydra.haskell.syntax.Variable
 
haskellLanguage() - Static method in interface hydra.haskell.Language
Language constraints for Haskell
haskellLanguage_typePredicate(T0) - Static method in interface hydra.haskell.Language
 
haskellModuleMetadata(TypedTerm<Boolean>, TypedTerm<Boolean>, TypedTerm<Boolean>, TypedTerm<Boolean>, TypedTerm<Boolean>) - Static method in interface hydra.dsl.haskell.Environment
DSL constructor for hydra.haskell.environment.HaskellModuleMetadata
HaskellModuleMetadata - Class in hydra.haskell.environment
Metadata used to determine which standard imports are needed in a generated Haskell module
HaskellModuleMetadata(Boolean, Boolean, Boolean, Boolean, Boolean) - Constructor for class hydra.haskell.environment.HaskellModuleMetadata
Constructs an immutable HaskellModuleMetadata.
HaskellModuleMetadata.Builder - Class in hydra.haskell.environment
A fluent builder for HaskellModuleMetadata.
haskellModuleMetadataHaskellModuleMetadata() - Static method in interface hydra.dsl.haskell.Environment
DSL name token for hydra.haskell.environment.HaskellModuleMetadata
haskellModuleMetadataUsesByteString(TypedTerm<HaskellModuleMetadata>) - Static method in interface hydra.dsl.haskell.Environment
DSL accessor for the usesByteString field of hydra.haskell.environment.HaskellModuleMetadata
haskellModuleMetadataUsesInt(TypedTerm<HaskellModuleMetadata>) - Static method in interface hydra.dsl.haskell.Environment
DSL accessor for the usesInt field of hydra.haskell.environment.HaskellModuleMetadata
haskellModuleMetadataUsesMap(TypedTerm<HaskellModuleMetadata>) - Static method in interface hydra.dsl.haskell.Environment
DSL accessor for the usesMap field of hydra.haskell.environment.HaskellModuleMetadata
haskellModuleMetadataUsesSet(TypedTerm<HaskellModuleMetadata>) - Static method in interface hydra.dsl.haskell.Environment
DSL accessor for the usesSet field of hydra.haskell.environment.HaskellModuleMetadata
haskellModuleMetadataUsesVoid(TypedTerm<HaskellModuleMetadata>) - Static method in interface hydra.dsl.haskell.Environment
DSL accessor for the usesVoid field of hydra.haskell.environment.HaskellModuleMetadata
haskellModuleMetadataWithUsesByteString(TypedTerm<HaskellModuleMetadata>, TypedTerm<Boolean>) - Static method in interface hydra.dsl.haskell.Environment
DSL updater for the usesByteString field of hydra.haskell.environment.HaskellModuleMetadata
haskellModuleMetadataWithUsesInt(TypedTerm<HaskellModuleMetadata>, TypedTerm<Boolean>) - Static method in interface hydra.dsl.haskell.Environment
DSL updater for the usesInt field of hydra.haskell.environment.HaskellModuleMetadata
haskellModuleMetadataWithUsesMap(TypedTerm<HaskellModuleMetadata>, TypedTerm<Boolean>) - Static method in interface hydra.dsl.haskell.Environment
DSL updater for the usesMap field of hydra.haskell.environment.HaskellModuleMetadata
haskellModuleMetadataWithUsesSet(TypedTerm<HaskellModuleMetadata>, TypedTerm<Boolean>) - Static method in interface hydra.dsl.haskell.Environment
DSL updater for the usesSet field of hydra.haskell.environment.HaskellModuleMetadata
haskellModuleMetadataWithUsesVoid(TypedTerm<HaskellModuleMetadata>, TypedTerm<Boolean>) - Static method in interface hydra.dsl.haskell.Environment
DSL updater for the usesVoid field of hydra.haskell.environment.HaskellModuleMetadata
head - Variable in class hydra.haskell.syntax.DataDeclaration
The declaration head
head - Variable in class hydra.haskell.syntax.Module
Optional module head
head(DeclarationHead) - Method in class hydra.haskell.syntax.DataDeclaration.Builder
 
head(Optional<ModuleHead>) - Method in class hydra.haskell.syntax.Module.Builder
 
HEAD - Static variable in class hydra.haskell.syntax.DataDeclaration
Name of the hydra.haskell.syntax.DataDeclaration.head field.
HEAD - Static variable in class hydra.haskell.syntax.Module
Name of the hydra.haskell.syntax.Module.head field.
Hiding(List<NamedImportExport>) - Constructor for class hydra.haskell.syntax.ImportSpec.Hiding
Constructs an immutable ImportSpec.Hiding.
HIDING - Static variable in class hydra.haskell.syntax.ImportSpec
Name of the hydra.haskell.syntax.ImportSpec.hiding field.
hsapp(Expression, Expression) - Static method in interface hydra.haskell.Utils
Create a Haskell function application expression
hslambda(Name, Expression) - Static method in interface hydra.haskell.Utils
Create a Haskell lambda expression
hslit(Literal) - Static method in interface hydra.haskell.Utils
Create a Haskell literal expression
hsvar(String) - Static method in interface hydra.haskell.Utils
Create a Haskell variable expression from a string
hydra.dsl.haskell - package hydra.dsl.haskell
 
hydra.haskell - package hydra.haskell
 
hydra.haskell.environment - package hydra.haskell.environment
 
hydra.haskell.syntax - package hydra.haskell.syntax
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Constraint.Class_
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Constraint
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Constraint.Tuple
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Constructor
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Constructor.Ordinary
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Constructor.Record
 
hydraOrdinal() - Method in class hydra.haskell.syntax.DataKeyword.Data
 
hydraOrdinal() - Method in class hydra.haskell.syntax.DataKeyword
 
hydraOrdinal() - Method in class hydra.haskell.syntax.DataKeyword.Newtype
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Declaration.Data
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Declaration
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Declaration.Type
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Declaration.TypedBinding
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Declaration.ValueBinding
 
hydraOrdinal() - Method in class hydra.haskell.syntax.DeclarationHead.Application
 
hydraOrdinal() - Method in class hydra.haskell.syntax.DeclarationHead
 
hydraOrdinal() - Method in class hydra.haskell.syntax.DeclarationHead.Simple
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Export.Declaration
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Export
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Export.Module
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Expression.Application
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Expression.Case
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Expression.ConstructRecord
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Expression.Do
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Expression
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Expression.If
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Expression.InfixApplication
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Expression.Lambda
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Expression.LeftSection
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Expression.Let
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Expression.List
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Expression.Literal
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Expression.RightSection
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Expression.Tuple
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Expression.TypeSignature
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Expression.UpdateRecord
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Expression.Variable
 
hydraOrdinal() - Method in class hydra.haskell.syntax.ImportExportSubspec.All
 
hydraOrdinal() - Method in class hydra.haskell.syntax.ImportExportSubspec
 
hydraOrdinal() - Method in class hydra.haskell.syntax.ImportExportSubspec.List
 
hydraOrdinal() - Method in class hydra.haskell.syntax.ImportModifier
 
hydraOrdinal() - Method in class hydra.haskell.syntax.ImportModifier.Pattern
 
hydraOrdinal() - Method in class hydra.haskell.syntax.ImportModifier.Type
 
hydraOrdinal() - Method in class hydra.haskell.syntax.ImportSpec.Hiding
 
hydraOrdinal() - Method in class hydra.haskell.syntax.ImportSpec
 
hydraOrdinal() - Method in class hydra.haskell.syntax.ImportSpec.List
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Literal.Char
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Literal.Double_
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Literal.Float_
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Literal
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Literal.Int
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Literal.Integer_
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Literal.String_
 
hydraOrdinal() - Method in class hydra.haskell.syntax.LocalBinding
 
hydraOrdinal() - Method in class hydra.haskell.syntax.LocalBinding.Signature
 
hydraOrdinal() - Method in class hydra.haskell.syntax.LocalBinding.Value
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Name
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Name.Implicit
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Name.Normal
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Operator.Backtick
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Operator
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Operator.Normal
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Pattern.Application
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Pattern.As
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Pattern
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Pattern.List
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Pattern.Literal
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Pattern.Name
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Pattern.Record
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Pattern.Tuple
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Pattern.Typed
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Pattern.Wildcard
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Type.Application
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Type.Ctx
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Type.Function
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Type
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Type.Infix
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Type.List
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Type.Tuple
 
hydraOrdinal() - Method in class hydra.haskell.syntax.Type.Variable
 
hydraOrdinal() - Method in class hydra.haskell.syntax.ValueBinding
 
hydraOrdinal() - Method in class hydra.haskell.syntax.ValueBinding.Simple
 

I

If(IfExpression) - Constructor for class hydra.haskell.syntax.Expression.If
Constructs an immutable Expression.If.
IF - Static variable in class hydra.haskell.syntax.Expression
Name of the hydra.haskell.syntax.Expression.if field.
ifExpression(TypedTerm<Expression>, TypedTerm<Expression>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.IfExpression
IfExpression - Class in hydra.haskell.syntax
An 'if' expression
IfExpression(Expression, Expression, Expression) - Constructor for class hydra.haskell.syntax.IfExpression
Constructs an immutable IfExpression.
IfExpression.Builder - Class in hydra.haskell.syntax
A fluent builder for IfExpression.
ifExpressionCondition(TypedTerm<IfExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the condition field of hydra.haskell.syntax.IfExpression
ifExpressionElse(TypedTerm<IfExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the else field of hydra.haskell.syntax.IfExpression
ifExpressionIfExpression() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.IfExpression
ifExpressionThen(TypedTerm<IfExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the then field of hydra.haskell.syntax.IfExpression
ifExpressionToExpr(IfExpression) - Static method in interface hydra.haskell.Serde
Convert an if-then-else expression to an AST expression
ifExpressionWithCondition(TypedTerm<IfExpression>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the condition field of hydra.haskell.syntax.IfExpression
ifExpressionWithElse(TypedTerm<IfExpression>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the else field of hydra.haskell.syntax.IfExpression
ifExpressionWithThen(TypedTerm<IfExpression>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the then field of hydra.haskell.syntax.IfExpression
Implicit(QualifiedName) - Constructor for class hydra.haskell.syntax.Name.Implicit
Constructs an immutable Name.Implicit.
IMPLICIT - Static variable in class hydra.haskell.syntax.Name
Name of the hydra.haskell.syntax.Name.implicit field.
Import - Class in hydra.haskell.syntax
An import statement
Import(Boolean, ModuleName, Optional<ModuleName>, Optional<ImportSpec>) - Constructor for class hydra.haskell.syntax.Import
Constructs an immutable Import.
import_(TypedTerm<Boolean>, TypedTerm<ModuleName>, TypedTerm<Optional<ModuleName>>, TypedTerm<Optional<ImportSpec>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.Import
Import.Builder - Class in hydra.haskell.syntax
A fluent builder for Import.
importAs(TypedTerm<Import>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the as field of hydra.haskell.syntax.Import
ImportExportSubspec - Class in hydra.haskell.syntax
A subspecification within an import/export
ImportExportSubspec.All - Class in hydra.haskell.syntax
Import/export all
ImportExportSubspec.List - Class in hydra.haskell.syntax
Import/export specific names
ImportExportSubspec.PartialVisitor<R> - Interface in hydra.haskell.syntax
ImportExportSubspec.Visitor<R> - Interface in hydra.haskell.syntax
Visitor over ImportExportSubspec.
importExportSubspecAll() - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the all variant of hydra.haskell.syntax.ImportExportSubspec
importExportSubspecImportExportSubspec() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.ImportExportSubspec
importExportSubspecList(TypedTerm<List<Name>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the list variant of hydra.haskell.syntax.ImportExportSubspec
importImport() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.Import
ImportModifier - Class in hydra.haskell.syntax
An import modifier ('pattern' or 'type')
ImportModifier.PartialVisitor<R> - Interface in hydra.haskell.syntax
ImportModifier.Pattern - Class in hydra.haskell.syntax
 
ImportModifier.Type - Class in hydra.haskell.syntax
 
ImportModifier.Visitor<R> - Interface in hydra.haskell.syntax
Visitor over ImportModifier.
importModifierImportModifier() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.ImportModifier
importModifierPattern() - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the pattern variant of hydra.haskell.syntax.ImportModifier
importModifierType() - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the type variant of hydra.haskell.syntax.ImportModifier
importModule(TypedTerm<Import>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the module field of hydra.haskell.syntax.Import
importQualified(TypedTerm<Import>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the qualified field of hydra.haskell.syntax.Import
imports - Variable in class hydra.haskell.syntax.Module
Import statements
imports(List<Import>) - Method in class hydra.haskell.syntax.Module.Builder
 
IMPORTS - Static variable in class hydra.haskell.syntax.Module
Name of the hydra.haskell.syntax.Module.imports field.
importSpec(TypedTerm<Import>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the spec field of hydra.haskell.syntax.Import
ImportSpec - Class in hydra.haskell.syntax
An import specification
ImportSpec.Hiding - Class in hydra.haskell.syntax
A list of imports to exclude
ImportSpec.List - Class in hydra.haskell.syntax
A list of imports to include
ImportSpec.PartialVisitor<R> - Interface in hydra.haskell.syntax
ImportSpec.Visitor<R> - Interface in hydra.haskell.syntax
Visitor over ImportSpec.
importSpecHiding(TypedTerm<List<NamedImportExport>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the hiding variant of hydra.haskell.syntax.ImportSpec
importSpecImportSpec() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.ImportSpec
importSpecList(TypedTerm<List<NamedImportExport>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the list variant of hydra.haskell.syntax.ImportSpec
importToExpr(Import) - Static method in interface hydra.haskell.Serde
Convert an import statement to an AST expression
importWithAs(TypedTerm<Import>, TypedTerm<Optional<ModuleName>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the as field of hydra.haskell.syntax.Import
importWithModule(TypedTerm<Import>, TypedTerm<ModuleName>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the module field of hydra.haskell.syntax.Import
importWithQualified(TypedTerm<Import>, TypedTerm<Boolean>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the qualified field of hydra.haskell.syntax.Import
importWithSpec(TypedTerm<Import>, TypedTerm<Optional<ImportSpec>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the spec field of hydra.haskell.syntax.Import
includeTypeDefinitions() - Static method in interface hydra.haskell.Coder
Whether to include type definitions in generated Haskell modules
indexOp() - Static method in interface hydra.haskell.Operators
List indexing (!!)
Infix(InfixType) - Constructor for class hydra.haskell.syntax.Type.Infix
Constructs an immutable Type.Infix.
INFIX - Static variable in class hydra.haskell.syntax.Type
Name of the hydra.haskell.syntax.Type.infix field.
INFIX_APPLICATION - Static variable in class hydra.haskell.syntax.Expression
Name of the hydra.haskell.syntax.Expression.infixApplication field.
InfixApplication(InfixExpression) - Constructor for class hydra.haskell.syntax.Expression.InfixApplication
Constructs an immutable Expression.InfixApplication.
infixExpression(TypedTerm<Expression>, TypedTerm<Operator>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.InfixExpression
InfixExpression - Class in hydra.haskell.syntax
An infix application expression
InfixExpression(Expression, Operator, Expression) - Constructor for class hydra.haskell.syntax.InfixExpression
Constructs an immutable InfixExpression.
InfixExpression.Builder - Class in hydra.haskell.syntax
A fluent builder for InfixExpression.
infixExpressionInfixExpression() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.InfixExpression
infixExpressionLhs(TypedTerm<InfixExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the lhs field of hydra.haskell.syntax.InfixExpression
infixExpressionOperator(TypedTerm<InfixExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the operator field of hydra.haskell.syntax.InfixExpression
infixExpressionRhs(TypedTerm<InfixExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the rhs field of hydra.haskell.syntax.InfixExpression
infixExpressionWithLhs(TypedTerm<InfixExpression>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the lhs field of hydra.haskell.syntax.InfixExpression
infixExpressionWithOperator(TypedTerm<InfixExpression>, TypedTerm<Operator>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the operator field of hydra.haskell.syntax.InfixExpression
infixExpressionWithRhs(TypedTerm<InfixExpression>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the rhs field of hydra.haskell.syntax.InfixExpression
infixType(TypedTerm<Type>, TypedTerm<Operator>, TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.InfixType
InfixType - Class in hydra.haskell.syntax
An infix type application
InfixType(Type, Operator, Type) - Constructor for class hydra.haskell.syntax.InfixType
Constructs an immutable InfixType.
InfixType.Builder - Class in hydra.haskell.syntax
A fluent builder for InfixType.
infixTypeInfixType() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.InfixType
infixTypeLhs(TypedTerm<InfixType>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the lhs field of hydra.haskell.syntax.InfixType
infixTypeOperator(TypedTerm<InfixType>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the operator field of hydra.haskell.syntax.InfixType
infixTypeRhs(TypedTerm<InfixType>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the rhs field of hydra.haskell.syntax.InfixType
infixTypeWithLhs(TypedTerm<InfixType>, TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the lhs field of hydra.haskell.syntax.InfixType
infixTypeWithOperator(TypedTerm<InfixType>, TypedTerm<Operator>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the operator field of hydra.haskell.syntax.InfixType
infixTypeWithRhs(TypedTerm<InfixType>, TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the rhs field of hydra.haskell.syntax.InfixType
inner - Variable in class hydra.haskell.syntax.AsPattern
The inner pattern
inner - Variable in class hydra.haskell.syntax.LambdaExpression
The body of the lambda
inner - Variable in class hydra.haskell.syntax.LetExpression
The body of the let expression
inner - Variable in class hydra.haskell.syntax.RecordUpdateExpression
The record being updated
inner - Variable in class hydra.haskell.syntax.TypedExpression
The expression being typed
inner - Variable in class hydra.haskell.syntax.TypedPattern
The inner pattern
inner(Expression) - Method in class hydra.haskell.syntax.LambdaExpression.Builder
 
inner(Expression) - Method in class hydra.haskell.syntax.LetExpression.Builder
 
inner(Expression) - Method in class hydra.haskell.syntax.RecordUpdateExpression.Builder
 
inner(Expression) - Method in class hydra.haskell.syntax.TypedExpression.Builder
 
inner(Pattern) - Method in class hydra.haskell.syntax.AsPattern.Builder
 
inner(Pattern) - Method in class hydra.haskell.syntax.TypedPattern.Builder
 
INNER - Static variable in class hydra.haskell.syntax.AsPattern
Name of the hydra.haskell.syntax.AsPattern.inner field.
INNER - Static variable in class hydra.haskell.syntax.LambdaExpression
Name of the hydra.haskell.syntax.LambdaExpression.inner field.
INNER - Static variable in class hydra.haskell.syntax.LetExpression
Name of the hydra.haskell.syntax.LetExpression.inner field.
INNER - Static variable in class hydra.haskell.syntax.RecordUpdateExpression
Name of the hydra.haskell.syntax.RecordUpdateExpression.inner field.
INNER - Static variable in class hydra.haskell.syntax.TypedExpression
Name of the hydra.haskell.syntax.TypedExpression.inner field.
INNER - Static variable in class hydra.haskell.syntax.TypedPattern
Name of the hydra.haskell.syntax.TypedPattern.inner field.
Int(Integer) - Constructor for class hydra.haskell.syntax.Literal.Int
Constructs an immutable Literal.Int.
INT - Static variable in class hydra.haskell.syntax.Literal
Name of the hydra.haskell.syntax.Literal.int field.
INTEGER - Static variable in class hydra.haskell.syntax.Literal
Name of the hydra.haskell.syntax.Literal.integer field.
Integer_(BigInteger) - Constructor for class hydra.haskell.syntax.Literal.Integer_
Constructs an immutable Literal.Integer_.

K

keyHaskellVar() - Static method in interface hydra.haskell.Coder
The key used to track Haskell variable depth in annotations
keyword - Variable in class hydra.haskell.syntax.DataDeclaration
The 'data' or 'newtype' keyword
keyword(DataKeyword) - Method in class hydra.haskell.syntax.DataDeclaration.Builder
 
KEYWORD - Static variable in class hydra.haskell.syntax.DataDeclaration
Name of the hydra.haskell.syntax.DataDeclaration.keyword field.

L

Lambda(LambdaExpression) - Constructor for class hydra.haskell.syntax.Expression.Lambda
Constructs an immutable Expression.Lambda.
LAMBDA - Static variable in class hydra.haskell.syntax.Expression
Name of the hydra.haskell.syntax.Expression.lambda field.
lambdaExpression(TypedTerm<List<Pattern>>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.LambdaExpression
LambdaExpression - Class in hydra.haskell.syntax
A lambda expression
LambdaExpression(List<Pattern>, Expression) - Constructor for class hydra.haskell.syntax.LambdaExpression
Constructs an immutable LambdaExpression.
LambdaExpression.Builder - Class in hydra.haskell.syntax
A fluent builder for LambdaExpression.
lambdaExpressionBindings(TypedTerm<LambdaExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the bindings field of hydra.haskell.syntax.LambdaExpression
lambdaExpressionInner(TypedTerm<LambdaExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the inner field of hydra.haskell.syntax.LambdaExpression
lambdaExpressionLambdaExpression() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.LambdaExpression
lambdaExpressionToExpr(LambdaExpression) - Static method in interface hydra.haskell.Serde
Convert a lambda expression to an AST expression
lambdaExpressionWithBindings(TypedTerm<LambdaExpression>, TypedTerm<List<Pattern>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the bindings field of hydra.haskell.syntax.LambdaExpression
lambdaExpressionWithInner(TypedTerm<LambdaExpression>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the inner field of hydra.haskell.syntax.LambdaExpression
lambdaOp() - Static method in interface hydra.haskell.Operators
Lambda body arrow (->)
Language - Interface in hydra.haskell
Language constraints and reserved words for Haskell
LEFT_SECTION - Static variable in class hydra.haskell.syntax.Expression
Name of the hydra.haskell.syntax.Expression.leftSection field.
LeftSection(SectionExpression) - Constructor for class hydra.haskell.syntax.Expression.LeftSection
Constructs an immutable Expression.LeftSection.
Let(LetExpression) - Constructor for class hydra.haskell.syntax.Expression.Let
Constructs an immutable Expression.Let.
LET - Static variable in class hydra.haskell.syntax.Expression
Name of the hydra.haskell.syntax.Expression.let field.
letExpression(TypedTerm<List<LocalBinding>>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.LetExpression
LetExpression - Class in hydra.haskell.syntax
A 'let' expression
LetExpression(List<LocalBinding>, Expression) - Constructor for class hydra.haskell.syntax.LetExpression
Constructs an immutable LetExpression.
LetExpression.Builder - Class in hydra.haskell.syntax
A fluent builder for LetExpression.
letExpressionBindings(TypedTerm<LetExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the bindings field of hydra.haskell.syntax.LetExpression
letExpressionInner(TypedTerm<LetExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the inner field of hydra.haskell.syntax.LetExpression
letExpressionLetExpression() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.LetExpression
letExpressionWithBindings(TypedTerm<LetExpression>, TypedTerm<List<LocalBinding>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the bindings field of hydra.haskell.syntax.LetExpression
letExpressionWithInner(TypedTerm<LetExpression>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the inner field of hydra.haskell.syntax.LetExpression
lhs - Variable in class hydra.haskell.syntax.InfixExpression
The left-hand operand
lhs - Variable in class hydra.haskell.syntax.InfixType
The left-hand type
lhs(Expression) - Method in class hydra.haskell.syntax.InfixExpression.Builder
 
lhs(Type) - Method in class hydra.haskell.syntax.InfixType.Builder
 
LHS - Static variable in class hydra.haskell.syntax.InfixExpression
Name of the hydra.haskell.syntax.InfixExpression.lhs field.
LHS - Static variable in class hydra.haskell.syntax.InfixType
Name of the hydra.haskell.syntax.InfixType.lhs field.
List(Type) - Constructor for class hydra.haskell.syntax.Type.List
Constructs an immutable Type.List.
List(List<Expression>) - Constructor for class hydra.haskell.syntax.Expression.List
Constructs an immutable Expression.List.
List(List<Name>) - Constructor for class hydra.haskell.syntax.ImportExportSubspec.List
Constructs an immutable ImportExportSubspec.List.
List(List<NamedImportExport>) - Constructor for class hydra.haskell.syntax.ImportSpec.List
Constructs an immutable ImportSpec.List.
List(List<Pattern>) - Constructor for class hydra.haskell.syntax.Pattern.List
Constructs an immutable Pattern.List.
LIST - Static variable in class hydra.haskell.syntax.Expression
Name of the hydra.haskell.syntax.Expression.list field.
LIST - Static variable in class hydra.haskell.syntax.ImportExportSubspec
Name of the hydra.haskell.syntax.ImportExportSubspec.list field.
LIST - Static variable in class hydra.haskell.syntax.ImportSpec
Name of the hydra.haskell.syntax.ImportSpec.list field.
LIST - Static variable in class hydra.haskell.syntax.Pattern
Name of the hydra.haskell.syntax.Pattern.list field.
LIST - Static variable in class hydra.haskell.syntax.Type
Name of the hydra.haskell.syntax.Type.list field.
Literal - Class in hydra.haskell.syntax
A literal value
Literal(Literal) - Constructor for class hydra.haskell.syntax.Expression.Literal
Constructs an immutable Expression.Literal.
Literal(Literal) - Constructor for class hydra.haskell.syntax.Pattern.Literal
Constructs an immutable Pattern.Literal.
LITERAL - Static variable in class hydra.haskell.syntax.Expression
Name of the hydra.haskell.syntax.Expression.literal field.
LITERAL - Static variable in class hydra.haskell.syntax.Pattern
Name of the hydra.haskell.syntax.Pattern.literal field.
Literal.Char - Class in hydra.haskell.syntax
A character literal
Literal.Double_ - Class in hydra.haskell.syntax
A double-precision floating point literal
Literal.Float_ - Class in hydra.haskell.syntax
A single-precision floating point literal
Literal.Int - Class in hydra.haskell.syntax
A 32-bit integer literal
Literal.Integer_ - Class in hydra.haskell.syntax
An arbitrary-precision integer literal
Literal.PartialVisitor<R> - Interface in hydra.haskell.syntax
Literal.String_ - Class in hydra.haskell.syntax
A string literal
Literal.Visitor<R> - Interface in hydra.haskell.syntax
Visitor over Literal.
literalChar(TypedTerm<Character>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the char variant of hydra.haskell.syntax.Literal
literalDouble(TypedTerm<Double>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the double variant of hydra.haskell.syntax.Literal
literalFloat(TypedTerm<Float>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the float variant of hydra.haskell.syntax.Literal
literalInt(TypedTerm<Integer>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the int variant of hydra.haskell.syntax.Literal
literalInteger(TypedTerm<BigInteger>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the integer variant of hydra.haskell.syntax.Literal
literalLiteral() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.Literal
literalString(TypedTerm<String>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the string variant of hydra.haskell.syntax.Literal
literalToExpr(Literal) - Static method in interface hydra.haskell.Serde
Convert a literal value to an AST expression
literalToExpr_showFloat(Function<Boolean, Function<String, String>>, Function<T0, String>, T0) - Static method in interface hydra.haskell.Serde
 
LOCAL_BINDINGS - Static variable in class hydra.haskell.syntax.SimpleValueBinding
Name of the hydra.haskell.syntax.SimpleValueBinding.localBindings field.
LocalBinding - Class in hydra.haskell.syntax
A local binding
LocalBinding.PartialVisitor<R> - Interface in hydra.haskell.syntax
LocalBinding.Signature - Class in hydra.haskell.syntax
A type signature
LocalBinding.Value - Class in hydra.haskell.syntax
A value binding
LocalBinding.Visitor<R> - Interface in hydra.haskell.syntax
Visitor over LocalBinding.
localBindingLocalBinding() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.LocalBinding
localBindings - Variable in class hydra.haskell.syntax.SimpleValueBinding
Optional local bindings (where clause)
localBindings(Optional<LocalBindings>) - Method in class hydra.haskell.syntax.SimpleValueBinding.Builder
 
localBindings(TypedTerm<List<LocalBinding>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for the hydra.haskell.syntax.LocalBindings wrapper
LocalBindings - Class in hydra.haskell.syntax
A collection of local bindings
LocalBindings(List<LocalBinding>) - Constructor for class hydra.haskell.syntax.LocalBindings
Constructs an immutable LocalBindings.
LocalBindings.Builder - Class in hydra.haskell.syntax
A fluent builder for LocalBindings.
localBindingSignature(TypedTerm<TypeSignature>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the signature variant of hydra.haskell.syntax.LocalBinding
localBindingsLocalBindings() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.LocalBindings
localBindingToExpr(LocalBinding) - Static method in interface hydra.haskell.Serde
Convert a local binding to an AST expression
localBindingValue(TypedTerm<ValueBinding>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the value variant of hydra.haskell.syntax.LocalBinding
lteOp() - Static method in interface hydra.haskell.Operators
Less than or equal (<=)
ltOp() - Static method in interface hydra.haskell.Operators
Less than (<)

M

minusOp() - Static method in interface hydra.haskell.Operators
Subtraction (-).
modifier - Variable in class hydra.haskell.syntax.NamedImportExport
Optional import modifier
modifier(Optional<ImportModifier>) - Method in class hydra.haskell.syntax.NamedImportExport.Builder
 
MODIFIER - Static variable in class hydra.haskell.syntax.NamedImportExport
Name of the hydra.haskell.syntax.NamedImportExport.modifier field.
modOp() - Static method in interface hydra.haskell.Operators
Modulo (`mod`)
module - Variable in class hydra.haskell.syntax.Import
The module being imported
module(ModuleName) - Method in class hydra.haskell.syntax.Import.Builder
 
module(TypedTerm<Optional<ModuleHead>>, TypedTerm<List<Import>>, TypedTerm<List<Declaration>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.Module
Module - Class in hydra.haskell.syntax
A Haskell module
Module(ModuleName) - Constructor for class hydra.haskell.syntax.Export.Module
Constructs an immutable Export.Module.
Module(Optional<ModuleHead>, List<Import>, List<Declaration>) - Constructor for class hydra.haskell.syntax.Module
Constructs an immutable Module.
MODULE - Static variable in class hydra.haskell.syntax.Export
Name of the hydra.haskell.syntax.Export.module field.
MODULE - Static variable in class hydra.haskell.syntax.Import
Name of the hydra.haskell.syntax.Import.module field.
Module.Builder - Class in hydra.haskell.syntax
A fluent builder for Module.
moduleDeclarations(TypedTerm<Module>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the declarations field of hydra.haskell.syntax.Module
moduleHead(TypedTerm<Module>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the head field of hydra.haskell.syntax.Module
ModuleHead - Class in hydra.haskell.syntax
A module head
ModuleHead(Optional<String>, ModuleName, List<Export>) - Constructor for class hydra.haskell.syntax.ModuleHead
Constructs an immutable ModuleHead.
ModuleHead.Builder - Class in hydra.haskell.syntax
A fluent builder for ModuleHead.
moduleHead2(TypedTerm<Optional<String>>, TypedTerm<ModuleName>, TypedTerm<List<Export>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.ModuleHead
moduleHeadComments(TypedTerm<ModuleHead>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the comments field of hydra.haskell.syntax.ModuleHead
moduleHeadExports(TypedTerm<ModuleHead>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the exports field of hydra.haskell.syntax.ModuleHead
moduleHeadModuleHead() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.ModuleHead
moduleHeadName(TypedTerm<ModuleHead>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the name field of hydra.haskell.syntax.ModuleHead
moduleHeadToExpr(ModuleHead) - Static method in interface hydra.haskell.Serde
Convert a module head to an AST expression
moduleHeadWithComments(TypedTerm<ModuleHead>, TypedTerm<Optional<String>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the comments field of hydra.haskell.syntax.ModuleHead
moduleHeadWithExports(TypedTerm<ModuleHead>, TypedTerm<List<Export>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the exports field of hydra.haskell.syntax.ModuleHead
moduleHeadWithName(TypedTerm<ModuleHead>, TypedTerm<ModuleName>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the name field of hydra.haskell.syntax.ModuleHead
moduleImports(TypedTerm<Module>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the imports field of hydra.haskell.syntax.Module
moduleModule() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.Module
moduleName(TypedTerm<String>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for the hydra.haskell.syntax.ModuleName wrapper
ModuleName - Class in hydra.haskell.syntax
A module name
ModuleName(String) - Constructor for class hydra.haskell.syntax.ModuleName
Constructs an immutable ModuleName.
ModuleName.Builder - Class in hydra.haskell.syntax
A fluent builder for ModuleName.
moduleNameModuleName() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.ModuleName
moduleToExpr(Module) - Static method in interface hydra.haskell.Serde
Convert a Haskell module to an AST expression
moduleToHaskell(Set<String>, Module, List<Definition>, T0, Graph) - Static method in interface hydra.haskell.Coder
Convert a Hydra module to Haskell source code as a filepath-to-content map
moduleToHaskellModule(Set<String>, Module, List<Definition>, T0, Graph) - Static method in interface hydra.haskell.Coder
Convert a Hydra module and definitions to a Haskell module AST
moduleWithDeclarations(TypedTerm<Module>, TypedTerm<List<Declaration>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the declarations field of hydra.haskell.syntax.Module
moduleWithHead(TypedTerm<Module>, TypedTerm<Optional<ModuleHead>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the head field of hydra.haskell.syntax.Module
moduleWithImports(TypedTerm<Module>, TypedTerm<List<Import>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the imports field of hydra.haskell.syntax.Module
multOp() - Static method in interface hydra.haskell.Operators
Multiplication (*).

N

name - Variable in class hydra.haskell.syntax.ApplicationPattern
The constructor name
name - Variable in class hydra.haskell.syntax.AsPattern
The bound name
name - Variable in class hydra.haskell.syntax.ClassConstraint
The name of the class
name - Variable in class hydra.haskell.syntax.Field
The field name
name - Variable in class hydra.haskell.syntax.FieldUpdate
The field name
name - Variable in class hydra.haskell.syntax.ModuleHead
The module name
name - Variable in class hydra.haskell.syntax.NamedImportExport
The name being imported or exported
name - Variable in class hydra.haskell.syntax.PatternField
The field name
name - Variable in class hydra.haskell.syntax.PositionalConstructor
The name of the constructor
name - Variable in class hydra.haskell.syntax.RecordConstructor
The name of the constructor
name - Variable in class hydra.haskell.syntax.RecordExpression
The constructor name
name - Variable in class hydra.haskell.syntax.RecordPattern
The constructor name
name - Variable in class hydra.haskell.syntax.TypeSignature
The name being typed
name - Variable in class hydra.haskell.syntax.TypeSynonymDeclaration
The declaration head
name(DeclarationHead) - Method in class hydra.haskell.syntax.TypeSynonymDeclaration.Builder
 
name(ModuleName) - Method in class hydra.haskell.syntax.ModuleHead.Builder
 
name(Name) - Method in class hydra.haskell.syntax.ApplicationPattern.Builder
 
name(Name) - Method in class hydra.haskell.syntax.AsPattern.Builder
 
name(Name) - Method in class hydra.haskell.syntax.ClassConstraint.Builder
 
name(Name) - Method in class hydra.haskell.syntax.Field.Builder
 
name(Name) - Method in class hydra.haskell.syntax.FieldUpdate.Builder
 
name(Name) - Method in class hydra.haskell.syntax.NamedImportExport.Builder
 
name(Name) - Method in class hydra.haskell.syntax.PatternField.Builder
 
name(Name) - Method in class hydra.haskell.syntax.PositionalConstructor.Builder
 
name(Name) - Method in class hydra.haskell.syntax.RecordConstructor.Builder
 
name(Name) - Method in class hydra.haskell.syntax.RecordExpression.Builder
 
name(Name) - Method in class hydra.haskell.syntax.RecordPattern.Builder
 
name(Name) - Method in class hydra.haskell.syntax.TypeSignature.Builder
 
Name - Class in hydra.haskell.syntax
A name
Name(Name) - Constructor for class hydra.haskell.syntax.Pattern.Name
Constructs an immutable Pattern.Name.
NAME - Static variable in class hydra.haskell.syntax.ApplicationPattern
Name of the hydra.haskell.syntax.ApplicationPattern.name field.
NAME - Static variable in class hydra.haskell.syntax.AsPattern
Name of the hydra.haskell.syntax.AsPattern.name field.
NAME - Static variable in class hydra.haskell.syntax.ClassConstraint
Name of the hydra.haskell.syntax.ClassConstraint.name field.
NAME - Static variable in class hydra.haskell.syntax.Field
Name of the hydra.haskell.syntax.Field.name field.
NAME - Static variable in class hydra.haskell.syntax.FieldUpdate
Name of the hydra.haskell.syntax.FieldUpdate.name field.
NAME - Static variable in class hydra.haskell.syntax.ModuleHead
Name of the hydra.haskell.syntax.ModuleHead.name field.
NAME - Static variable in class hydra.haskell.syntax.NamedImportExport
Name of the hydra.haskell.syntax.NamedImportExport.name field.
NAME - Static variable in class hydra.haskell.syntax.Pattern
Name of the hydra.haskell.syntax.Pattern.name field.
NAME - Static variable in class hydra.haskell.syntax.PatternField
Name of the hydra.haskell.syntax.PatternField.name field.
NAME - Static variable in class hydra.haskell.syntax.PositionalConstructor
Name of the hydra.haskell.syntax.PositionalConstructor.name field.
NAME - Static variable in class hydra.haskell.syntax.RecordConstructor
Name of the hydra.haskell.syntax.RecordConstructor.name field.
NAME - Static variable in class hydra.haskell.syntax.RecordExpression
Name of the hydra.haskell.syntax.RecordExpression.name field.
NAME - Static variable in class hydra.haskell.syntax.RecordPattern
Name of the hydra.haskell.syntax.RecordPattern.name field.
NAME - Static variable in class hydra.haskell.syntax.TypeSignature
Name of the hydra.haskell.syntax.TypeSignature.name field.
NAME - Static variable in class hydra.haskell.syntax.TypeSynonymDeclaration
Name of the hydra.haskell.syntax.TypeSynonymDeclaration.name field.
Name.Implicit - Class in hydra.haskell.syntax
An implicit name
Name.Normal - Class in hydra.haskell.syntax
A normal name
Name.PartialVisitor<R> - Interface in hydra.haskell.syntax
Partial visitor over Name with a default Name.PartialVisitor.otherwise(hydra.haskell.syntax.Name) branch.
Name.Visitor<R> - Interface in hydra.haskell.syntax
Visitor over Name.
nameDecls(ModuleNames<ModuleName>, Name, Type) - Static method in interface hydra.haskell.Coder
Generate Haskell declarations for type and field name constants
namedImportExport(TypedTerm<Optional<ImportModifier>>, TypedTerm<Name>, TypedTerm<Optional<ImportExportSubspec>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.NamedImportExport
NamedImportExport - Class in hydra.haskell.syntax
An import or export specification
NamedImportExport(Optional<ImportModifier>, Name, Optional<ImportExportSubspec>) - Constructor for class hydra.haskell.syntax.NamedImportExport
Constructs an immutable NamedImportExport.
NamedImportExport.Builder - Class in hydra.haskell.syntax
A fluent builder for NamedImportExport.
namedImportExportModifier(TypedTerm<NamedImportExport>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the modifier field of hydra.haskell.syntax.NamedImportExport
namedImportExportName(TypedTerm<NamedImportExport>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the name field of hydra.haskell.syntax.NamedImportExport
namedImportExportNamedImportExport() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.NamedImportExport
namedImportExportSubspec(TypedTerm<NamedImportExport>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the subspec field of hydra.haskell.syntax.NamedImportExport
namedImportExportToExpr(NamedImportExport) - Static method in interface hydra.haskell.Serde
Convert an import/export specification to an AST expression
namedImportExportWithModifier(TypedTerm<NamedImportExport>, TypedTerm<Optional<ImportModifier>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the modifier field of hydra.haskell.syntax.NamedImportExport
namedImportExportWithName(TypedTerm<NamedImportExport>, TypedTerm<Name>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the name field of hydra.haskell.syntax.NamedImportExport
namedImportExportWithSubspec(TypedTerm<NamedImportExport>, TypedTerm<Optional<ImportExportSubspec>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the subspec field of hydra.haskell.syntax.NamedImportExport
nameImplicit(TypedTerm<QualifiedName>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the implicit variant of hydra.haskell.syntax.Name
nameName() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.Name
nameNormal(TypedTerm<QualifiedName>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the normal variant of hydra.haskell.syntax.Name
namePart(TypedTerm<String>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for the hydra.haskell.syntax.NamePart wrapper
NamePart - Class in hydra.haskell.syntax
A component of a qualified name
NamePart(String) - Constructor for class hydra.haskell.syntax.NamePart
Constructs an immutable NamePart.
NamePart.Builder - Class in hydra.haskell.syntax
A fluent builder for NamePart.
namePartNamePart() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.NamePart
namespacesForModule(Module, T0, Graph) - Static method in interface hydra.haskell.Utils
Compute the Haskell module namespaces for a Hydra module
namespacesForModule_growStep(Function<List<String>, Function<Integer, ModuleName>>, List<ModuleName>, Function<ModuleName, List<String>>, Map<ModuleName, Integer>, T1) - Static method in interface hydra.haskell.Utils
 
namespacesForModule_takenFor(Map<T1, Integer>, T1) - Static method in interface hydra.haskell.Utils
 
namespaceToModuleName(ModuleName) - Static method in interface hydra.haskell.Testing
Convert namespace to Haskell module name
nameToExpr(Name) - Static method in interface hydra.haskell.Serde
Convert a Haskell name to an AST expression
neqOp() - Static method in interface hydra.haskell.Operators
Not equal (/=)
Newtype() - Constructor for class hydra.haskell.syntax.DataKeyword.Newtype
Constructs an immutable DataKeyword.Newtype.
NEWTYPE - Static variable in class hydra.haskell.syntax.DataKeyword
Name of the hydra.haskell.syntax.DataKeyword.newtype field.
newtypeAccessorName(Name) - Static method in interface hydra.haskell.Utils
Generate an accessor name for a newtype wrapper (e.g., 'unFoo' for Foo)
Normal(QualifiedName) - Constructor for class hydra.haskell.syntax.Name.Normal
Constructs an immutable Name.Normal.
Normal(QualifiedName) - Constructor for class hydra.haskell.syntax.Operator.Normal
Constructs an immutable Operator.Normal.
NORMAL - Static variable in class hydra.haskell.syntax.Name
Name of the hydra.haskell.syntax.Name.normal field.
NORMAL - Static variable in class hydra.haskell.syntax.Operator
Name of the hydra.haskell.syntax.Operator.normal field.
notElemOp() - Static method in interface hydra.haskell.Operators
List non-membership (`notElem`)

O

operand - Variable in class hydra.haskell.syntax.ApplicationDeclarationHead
The type variable operand
operand(Variable) - Method in class hydra.haskell.syntax.ApplicationDeclarationHead.Builder
 
OPERAND - Static variable in class hydra.haskell.syntax.ApplicationDeclarationHead
Name of the hydra.haskell.syntax.ApplicationDeclarationHead.operand field.
operator - Variable in class hydra.haskell.syntax.InfixExpression
The infix operator
operator - Variable in class hydra.haskell.syntax.InfixType
The type operator
operator - Variable in class hydra.haskell.syntax.SectionExpression
The operator
operator(Operator) - Method in class hydra.haskell.syntax.InfixExpression.Builder
 
operator(Operator) - Method in class hydra.haskell.syntax.InfixType.Builder
 
operator(Operator) - Method in class hydra.haskell.syntax.SectionExpression.Builder
 
Operator - Class in hydra.haskell.syntax
An operator
OPERATOR - Static variable in class hydra.haskell.syntax.InfixExpression
Name of the hydra.haskell.syntax.InfixExpression.operator field.
OPERATOR - Static variable in class hydra.haskell.syntax.InfixType
Name of the hydra.haskell.syntax.InfixType.operator field.
OPERATOR - Static variable in class hydra.haskell.syntax.SectionExpression
Name of the hydra.haskell.syntax.SectionExpression.operator field.
Operator.Backtick - Class in hydra.haskell.syntax
A function used as an infix operator
Operator.Normal - Class in hydra.haskell.syntax
A normal infix operator
Operator.PartialVisitor<R> - Interface in hydra.haskell.syntax
Operator.Visitor<R> - Interface in hydra.haskell.syntax
Visitor over Operator.
operatorBacktick(TypedTerm<QualifiedName>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the backtick variant of hydra.haskell.syntax.Operator
operatorNormal(TypedTerm<QualifiedName>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the normal variant of hydra.haskell.syntax.Operator
operatorOperator() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.Operator
Operators - Interface in hydra.haskell
AST operators for Haskell
Ordinary(PositionalConstructor) - Constructor for class hydra.haskell.syntax.Constructor.Ordinary
Constructs an immutable Constructor.Ordinary.
ORDINARY - Static variable in class hydra.haskell.syntax.Constructor
Name of the hydra.haskell.syntax.Constructor.ordinary field.
orOp() - Static method in interface hydra.haskell.Operators
Logical OR (||)
otherwise(Constraint) - Method in interface hydra.haskell.syntax.Constraint.PartialVisitor
Default branch for unhandled cases.
otherwise(Constructor) - Method in interface hydra.haskell.syntax.Constructor.PartialVisitor
Default branch for unhandled cases.
otherwise(DataKeyword) - Method in interface hydra.haskell.syntax.DataKeyword.PartialVisitor
Default branch for unhandled cases.
otherwise(Declaration) - Method in interface hydra.haskell.syntax.Declaration.PartialVisitor
Default branch for unhandled cases.
otherwise(DeclarationHead) - Method in interface hydra.haskell.syntax.DeclarationHead.PartialVisitor
Default branch for unhandled cases.
otherwise(Export) - Method in interface hydra.haskell.syntax.Export.PartialVisitor
Default branch for unhandled cases.
otherwise(Expression) - Method in interface hydra.haskell.syntax.Expression.PartialVisitor
Default branch for unhandled cases.
otherwise(ImportExportSubspec) - Method in interface hydra.haskell.syntax.ImportExportSubspec.PartialVisitor
Default branch for unhandled cases.
otherwise(ImportModifier) - Method in interface hydra.haskell.syntax.ImportModifier.PartialVisitor
Default branch for unhandled cases.
otherwise(ImportSpec) - Method in interface hydra.haskell.syntax.ImportSpec.PartialVisitor
Default branch for unhandled cases.
otherwise(Literal) - Method in interface hydra.haskell.syntax.Literal.PartialVisitor
Default branch for unhandled cases.
otherwise(LocalBinding) - Method in interface hydra.haskell.syntax.LocalBinding.PartialVisitor
Default branch for unhandled cases.
otherwise(Name) - Method in interface hydra.haskell.syntax.Name.PartialVisitor
Default branch for unhandled cases.
otherwise(Operator) - Method in interface hydra.haskell.syntax.Operator.PartialVisitor
Default branch for unhandled cases.
otherwise(Pattern) - Method in interface hydra.haskell.syntax.Pattern.PartialVisitor
Default branch for unhandled cases.
otherwise(Type) - Method in interface hydra.haskell.syntax.Type.PartialVisitor
Default branch for unhandled cases.
otherwise(ValueBinding) - Method in interface hydra.haskell.syntax.ValueBinding.PartialVisitor
Default branch for unhandled cases.

P

pattern - Variable in class hydra.haskell.syntax.Alternative
The pattern to match
pattern - Variable in class hydra.haskell.syntax.PatternField
The field pattern
pattern - Variable in class hydra.haskell.syntax.SimpleValueBinding
The pattern being bound
pattern(Pattern) - Method in class hydra.haskell.syntax.Alternative.Builder
 
pattern(Pattern) - Method in class hydra.haskell.syntax.PatternField.Builder
 
pattern(Pattern) - Method in class hydra.haskell.syntax.SimpleValueBinding.Builder
 
Pattern - Class in hydra.haskell.syntax
A pattern
Pattern() - Constructor for class hydra.haskell.syntax.ImportModifier.Pattern
Constructs an immutable ImportModifier.Pattern.
PATTERN - Static variable in class hydra.haskell.syntax.Alternative
Name of the hydra.haskell.syntax.Alternative.pattern field.
PATTERN - Static variable in class hydra.haskell.syntax.ImportModifier
Name of the hydra.haskell.syntax.ImportModifier.pattern field.
PATTERN - Static variable in class hydra.haskell.syntax.PatternField
Name of the hydra.haskell.syntax.PatternField.pattern field.
PATTERN - Static variable in class hydra.haskell.syntax.SimpleValueBinding
Name of the hydra.haskell.syntax.SimpleValueBinding.pattern field.
Pattern.Application - Class in hydra.haskell.syntax
An application pattern
Pattern.As - Class in hydra.haskell.syntax
An 'as' pattern
Pattern.List - Class in hydra.haskell.syntax
A list pattern
Pattern.Literal - Class in hydra.haskell.syntax
A literal pattern
Pattern.Name - Class in hydra.haskell.syntax
A name pattern
Pattern.PartialVisitor<R> - Interface in hydra.haskell.syntax
Pattern.Record - Class in hydra.haskell.syntax
A record pattern
Pattern.Tuple - Class in hydra.haskell.syntax
A tuple pattern
Pattern.Typed - Class in hydra.haskell.syntax
A typed pattern
Pattern.Visitor<R> - Interface in hydra.haskell.syntax
Visitor over Pattern.
Pattern.Wildcard - Class in hydra.haskell.syntax
A wildcard pattern
patternApplication(TypedTerm<ApplicationPattern>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the application variant of hydra.haskell.syntax.Pattern
patternAs(TypedTerm<AsPattern>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the as variant of hydra.haskell.syntax.Pattern
patternField(TypedTerm<Name>, TypedTerm<Pattern>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.PatternField
PatternField - Class in hydra.haskell.syntax
A pattern field
PatternField(Name, Pattern) - Constructor for class hydra.haskell.syntax.PatternField
Constructs an immutable PatternField.
PatternField.Builder - Class in hydra.haskell.syntax
A fluent builder for PatternField.
patternFieldName(TypedTerm<PatternField>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the name field of hydra.haskell.syntax.PatternField
patternFieldPattern(TypedTerm<PatternField>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the pattern field of hydra.haskell.syntax.PatternField
patternFieldPatternField() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.PatternField
patternFieldWithName(TypedTerm<PatternField>, TypedTerm<Name>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the name field of hydra.haskell.syntax.PatternField
patternFieldWithPattern(TypedTerm<PatternField>, TypedTerm<Pattern>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the pattern field of hydra.haskell.syntax.PatternField
patternList(TypedTerm<List<Pattern>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the list variant of hydra.haskell.syntax.Pattern
patternLiteral(TypedTerm<Literal>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the literal variant of hydra.haskell.syntax.Pattern
patternName(TypedTerm<Name>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the name variant of hydra.haskell.syntax.Pattern
patternPattern() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.Pattern
patternRecord(TypedTerm<RecordPattern>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the record variant of hydra.haskell.syntax.Pattern
patternToExpr(Pattern) - Static method in interface hydra.haskell.Serde
Convert a pattern to an AST expression
patternTuple(TypedTerm<List<Pattern>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the tuple variant of hydra.haskell.syntax.Pattern
patternTyped(TypedTerm<TypedPattern>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the typed variant of hydra.haskell.syntax.Pattern
patternWildcard() - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the wildcard variant of hydra.haskell.syntax.Pattern
plusOp() - Static method in interface hydra.haskell.Operators
Addition (+).
positionalConstructor(TypedTerm<Name>, TypedTerm<List<Type>>, TypedTerm<Optional<String>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.PositionalConstructor
PositionalConstructor - Class in hydra.haskell.syntax
An ordinary (positional) data constructor
PositionalConstructor(Name, List<Type>, Optional<String>) - Constructor for class hydra.haskell.syntax.PositionalConstructor
Constructs an immutable PositionalConstructor.
PositionalConstructor.Builder - Class in hydra.haskell.syntax
A fluent builder for PositionalConstructor.
positionalConstructorComments(TypedTerm<PositionalConstructor>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the comments field of hydra.haskell.syntax.PositionalConstructor
positionalConstructorFields(TypedTerm<PositionalConstructor>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the fields field of hydra.haskell.syntax.PositionalConstructor
positionalConstructorName(TypedTerm<PositionalConstructor>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the name field of hydra.haskell.syntax.PositionalConstructor
positionalConstructorPositionalConstructor() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.PositionalConstructor
positionalConstructorWithComments(TypedTerm<PositionalConstructor>, TypedTerm<Optional<String>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the comments field of hydra.haskell.syntax.PositionalConstructor
positionalConstructorWithFields(TypedTerm<PositionalConstructor>, TypedTerm<List<Type>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the fields field of hydra.haskell.syntax.PositionalConstructor
positionalConstructorWithName(TypedTerm<PositionalConstructor>, TypedTerm<Name>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the name field of hydra.haskell.syntax.PositionalConstructor

Q

qualified - Variable in class hydra.haskell.syntax.Import
Whether the import is qualified
qualified(Boolean) - Method in class hydra.haskell.syntax.Import.Builder
 
QUALIFIED - Static variable in class hydra.haskell.syntax.Import
Name of the hydra.haskell.syntax.Import.qualified field.
qualifiedName(TypedTerm<List<NamePart>>, TypedTerm<NamePart>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.QualifiedName
QualifiedName - Class in hydra.haskell.syntax
A qualified name
QualifiedName(List<NamePart>, NamePart) - Constructor for class hydra.haskell.syntax.QualifiedName
Constructs an immutable QualifiedName.
QualifiedName.Builder - Class in hydra.haskell.syntax
A fluent builder for QualifiedName.
qualifiedNameQualifiedName() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.QualifiedName
qualifiedNameQualifiers(TypedTerm<QualifiedName>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the qualifiers field of hydra.haskell.syntax.QualifiedName
qualifiedNameUnqualified(TypedTerm<QualifiedName>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the unqualified field of hydra.haskell.syntax.QualifiedName
qualifiedNameWithQualifiers(TypedTerm<QualifiedName>, TypedTerm<List<NamePart>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the qualifiers field of hydra.haskell.syntax.QualifiedName
qualifiedNameWithUnqualified(TypedTerm<QualifiedName>, TypedTerm<NamePart>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the unqualified field of hydra.haskell.syntax.QualifiedName
qualifiers - Variable in class hydra.haskell.syntax.QualifiedName
The qualifier parts
qualifiers(List<NamePart>) - Method in class hydra.haskell.syntax.QualifiedName.Builder
 
QUALIFIERS - Static variable in class hydra.haskell.syntax.QualifiedName
Name of the hydra.haskell.syntax.QualifiedName.qualifiers field.
quotOp() - Static method in interface hydra.haskell.Operators
Integer quotient (`quot`)

R

rawName(String) - Static method in interface hydra.haskell.Utils
Create a raw Haskell name from a string without sanitization
Record(RecordConstructor) - Constructor for class hydra.haskell.syntax.Constructor.Record
Constructs an immutable Constructor.Record.
Record(RecordPattern) - Constructor for class hydra.haskell.syntax.Pattern.Record
Constructs an immutable Pattern.Record.
RECORD - Static variable in class hydra.haskell.syntax.Constructor
Name of the hydra.haskell.syntax.Constructor.record field.
RECORD - Static variable in class hydra.haskell.syntax.Pattern
Name of the hydra.haskell.syntax.Pattern.record field.
recordConstructor(TypedTerm<Name>, TypedTerm<List<Field>>, TypedTerm<Optional<String>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.RecordConstructor
RecordConstructor - Class in hydra.haskell.syntax
A record-style data constructor
RecordConstructor(Name, List<Field>, Optional<String>) - Constructor for class hydra.haskell.syntax.RecordConstructor
Constructs an immutable RecordConstructor.
RecordConstructor.Builder - Class in hydra.haskell.syntax
A fluent builder for RecordConstructor.
recordConstructorComments(TypedTerm<RecordConstructor>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the comments field of hydra.haskell.syntax.RecordConstructor
recordConstructorFields(TypedTerm<RecordConstructor>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the fields field of hydra.haskell.syntax.RecordConstructor
recordConstructorName(TypedTerm<RecordConstructor>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the name field of hydra.haskell.syntax.RecordConstructor
recordConstructorRecordConstructor() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.RecordConstructor
recordConstructorWithComments(TypedTerm<RecordConstructor>, TypedTerm<Optional<String>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the comments field of hydra.haskell.syntax.RecordConstructor
recordConstructorWithFields(TypedTerm<RecordConstructor>, TypedTerm<List<Field>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the fields field of hydra.haskell.syntax.RecordConstructor
recordConstructorWithName(TypedTerm<RecordConstructor>, TypedTerm<Name>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the name field of hydra.haskell.syntax.RecordConstructor
recordExpression(TypedTerm<Name>, TypedTerm<List<FieldUpdate>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.RecordExpression
RecordExpression - Class in hydra.haskell.syntax
A record constructor expression
RecordExpression(Name, List<FieldUpdate>) - Constructor for class hydra.haskell.syntax.RecordExpression
Constructs an immutable RecordExpression.
RecordExpression.Builder - Class in hydra.haskell.syntax
A fluent builder for RecordExpression.
recordExpressionFields(TypedTerm<RecordExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the fields field of hydra.haskell.syntax.RecordExpression
recordExpressionName(TypedTerm<RecordExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the name field of hydra.haskell.syntax.RecordExpression
recordExpressionRecordExpression() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.RecordExpression
recordExpressionToExpr(RecordExpression) - Static method in interface hydra.haskell.Serde
Convert a record construction expression to an AST expression
recordExpressionWithFields(TypedTerm<RecordExpression>, TypedTerm<List<FieldUpdate>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the fields field of hydra.haskell.syntax.RecordExpression
recordExpressionWithName(TypedTerm<RecordExpression>, TypedTerm<Name>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the name field of hydra.haskell.syntax.RecordExpression
recordFieldReference(ModuleNames<ModuleName>, Name, Name) - Static method in interface hydra.haskell.Utils
Generate a Haskell name for a record field accessor
recordPattern(TypedTerm<Name>, TypedTerm<List<PatternField>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.RecordPattern
RecordPattern - Class in hydra.haskell.syntax
A record pattern
RecordPattern(Name, List<PatternField>) - Constructor for class hydra.haskell.syntax.RecordPattern
Constructs an immutable RecordPattern.
RecordPattern.Builder - Class in hydra.haskell.syntax
A fluent builder for RecordPattern.
recordPatternFields(TypedTerm<RecordPattern>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the fields field of hydra.haskell.syntax.RecordPattern
recordPatternName(TypedTerm<RecordPattern>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the name field of hydra.haskell.syntax.RecordPattern
recordPatternRecordPattern() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.RecordPattern
recordPatternWithFields(TypedTerm<RecordPattern>, TypedTerm<List<PatternField>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the fields field of hydra.haskell.syntax.RecordPattern
recordPatternWithName(TypedTerm<RecordPattern>, TypedTerm<Name>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the name field of hydra.haskell.syntax.RecordPattern
recordUpdateExpression(TypedTerm<Expression>, TypedTerm<List<FieldUpdate>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.RecordUpdateExpression
RecordUpdateExpression - Class in hydra.haskell.syntax
An update record expression
RecordUpdateExpression(Expression, List<FieldUpdate>) - Constructor for class hydra.haskell.syntax.RecordUpdateExpression
Constructs an immutable RecordUpdateExpression.
RecordUpdateExpression.Builder - Class in hydra.haskell.syntax
A fluent builder for RecordUpdateExpression.
recordUpdateExpressionFields(TypedTerm<RecordUpdateExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the fields field of hydra.haskell.syntax.RecordUpdateExpression
recordUpdateExpressionInner(TypedTerm<RecordUpdateExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the inner field of hydra.haskell.syntax.RecordUpdateExpression
recordUpdateExpressionRecordUpdateExpression() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.RecordUpdateExpression
recordUpdateExpressionWithFields(TypedTerm<RecordUpdateExpression>, TypedTerm<List<FieldUpdate>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the fields field of hydra.haskell.syntax.RecordUpdateExpression
recordUpdateExpressionWithInner(TypedTerm<RecordUpdateExpression>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the inner field of hydra.haskell.syntax.RecordUpdateExpression
remOp() - Static method in interface hydra.haskell.Operators
Integer remainder (`rem`)
reservedWords() - Static method in interface hydra.haskell.Language
Created on 2025-02-28 using GHCi 9.6.6 You can reproduce these lists of symbols by issuing the command `:browse Prelude` in GHCi, pasting the results into /tmp/browse_Prelude.txt, and then running the Bash command provided with each list.
rhs - Variable in class hydra.haskell.syntax.Alternative
The right-hand side of the alternative
rhs - Variable in class hydra.haskell.syntax.InfixExpression
The right-hand operand
rhs - Variable in class hydra.haskell.syntax.InfixType
The right-hand type
rhs - Variable in class hydra.haskell.syntax.SimpleValueBinding
The right-hand side
rhs(CaseRhs) - Method in class hydra.haskell.syntax.Alternative.Builder
 
rhs(Expression) - Method in class hydra.haskell.syntax.InfixExpression.Builder
 
rhs(RightHandSide) - Method in class hydra.haskell.syntax.SimpleValueBinding.Builder
 
rhs(Type) - Method in class hydra.haskell.syntax.InfixType.Builder
 
RHS - Static variable in class hydra.haskell.syntax.Alternative
Name of the hydra.haskell.syntax.Alternative.rhs field.
RHS - Static variable in class hydra.haskell.syntax.InfixExpression
Name of the hydra.haskell.syntax.InfixExpression.rhs field.
RHS - Static variable in class hydra.haskell.syntax.InfixType
Name of the hydra.haskell.syntax.InfixType.rhs field.
RHS - Static variable in class hydra.haskell.syntax.SimpleValueBinding
Name of the hydra.haskell.syntax.SimpleValueBinding.rhs field.
RIGHT_SECTION - Static variable in class hydra.haskell.syntax.Expression
Name of the hydra.haskell.syntax.Expression.rightSection field.
rightHandSide(TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for the hydra.haskell.syntax.RightHandSide wrapper
RightHandSide - Class in hydra.haskell.syntax
A right-hand side of a binding
RightHandSide(Expression) - Constructor for class hydra.haskell.syntax.RightHandSide
Constructs an immutable RightHandSide.
RightHandSide.Builder - Class in hydra.haskell.syntax
A fluent builder for RightHandSide.
rightHandSideRightHandSide() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.RightHandSide
rightHandSideToExpr(RightHandSide) - Static method in interface hydra.haskell.Serde
Convert a right-hand side to an AST expression
RightSection(SectionExpression) - Constructor for class hydra.haskell.syntax.Expression.RightSection
Constructs an immutable Expression.RightSection.

S

sanitizeHaskellName(String) - Static method in interface hydra.haskell.Utils
Sanitize a string to be a valid Haskell identifier, escaping reserved words
sectionExpression(TypedTerm<Operator>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.SectionExpression
SectionExpression - Class in hydra.haskell.syntax
A section expression
SectionExpression(Operator, Expression) - Constructor for class hydra.haskell.syntax.SectionExpression
Constructs an immutable SectionExpression.
SectionExpression.Builder - Class in hydra.haskell.syntax
A fluent builder for SectionExpression.
sectionExpressionExpression(TypedTerm<SectionExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the expression field of hydra.haskell.syntax.SectionExpression
sectionExpressionOperator(TypedTerm<SectionExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the operator field of hydra.haskell.syntax.SectionExpression
sectionExpressionSectionExpression() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.SectionExpression
sectionExpressionWithExpression(TypedTerm<SectionExpression>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the expression field of hydra.haskell.syntax.SectionExpression
sectionExpressionWithOperator(TypedTerm<SectionExpression>, TypedTerm<Operator>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the operator field of hydra.haskell.syntax.SectionExpression
Serde - Interface in hydra.haskell
Haskell operator precendence and associativity are drawn from: https://self-learning-java-tutorial.blogspot.com/2016/04/haskell-operator-precedence.html Other operators were investigated using GHCi, e.g.
setMetaUsesByteString(Boolean, HaskellModuleMetadata) - Static method in interface hydra.haskell.Coder
Set the usesByteString flag in Haskell module metadata
setMetaUsesInt(Boolean, HaskellModuleMetadata) - Static method in interface hydra.haskell.Coder
Set the usesInt flag in Haskell module metadata
setMetaUsesMap(Boolean, HaskellModuleMetadata) - Static method in interface hydra.haskell.Coder
Set the usesMap flag in Haskell module metadata
setMetaUsesSet(Boolean, HaskellModuleMetadata) - Static method in interface hydra.haskell.Coder
Set the usesSet flag in Haskell module metadata
setMetaUsesVoid(Boolean, HaskellModuleMetadata) - Static method in interface hydra.haskell.Coder
Set the usesVoid flag in Haskell module metadata
Signature(TypeSignature) - Constructor for class hydra.haskell.syntax.LocalBinding.Signature
Constructs an immutable LocalBinding.Signature.
SIGNATURE - Static variable in class hydra.haskell.syntax.LocalBinding
Name of the hydra.haskell.syntax.LocalBinding.signature field.
Simple(Name) - Constructor for class hydra.haskell.syntax.DeclarationHead.Simple
Constructs an immutable DeclarationHead.Simple.
Simple(SimpleValueBinding) - Constructor for class hydra.haskell.syntax.ValueBinding.Simple
Constructs an immutable ValueBinding.Simple.
SIMPLE - Static variable in class hydra.haskell.syntax.DeclarationHead
Name of the hydra.haskell.syntax.DeclarationHead.simple field.
SIMPLE - Static variable in class hydra.haskell.syntax.ValueBinding
Name of the hydra.haskell.syntax.ValueBinding.simple field.
simpleName(String) - Static method in interface hydra.haskell.Utils
Create a sanitized Haskell name from a string
simpleValueBinding(Name, Expression, Optional<LocalBindings>) - Static method in interface hydra.haskell.Utils
Create a simple value binding (e.g., 'foo = expr' or 'foo = expr where ...')
simpleValueBinding(TypedTerm<Pattern>, TypedTerm<RightHandSide>, TypedTerm<Optional<LocalBindings>>, TypedTerm<Optional<String>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.SimpleValueBinding
SimpleValueBinding - Class in hydra.haskell.syntax
A simple value binding
SimpleValueBinding(Pattern, RightHandSide, Optional<LocalBindings>, Optional<String>) - Constructor for class hydra.haskell.syntax.SimpleValueBinding
Constructs an immutable SimpleValueBinding.
SimpleValueBinding.Builder - Class in hydra.haskell.syntax
A fluent builder for SimpleValueBinding.
simpleValueBindingComments(TypedTerm<SimpleValueBinding>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the comments field of hydra.haskell.syntax.SimpleValueBinding
simpleValueBindingLocalBindings(TypedTerm<SimpleValueBinding>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the localBindings field of hydra.haskell.syntax.SimpleValueBinding
simpleValueBindingPattern(TypedTerm<SimpleValueBinding>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the pattern field of hydra.haskell.syntax.SimpleValueBinding
simpleValueBindingRhs(TypedTerm<SimpleValueBinding>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the rhs field of hydra.haskell.syntax.SimpleValueBinding
simpleValueBindingSimpleValueBinding() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.SimpleValueBinding
simpleValueBindingWithComments(TypedTerm<SimpleValueBinding>, TypedTerm<Optional<String>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the comments field of hydra.haskell.syntax.SimpleValueBinding
simpleValueBindingWithLocalBindings(TypedTerm<SimpleValueBinding>, TypedTerm<Optional<LocalBindings>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the localBindings field of hydra.haskell.syntax.SimpleValueBinding
simpleValueBindingWithPattern(TypedTerm<SimpleValueBinding>, TypedTerm<Pattern>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the pattern field of hydra.haskell.syntax.SimpleValueBinding
simpleValueBindingWithRhs(TypedTerm<SimpleValueBinding>, TypedTerm<RightHandSide>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the rhs field of hydra.haskell.syntax.SimpleValueBinding
spec - Variable in class hydra.haskell.syntax.Import
Optional import specification
spec(Optional<ImportSpec>) - Method in class hydra.haskell.syntax.Import.Builder
 
SPEC - Static variable in class hydra.haskell.syntax.Import
Name of the hydra.haskell.syntax.Import.spec field.
statement(TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for the hydra.haskell.syntax.Statement wrapper
Statement - Class in hydra.haskell.syntax
A do-notation statement
Statement(Expression) - Constructor for class hydra.haskell.syntax.Statement
Constructs an immutable Statement.
Statement.Builder - Class in hydra.haskell.syntax
A fluent builder for Statement.
statementStatement() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.Statement
statementToExpr(Statement) - Static method in interface hydra.haskell.Serde
Convert a statement to an AST expression
STRING - Static variable in class hydra.haskell.syntax.Literal
Name of the hydra.haskell.syntax.Literal.string field.
String_(String) - Constructor for class hydra.haskell.syntax.Literal.String_
Constructs an immutable Literal.String_.
subspec - Variable in class hydra.haskell.syntax.NamedImportExport
Optional subspecification
subspec(Optional<ImportExportSubspec>) - Method in class hydra.haskell.syntax.NamedImportExport.Builder
 
SUBSPEC - Static variable in class hydra.haskell.syntax.NamedImportExport
Name of the hydra.haskell.syntax.NamedImportExport.subspec field.
Syntax - Interface in hydra.dsl.haskell
DSL functions for hydra.haskell.syntax

T

Testing - Interface in hydra.haskell
Haskell test code generation for HSpec-based generation tests
then - Variable in class hydra.haskell.syntax.IfExpression
The 'then' branch
then(Expression) - Method in class hydra.haskell.syntax.IfExpression.Builder
 
THEN - Static variable in class hydra.haskell.syntax.IfExpression
Name of the hydra.haskell.syntax.IfExpression.then field.
toDataDeclaration(ModuleNames<ModuleName>, TermDefinition, T0, Graph) - Static method in interface hydra.haskell.Coder
Convert a Hydra term definition to a Haskell declaration with comments
toHaskellComments(String) - Static method in interface hydra.haskell.Serde
Convert a string to Haddock documentation comments.
toSimpleComments(String) - Static method in interface hydra.haskell.Serde
Convert a string to simple line comments.
toString() - Method in class hydra.haskell.environment.HaskellModuleMetadata
 
toString() - Method in class hydra.haskell.syntax.Alternative
 
toString() - Method in class hydra.haskell.syntax.ApplicationDeclarationHead
 
toString() - Method in class hydra.haskell.syntax.ApplicationExpression
 
toString() - Method in class hydra.haskell.syntax.ApplicationPattern
 
toString() - Method in class hydra.haskell.syntax.ApplicationType
 
toString() - Method in class hydra.haskell.syntax.AsPattern
 
toString() - Method in class hydra.haskell.syntax.CaseExpression
 
toString() - Method in class hydra.haskell.syntax.CaseRhs
 
toString() - Method in class hydra.haskell.syntax.ClassConstraint
 
toString() - Method in class hydra.haskell.syntax.ConstrainedType
 
toString() - Method in class hydra.haskell.syntax.Constraint.Class_
 
toString() - Method in class hydra.haskell.syntax.Constraint.Tuple
 
toString() - Method in class hydra.haskell.syntax.Constructor.Ordinary
 
toString() - Method in class hydra.haskell.syntax.Constructor.Record
 
toString() - Method in class hydra.haskell.syntax.DataDeclaration
 
toString() - Method in class hydra.haskell.syntax.DataKeyword.Data
 
toString() - Method in class hydra.haskell.syntax.DataKeyword.Newtype
 
toString() - Method in class hydra.haskell.syntax.Declaration.Data
 
toString() - Method in class hydra.haskell.syntax.Declaration.Type
 
toString() - Method in class hydra.haskell.syntax.Declaration.TypedBinding
 
toString() - Method in class hydra.haskell.syntax.Declaration.ValueBinding
 
toString() - Method in class hydra.haskell.syntax.DeclarationHead.Application
 
toString() - Method in class hydra.haskell.syntax.DeclarationHead.Simple
 
toString() - Method in class hydra.haskell.syntax.DerivingClause
 
toString() - Method in class hydra.haskell.syntax.Export.Declaration
 
toString() - Method in class hydra.haskell.syntax.Export.Module
 
toString() - Method in class hydra.haskell.syntax.Expression.Application
 
toString() - Method in class hydra.haskell.syntax.Expression.Case
 
toString() - Method in class hydra.haskell.syntax.Expression.ConstructRecord
 
toString() - Method in class hydra.haskell.syntax.Expression.Do
 
toString() - Method in class hydra.haskell.syntax.Expression.If
 
toString() - Method in class hydra.haskell.syntax.Expression.InfixApplication
 
toString() - Method in class hydra.haskell.syntax.Expression.Lambda
 
toString() - Method in class hydra.haskell.syntax.Expression.LeftSection
 
toString() - Method in class hydra.haskell.syntax.Expression.Let
 
toString() - Method in class hydra.haskell.syntax.Expression.List
 
toString() - Method in class hydra.haskell.syntax.Expression.Literal
 
toString() - Method in class hydra.haskell.syntax.Expression.RightSection
 
toString() - Method in class hydra.haskell.syntax.Expression.Tuple
 
toString() - Method in class hydra.haskell.syntax.Expression.TypeSignature
 
toString() - Method in class hydra.haskell.syntax.Expression.UpdateRecord
 
toString() - Method in class hydra.haskell.syntax.Expression.Variable
 
toString() - Method in class hydra.haskell.syntax.Field
 
toString() - Method in class hydra.haskell.syntax.FieldUpdate
 
toString() - Method in class hydra.haskell.syntax.FunctionType
 
toString() - Method in class hydra.haskell.syntax.IfExpression
 
toString() - Method in class hydra.haskell.syntax.Import
 
toString() - Method in class hydra.haskell.syntax.ImportExportSubspec.All
 
toString() - Method in class hydra.haskell.syntax.ImportExportSubspec.List
 
toString() - Method in class hydra.haskell.syntax.ImportModifier.Pattern
 
toString() - Method in class hydra.haskell.syntax.ImportModifier.Type
 
toString() - Method in class hydra.haskell.syntax.ImportSpec.Hiding
 
toString() - Method in class hydra.haskell.syntax.ImportSpec.List
 
toString() - Method in class hydra.haskell.syntax.InfixExpression
 
toString() - Method in class hydra.haskell.syntax.InfixType
 
toString() - Method in class hydra.haskell.syntax.LambdaExpression
 
toString() - Method in class hydra.haskell.syntax.LetExpression
 
toString() - Method in class hydra.haskell.syntax.Literal.Char
 
toString() - Method in class hydra.haskell.syntax.Literal.Double_
 
toString() - Method in class hydra.haskell.syntax.Literal.Float_
 
toString() - Method in class hydra.haskell.syntax.Literal.Int
 
toString() - Method in class hydra.haskell.syntax.Literal.Integer_
 
toString() - Method in class hydra.haskell.syntax.Literal.String_
 
toString() - Method in class hydra.haskell.syntax.LocalBinding.Signature
 
toString() - Method in class hydra.haskell.syntax.LocalBinding.Value
 
toString() - Method in class hydra.haskell.syntax.LocalBindings
 
toString() - Method in class hydra.haskell.syntax.Module
 
toString() - Method in class hydra.haskell.syntax.ModuleHead
 
toString() - Method in class hydra.haskell.syntax.ModuleName
 
toString() - Method in class hydra.haskell.syntax.Name.Implicit
 
toString() - Method in class hydra.haskell.syntax.Name.Normal
 
toString() - Method in class hydra.haskell.syntax.NamedImportExport
 
toString() - Method in class hydra.haskell.syntax.NamePart
 
toString() - Method in class hydra.haskell.syntax.Operator.Backtick
 
toString() - Method in class hydra.haskell.syntax.Operator.Normal
 
toString() - Method in class hydra.haskell.syntax.Pattern.Application
 
toString() - Method in class hydra.haskell.syntax.Pattern.As
 
toString() - Method in class hydra.haskell.syntax.Pattern.List
 
toString() - Method in class hydra.haskell.syntax.Pattern.Literal
 
toString() - Method in class hydra.haskell.syntax.Pattern.Name
 
toString() - Method in class hydra.haskell.syntax.Pattern.Record
 
toString() - Method in class hydra.haskell.syntax.Pattern.Tuple
 
toString() - Method in class hydra.haskell.syntax.Pattern.Typed
 
toString() - Method in class hydra.haskell.syntax.Pattern.Wildcard
 
toString() - Method in class hydra.haskell.syntax.PatternField
 
toString() - Method in class hydra.haskell.syntax.PositionalConstructor
 
toString() - Method in class hydra.haskell.syntax.QualifiedName
 
toString() - Method in class hydra.haskell.syntax.RecordConstructor
 
toString() - Method in class hydra.haskell.syntax.RecordExpression
 
toString() - Method in class hydra.haskell.syntax.RecordPattern
 
toString() - Method in class hydra.haskell.syntax.RecordUpdateExpression
 
toString() - Method in class hydra.haskell.syntax.RightHandSide
 
toString() - Method in class hydra.haskell.syntax.SectionExpression
 
toString() - Method in class hydra.haskell.syntax.SimpleValueBinding
 
toString() - Method in class hydra.haskell.syntax.Statement
 
toString() - Method in class hydra.haskell.syntax.Type.Application
 
toString() - Method in class hydra.haskell.syntax.Type.Ctx
 
toString() - Method in class hydra.haskell.syntax.Type.Function
 
toString() - Method in class hydra.haskell.syntax.Type.Infix
 
toString() - Method in class hydra.haskell.syntax.Type.List
 
toString() - Method in class hydra.haskell.syntax.Type.Tuple
 
toString() - Method in class hydra.haskell.syntax.Type.Variable
 
toString() - Method in class hydra.haskell.syntax.TypedBinding
 
toString() - Method in class hydra.haskell.syntax.TypedExpression
 
toString() - Method in class hydra.haskell.syntax.TypedPattern
 
toString() - Method in class hydra.haskell.syntax.TypeSignature
 
toString() - Method in class hydra.haskell.syntax.TypeSynonymDeclaration
 
toString() - Method in class hydra.haskell.syntax.ValueBinding.Simple
 
toString() - Method in class hydra.haskell.syntax.Variable
 
toTypeApplication(List<Type>) - Static method in interface hydra.haskell.Utils
Convert a list of types into a nested type application
toTypeDeclarationsFrom(ModuleNames<ModuleName>, Name, Type, T0, Graph) - Static method in interface hydra.haskell.Coder
Convert a Hydra type definition to Haskell declarations
Tuple(List<Constraint>) - Constructor for class hydra.haskell.syntax.Constraint.Tuple
Constructs an immutable Constraint.Tuple.
Tuple(List<Expression>) - Constructor for class hydra.haskell.syntax.Expression.Tuple
Constructs an immutable Expression.Tuple.
Tuple(List<Pattern>) - Constructor for class hydra.haskell.syntax.Pattern.Tuple
Constructs an immutable Pattern.Tuple.
Tuple(List<Type>) - Constructor for class hydra.haskell.syntax.Type.Tuple
Constructs an immutable Type.Tuple.
TUPLE - Static variable in class hydra.haskell.syntax.Constraint
Name of the hydra.haskell.syntax.Constraint.tuple field.
TUPLE - Static variable in class hydra.haskell.syntax.Expression
Name of the hydra.haskell.syntax.Expression.tuple field.
TUPLE - Static variable in class hydra.haskell.syntax.Pattern
Name of the hydra.haskell.syntax.Pattern.tuple field.
TUPLE - Static variable in class hydra.haskell.syntax.Type
Name of the hydra.haskell.syntax.Type.tuple field.
type - Variable in class hydra.haskell.syntax.ConstrainedType
The constrained type
type - Variable in class hydra.haskell.syntax.Field
The field type
type - Variable in class hydra.haskell.syntax.TypedExpression
The type signature
type - Variable in class hydra.haskell.syntax.TypedPattern
The type annotation
type - Variable in class hydra.haskell.syntax.TypeSignature
The type
type - Variable in class hydra.haskell.syntax.TypeSynonymDeclaration
The type being defined
type(Type) - Method in class hydra.haskell.syntax.ConstrainedType.Builder
 
type(Type) - Method in class hydra.haskell.syntax.Field.Builder
 
type(Type) - Method in class hydra.haskell.syntax.TypedExpression.Builder
 
type(Type) - Method in class hydra.haskell.syntax.TypedPattern.Builder
 
type(Type) - Method in class hydra.haskell.syntax.TypeSignature.Builder
 
type(Type) - Method in class hydra.haskell.syntax.TypeSynonymDeclaration.Builder
 
Type - Class in hydra.haskell.syntax
A type expression
Type() - Constructor for class hydra.haskell.syntax.ImportModifier.Type
Constructs an immutable ImportModifier.Type.
Type(TypeSynonymDeclaration) - Constructor for class hydra.haskell.syntax.Declaration.Type
Constructs an immutable Declaration.Type.
TYPE - Static variable in class hydra.haskell.syntax.ConstrainedType
Name of the hydra.haskell.syntax.ConstrainedType.type field.
TYPE - Static variable in class hydra.haskell.syntax.Declaration
Name of the hydra.haskell.syntax.Declaration.type field.
TYPE - Static variable in class hydra.haskell.syntax.Field
Name of the hydra.haskell.syntax.Field.type field.
TYPE - Static variable in class hydra.haskell.syntax.ImportModifier
Name of the hydra.haskell.syntax.ImportModifier.type field.
TYPE - Static variable in class hydra.haskell.syntax.TypedExpression
Name of the hydra.haskell.syntax.TypedExpression.type field.
TYPE - Static variable in class hydra.haskell.syntax.TypedPattern
Name of the hydra.haskell.syntax.TypedPattern.type field.
TYPE - Static variable in class hydra.haskell.syntax.TypeSignature
Name of the hydra.haskell.syntax.TypeSignature.type field.
TYPE - Static variable in class hydra.haskell.syntax.TypeSynonymDeclaration
Name of the hydra.haskell.syntax.TypeSynonymDeclaration.type field.
TYPE_ - Static variable in class hydra.haskell.environment.HaskellModuleMetadata
Name of the hydra.haskell.environment.HaskellModuleMetadata type.
TYPE_ - Static variable in class hydra.haskell.syntax.Alternative
Name of the hydra.haskell.syntax.Alternative type.
TYPE_ - Static variable in class hydra.haskell.syntax.ApplicationDeclarationHead
Name of the hydra.haskell.syntax.ApplicationDeclarationHead type.
TYPE_ - Static variable in class hydra.haskell.syntax.ApplicationExpression
Name of the hydra.haskell.syntax.ApplicationExpression type.
TYPE_ - Static variable in class hydra.haskell.syntax.ApplicationPattern
Name of the hydra.haskell.syntax.ApplicationPattern type.
TYPE_ - Static variable in class hydra.haskell.syntax.ApplicationType
Name of the hydra.haskell.syntax.ApplicationType type.
TYPE_ - Static variable in class hydra.haskell.syntax.AsPattern
Name of the hydra.haskell.syntax.AsPattern type.
TYPE_ - Static variable in class hydra.haskell.syntax.CaseExpression
Name of the hydra.haskell.syntax.CaseExpression type.
TYPE_ - Static variable in class hydra.haskell.syntax.CaseRhs
Name of the hydra.haskell.syntax.CaseRhs type.
TYPE_ - Static variable in class hydra.haskell.syntax.ClassConstraint
Name of the hydra.haskell.syntax.ClassConstraint type.
TYPE_ - Static variable in class hydra.haskell.syntax.ConstrainedType
Name of the hydra.haskell.syntax.ConstrainedType type.
TYPE_ - Static variable in class hydra.haskell.syntax.Constraint
Name of the hydra.haskell.syntax.Constraint type.
TYPE_ - Static variable in class hydra.haskell.syntax.Constructor
Name of the hydra.haskell.syntax.Constructor type.
TYPE_ - Static variable in class hydra.haskell.syntax.DataDeclaration
Name of the hydra.haskell.syntax.DataDeclaration type.
TYPE_ - Static variable in class hydra.haskell.syntax.DataKeyword
Name of the hydra.haskell.syntax.DataKeyword type.
TYPE_ - Static variable in class hydra.haskell.syntax.Declaration
Name of the hydra.haskell.syntax.Declaration type.
TYPE_ - Static variable in class hydra.haskell.syntax.DeclarationHead
Name of the hydra.haskell.syntax.DeclarationHead type.
TYPE_ - Static variable in class hydra.haskell.syntax.DerivingClause
Name of the hydra.haskell.syntax.DerivingClause type.
TYPE_ - Static variable in class hydra.haskell.syntax.Export
Name of the hydra.haskell.syntax.Export type.
TYPE_ - Static variable in class hydra.haskell.syntax.Expression
Name of the hydra.haskell.syntax.Expression type.
TYPE_ - Static variable in class hydra.haskell.syntax.Field
Name of the hydra.haskell.syntax.Field type.
TYPE_ - Static variable in class hydra.haskell.syntax.FieldUpdate
Name of the hydra.haskell.syntax.FieldUpdate type.
TYPE_ - Static variable in class hydra.haskell.syntax.FunctionType
Name of the hydra.haskell.syntax.FunctionType type.
TYPE_ - Static variable in class hydra.haskell.syntax.IfExpression
Name of the hydra.haskell.syntax.IfExpression type.
TYPE_ - Static variable in class hydra.haskell.syntax.Import
Name of the hydra.haskell.syntax.Import type.
TYPE_ - Static variable in class hydra.haskell.syntax.ImportExportSubspec
Name of the hydra.haskell.syntax.ImportExportSubspec type.
TYPE_ - Static variable in class hydra.haskell.syntax.ImportModifier
Name of the hydra.haskell.syntax.ImportModifier type.
TYPE_ - Static variable in class hydra.haskell.syntax.ImportSpec
Name of the hydra.haskell.syntax.ImportSpec type.
TYPE_ - Static variable in class hydra.haskell.syntax.InfixExpression
Name of the hydra.haskell.syntax.InfixExpression type.
TYPE_ - Static variable in class hydra.haskell.syntax.InfixType
Name of the hydra.haskell.syntax.InfixType type.
TYPE_ - Static variable in class hydra.haskell.syntax.LambdaExpression
Name of the hydra.haskell.syntax.LambdaExpression type.
TYPE_ - Static variable in class hydra.haskell.syntax.LetExpression
Name of the hydra.haskell.syntax.LetExpression type.
TYPE_ - Static variable in class hydra.haskell.syntax.Literal
Name of the hydra.haskell.syntax.Literal type.
TYPE_ - Static variable in class hydra.haskell.syntax.LocalBinding
Name of the hydra.haskell.syntax.LocalBinding type.
TYPE_ - Static variable in class hydra.haskell.syntax.LocalBindings
Name of the hydra.haskell.syntax.LocalBindings type.
TYPE_ - Static variable in class hydra.haskell.syntax.Module
Name of the hydra.haskell.syntax.Module type.
TYPE_ - Static variable in class hydra.haskell.syntax.ModuleHead
Name of the hydra.haskell.syntax.ModuleHead type.
TYPE_ - Static variable in class hydra.haskell.syntax.ModuleName
Name of the hydra.haskell.syntax.ModuleName type.
TYPE_ - Static variable in class hydra.haskell.syntax.Name
Name of the hydra.haskell.syntax.Name type.
TYPE_ - Static variable in class hydra.haskell.syntax.NamedImportExport
Name of the hydra.haskell.syntax.NamedImportExport type.
TYPE_ - Static variable in class hydra.haskell.syntax.NamePart
Name of the hydra.haskell.syntax.NamePart type.
TYPE_ - Static variable in class hydra.haskell.syntax.Operator
Name of the hydra.haskell.syntax.Operator type.
TYPE_ - Static variable in class hydra.haskell.syntax.Pattern
Name of the hydra.haskell.syntax.Pattern type.
TYPE_ - Static variable in class hydra.haskell.syntax.PatternField
Name of the hydra.haskell.syntax.PatternField type.
TYPE_ - Static variable in class hydra.haskell.syntax.PositionalConstructor
Name of the hydra.haskell.syntax.PositionalConstructor type.
TYPE_ - Static variable in class hydra.haskell.syntax.QualifiedName
Name of the hydra.haskell.syntax.QualifiedName type.
TYPE_ - Static variable in class hydra.haskell.syntax.RecordConstructor
Name of the hydra.haskell.syntax.RecordConstructor type.
TYPE_ - Static variable in class hydra.haskell.syntax.RecordExpression
Name of the hydra.haskell.syntax.RecordExpression type.
TYPE_ - Static variable in class hydra.haskell.syntax.RecordPattern
Name of the hydra.haskell.syntax.RecordPattern type.
TYPE_ - Static variable in class hydra.haskell.syntax.RecordUpdateExpression
Name of the hydra.haskell.syntax.RecordUpdateExpression type.
TYPE_ - Static variable in class hydra.haskell.syntax.RightHandSide
Name of the hydra.haskell.syntax.RightHandSide type.
TYPE_ - Static variable in class hydra.haskell.syntax.SectionExpression
Name of the hydra.haskell.syntax.SectionExpression type.
TYPE_ - Static variable in class hydra.haskell.syntax.SimpleValueBinding
Name of the hydra.haskell.syntax.SimpleValueBinding type.
TYPE_ - Static variable in class hydra.haskell.syntax.Statement
Name of the hydra.haskell.syntax.Statement type.
TYPE_ - Static variable in class hydra.haskell.syntax.Type
Name of the hydra.haskell.syntax.Type type.
TYPE_ - Static variable in class hydra.haskell.syntax.TypedBinding
Name of the hydra.haskell.syntax.TypedBinding type.
TYPE_ - Static variable in class hydra.haskell.syntax.TypedExpression
Name of the hydra.haskell.syntax.TypedExpression type.
TYPE_ - Static variable in class hydra.haskell.syntax.TypedPattern
Name of the hydra.haskell.syntax.TypedPattern type.
TYPE_ - Static variable in class hydra.haskell.syntax.TypeSignature
Name of the hydra.haskell.syntax.TypeSignature type.
TYPE_ - Static variable in class hydra.haskell.syntax.TypeSynonymDeclaration
Name of the hydra.haskell.syntax.TypeSynonymDeclaration type.
TYPE_ - Static variable in class hydra.haskell.syntax.ValueBinding
Name of the hydra.haskell.syntax.ValueBinding type.
TYPE_ - Static variable in class hydra.haskell.syntax.Variable
Name of the hydra.haskell.syntax.Variable type.
TYPE_SIGNATURE - Static variable in class hydra.haskell.syntax.Expression
Name of the hydra.haskell.syntax.Expression.typeSignature field.
TYPE_SIGNATURE - Static variable in class hydra.haskell.syntax.TypedBinding
Name of the hydra.haskell.syntax.TypedBinding.typeSignature field.
Type.Application - Class in hydra.haskell.syntax
An application type
Type.Ctx - Class in hydra.haskell.syntax
A context type
Type.Function - Class in hydra.haskell.syntax
A function type
Type.Infix - Class in hydra.haskell.syntax
An infix type
Type.List - Class in hydra.haskell.syntax
A list type
Type.PartialVisitor<R> - Interface in hydra.haskell.syntax
Partial visitor over Type with a default Type.PartialVisitor.otherwise(hydra.haskell.syntax.Type) branch.
Type.Tuple - Class in hydra.haskell.syntax
A tuple type
Type.Variable - Class in hydra.haskell.syntax
A type variable or type name
Type.Visitor<R> - Interface in hydra.haskell.syntax
Visitor over Type.
typeApplication(TypedTerm<ApplicationType>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the application variant of hydra.haskell.syntax.Type
typeCtx(TypedTerm<ConstrainedType>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the ctx variant of hydra.haskell.syntax.Type
Typed(TypedPattern) - Constructor for class hydra.haskell.syntax.Pattern.Typed
Constructs an immutable Pattern.Typed.
TYPED - Static variable in class hydra.haskell.syntax.Pattern
Name of the hydra.haskell.syntax.Pattern.typed field.
TYPED_BINDING - Static variable in class hydra.haskell.syntax.Declaration
Name of the hydra.haskell.syntax.Declaration.typedBinding field.
typedBinding(TypedTerm<TypeSignature>, TypedTerm<ValueBinding>, TypedTerm<Optional<String>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.TypedBinding
TypedBinding - Class in hydra.haskell.syntax
A binding with its type signature
TypedBinding(TypedBinding) - Constructor for class hydra.haskell.syntax.Declaration.TypedBinding
Constructs an immutable Declaration.TypedBinding.
TypedBinding(TypeSignature, ValueBinding, Optional<String>) - Constructor for class hydra.haskell.syntax.TypedBinding
Constructs an immutable TypedBinding.
TypedBinding.Builder - Class in hydra.haskell.syntax
A fluent builder for TypedBinding.
typedBindingComments(TypedTerm<TypedBinding>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the comments field of hydra.haskell.syntax.TypedBinding
typedBindingTypedBinding() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.TypedBinding
typedBindingTypeSignature(TypedTerm<TypedBinding>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the typeSignature field of hydra.haskell.syntax.TypedBinding
typedBindingValueBinding(TypedTerm<TypedBinding>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the valueBinding field of hydra.haskell.syntax.TypedBinding
typedBindingWithComments(TypedTerm<TypedBinding>, TypedTerm<Optional<String>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the comments field of hydra.haskell.syntax.TypedBinding
typedBindingWithTypeSignature(TypedTerm<TypedBinding>, TypedTerm<TypeSignature>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the typeSignature field of hydra.haskell.syntax.TypedBinding
typedBindingWithValueBinding(TypedTerm<TypedBinding>, TypedTerm<ValueBinding>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the valueBinding field of hydra.haskell.syntax.TypedBinding
typeDecl(ModuleNames<ModuleName>, Name, Type, T0, Graph) - Static method in interface hydra.haskell.Coder
Generate a Haskell declaration for a type definition constant
typedExpression(TypedTerm<Expression>, TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.TypedExpression
TypedExpression - Class in hydra.haskell.syntax
A type signature expression
TypedExpression(Expression, Type) - Constructor for class hydra.haskell.syntax.TypedExpression
Constructs an immutable TypedExpression.
TypedExpression.Builder - Class in hydra.haskell.syntax
A fluent builder for TypedExpression.
typedExpressionInner(TypedTerm<TypedExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the inner field of hydra.haskell.syntax.TypedExpression
typedExpressionType(TypedTerm<TypedExpression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the type field of hydra.haskell.syntax.TypedExpression
typedExpressionTypedExpression() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.TypedExpression
typedExpressionWithInner(TypedTerm<TypedExpression>, TypedTerm<Expression>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the inner field of hydra.haskell.syntax.TypedExpression
typedExpressionWithType(TypedTerm<TypedExpression>, TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the type field of hydra.haskell.syntax.TypedExpression
typedPattern(TypedTerm<Pattern>, TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.TypedPattern
TypedPattern - Class in hydra.haskell.syntax
A typed pattern
TypedPattern(Pattern, Type) - Constructor for class hydra.haskell.syntax.TypedPattern
Constructs an immutable TypedPattern.
TypedPattern.Builder - Class in hydra.haskell.syntax
A fluent builder for TypedPattern.
typedPatternInner(TypedTerm<TypedPattern>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the inner field of hydra.haskell.syntax.TypedPattern
typedPatternType(TypedTerm<TypedPattern>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the type field of hydra.haskell.syntax.TypedPattern
typedPatternTypedPattern() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.TypedPattern
typedPatternWithInner(TypedTerm<TypedPattern>, TypedTerm<Pattern>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the inner field of hydra.haskell.syntax.TypedPattern
typedPatternWithType(TypedTerm<TypedPattern>, TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the type field of hydra.haskell.syntax.TypedPattern
typeFunction(TypedTerm<FunctionType>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the function variant of hydra.haskell.syntax.Type
typeInfix(TypedTerm<InfixType>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the infix variant of hydra.haskell.syntax.Type
typeList(TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the list variant of hydra.haskell.syntax.Type
typeNameForRecord(Name) - Static method in interface hydra.haskell.Utils
Extract the local type name from a fully qualified record type name
typeOp() - Static method in interface hydra.haskell.Operators
Type annotation (::)
types - Variable in class hydra.haskell.syntax.ClassConstraint
The types to which the class is applied
types(List<Type>) - Method in class hydra.haskell.syntax.ClassConstraint.Builder
 
TYPES - Static variable in class hydra.haskell.syntax.ClassConstraint
Name of the hydra.haskell.syntax.ClassConstraint.types field.
typeSchemeConstraintsToClassMap(Map<T0, TypeVariableConstraints>) - Static method in interface hydra.haskell.Coder
Project type scheme constraints to a map of type variables to typeclass names
typeSignature - Variable in class hydra.haskell.syntax.TypedBinding
The type signature
typeSignature(TypeSignature) - Method in class hydra.haskell.syntax.TypedBinding.Builder
 
typeSignature(TypedTerm<Name>, TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.TypeSignature
TypeSignature - Class in hydra.haskell.syntax
A type signature
TypeSignature(Name, Type) - Constructor for class hydra.haskell.syntax.TypeSignature
Constructs an immutable TypeSignature.
TypeSignature(TypedExpression) - Constructor for class hydra.haskell.syntax.Expression.TypeSignature
Constructs an immutable Expression.TypeSignature.
TypeSignature.Builder - Class in hydra.haskell.syntax
A fluent builder for TypeSignature.
typeSignatureName(TypedTerm<TypeSignature>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the name field of hydra.haskell.syntax.TypeSignature
typeSignatureToExpr(TypeSignature) - Static method in interface hydra.haskell.Serde
Convert a type signature to an AST expression
typeSignatureType(TypedTerm<TypeSignature>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the type field of hydra.haskell.syntax.TypeSignature
typeSignatureTypeSignature() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.TypeSignature
typeSignatureWithName(TypedTerm<TypeSignature>, TypedTerm<Name>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the name field of hydra.haskell.syntax.TypeSignature
typeSignatureWithType(TypedTerm<TypeSignature>, TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the type field of hydra.haskell.syntax.TypeSignature
typeSynonymDeclaration(TypedTerm<DeclarationHead>, TypedTerm<Type>, TypedTerm<Optional<String>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for hydra.haskell.syntax.TypeSynonymDeclaration
TypeSynonymDeclaration - Class in hydra.haskell.syntax
A type synonym declaration
TypeSynonymDeclaration(DeclarationHead, Type, Optional<String>) - Constructor for class hydra.haskell.syntax.TypeSynonymDeclaration
Constructs an immutable TypeSynonymDeclaration.
TypeSynonymDeclaration.Builder - Class in hydra.haskell.syntax
A fluent builder for TypeSynonymDeclaration.
typeSynonymDeclarationComments(TypedTerm<TypeSynonymDeclaration>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the comments field of hydra.haskell.syntax.TypeSynonymDeclaration
typeSynonymDeclarationName(TypedTerm<TypeSynonymDeclaration>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the name field of hydra.haskell.syntax.TypeSynonymDeclaration
typeSynonymDeclarationType(TypedTerm<TypeSynonymDeclaration>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the type field of hydra.haskell.syntax.TypeSynonymDeclaration
typeSynonymDeclarationTypeSynonymDeclaration() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.TypeSynonymDeclaration
typeSynonymDeclarationWithComments(TypedTerm<TypeSynonymDeclaration>, TypedTerm<Optional<String>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the comments field of hydra.haskell.syntax.TypeSynonymDeclaration
typeSynonymDeclarationWithName(TypedTerm<TypeSynonymDeclaration>, TypedTerm<DeclarationHead>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the name field of hydra.haskell.syntax.TypeSynonymDeclaration
typeSynonymDeclarationWithType(TypedTerm<TypeSynonymDeclaration>, TypedTerm<Type>) - Static method in interface hydra.dsl.haskell.Syntax
DSL updater for the type field of hydra.haskell.syntax.TypeSynonymDeclaration
typeToExpr(Type) - Static method in interface hydra.haskell.Serde
Convert a Haskell type to an AST expression
typeTuple(TypedTerm<List<Type>>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the tuple variant of hydra.haskell.syntax.Type
typeType() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.Type
typeVariable(TypedTerm<Name>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the variable variant of hydra.haskell.syntax.Type

U

unCaseRhs(TypedTerm<CaseRhs>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the body of hydra.haskell.syntax.CaseRhs
unDerivingClause(TypedTerm<DerivingClause>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the body of hydra.haskell.syntax.DerivingClause
unionFieldReference(Set<Name>, ModuleNames<ModuleName>, Name, Name) - Static method in interface hydra.haskell.Utils
Generate a Haskell name for a union variant constructor, with disambiguation
unLocalBindings(TypedTerm<LocalBindings>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the body of hydra.haskell.syntax.LocalBindings
unModuleName(TypedTerm<ModuleName>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the body of hydra.haskell.syntax.ModuleName
unNamePart(TypedTerm<NamePart>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the body of hydra.haskell.syntax.NamePart
unpackForallType(Type) - Static method in interface hydra.haskell.Utils
Unpack nested forall types into a list of type variables and the inner type
unqualified - Variable in class hydra.haskell.syntax.QualifiedName
The unqualified name part
unqualified(NamePart) - Method in class hydra.haskell.syntax.QualifiedName.Builder
 
UNQUALIFIED - Static variable in class hydra.haskell.syntax.QualifiedName
Name of the hydra.haskell.syntax.QualifiedName.unqualified field.
unRightHandSide(TypedTerm<RightHandSide>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the body of hydra.haskell.syntax.RightHandSide
unStatement(TypedTerm<Statement>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the body of hydra.haskell.syntax.Statement
unVariable(TypedTerm<Variable>) - Static method in interface hydra.dsl.haskell.Syntax
DSL accessor for the body of hydra.haskell.syntax.Variable
UPDATE_RECORD - Static variable in class hydra.haskell.syntax.Expression
Name of the hydra.haskell.syntax.Expression.updateRecord field.
UpdateRecord(RecordUpdateExpression) - Constructor for class hydra.haskell.syntax.Expression.UpdateRecord
Constructs an immutable Expression.UpdateRecord.
useCoreImport() - Static method in interface hydra.haskell.Coder
Whether to use the Hydra core import in generated modules
USES_BYTE_STRING - Static variable in class hydra.haskell.environment.HaskellModuleMetadata
Name of the hydra.haskell.environment.HaskellModuleMetadata.usesByteString field.
USES_INT - Static variable in class hydra.haskell.environment.HaskellModuleMetadata
Name of the hydra.haskell.environment.HaskellModuleMetadata.usesInt field.
USES_MAP - Static variable in class hydra.haskell.environment.HaskellModuleMetadata
Name of the hydra.haskell.environment.HaskellModuleMetadata.usesMap field.
USES_SET - Static variable in class hydra.haskell.environment.HaskellModuleMetadata
Name of the hydra.haskell.environment.HaskellModuleMetadata.usesSet field.
USES_VOID - Static variable in class hydra.haskell.environment.HaskellModuleMetadata
Name of the hydra.haskell.environment.HaskellModuleMetadata.usesVoid field.
usesByteString - Variable in class hydra.haskell.environment.HaskellModuleMetadata
Whether the module uses Data.ByteString (B.ByteString)
usesByteString(Boolean) - Method in class hydra.haskell.environment.HaskellModuleMetadata.Builder
 
usesInt - Variable in class hydra.haskell.environment.HaskellModuleMetadata
Whether the module uses Data.Int (I.Int8, I.Int16, I.Int64)
usesInt(Boolean) - Method in class hydra.haskell.environment.HaskellModuleMetadata.Builder
 
usesMap - Variable in class hydra.haskell.environment.HaskellModuleMetadata
Whether the module uses Data.Map (M.Map, M.fromList, M.empty)
usesMap(Boolean) - Method in class hydra.haskell.environment.HaskellModuleMetadata.Builder
 
usesSet - Variable in class hydra.haskell.environment.HaskellModuleMetadata
Whether the module uses Data.Set (S.Set, S.fromList, S.empty)
usesSet(Boolean) - Method in class hydra.haskell.environment.HaskellModuleMetadata.Builder
 
usesVoid - Variable in class hydra.haskell.environment.HaskellModuleMetadata
Whether the module uses Data.Void (Void)
usesVoid(Boolean) - Method in class hydra.haskell.environment.HaskellModuleMetadata.Builder
 
Utils - Interface in hydra.haskell
Utilities for working with Haskell syntax trees

V

value - Variable in class hydra.haskell.syntax.CaseRhs
 
value - Variable in class hydra.haskell.syntax.Constraint.Class_
 
value - Variable in class hydra.haskell.syntax.Constraint.Tuple
 
value - Variable in class hydra.haskell.syntax.Constructor.Ordinary
 
value - Variable in class hydra.haskell.syntax.Constructor.Record
 
value - Variable in class hydra.haskell.syntax.Declaration.Data
 
value - Variable in class hydra.haskell.syntax.Declaration.Type
 
value - Variable in class hydra.haskell.syntax.Declaration.TypedBinding
 
value - Variable in class hydra.haskell.syntax.Declaration.ValueBinding
 
value - Variable in class hydra.haskell.syntax.DeclarationHead.Application
 
value - Variable in class hydra.haskell.syntax.DeclarationHead.Simple
 
value - Variable in class hydra.haskell.syntax.DerivingClause
 
value - Variable in class hydra.haskell.syntax.Export.Declaration
 
value - Variable in class hydra.haskell.syntax.Export.Module
 
value - Variable in class hydra.haskell.syntax.Expression.Application
 
value - Variable in class hydra.haskell.syntax.Expression.Case
 
value - Variable in class hydra.haskell.syntax.Expression.ConstructRecord
 
value - Variable in class hydra.haskell.syntax.Expression.Do
 
value - Variable in class hydra.haskell.syntax.Expression.If
 
value - Variable in class hydra.haskell.syntax.Expression.InfixApplication
 
value - Variable in class hydra.haskell.syntax.Expression.Lambda
 
value - Variable in class hydra.haskell.syntax.Expression.LeftSection
 
value - Variable in class hydra.haskell.syntax.Expression.Let
 
value - Variable in class hydra.haskell.syntax.Expression.List
 
value - Variable in class hydra.haskell.syntax.Expression.Literal
 
value - Variable in class hydra.haskell.syntax.Expression.RightSection
 
value - Variable in class hydra.haskell.syntax.Expression.Tuple
 
value - Variable in class hydra.haskell.syntax.Expression.TypeSignature
 
value - Variable in class hydra.haskell.syntax.Expression.UpdateRecord
 
value - Variable in class hydra.haskell.syntax.Expression.Variable
 
value - Variable in class hydra.haskell.syntax.FieldUpdate
The field value
value - Variable in class hydra.haskell.syntax.ImportExportSubspec.List
 
value - Variable in class hydra.haskell.syntax.ImportSpec.Hiding
 
value - Variable in class hydra.haskell.syntax.ImportSpec.List
 
value - Variable in class hydra.haskell.syntax.Literal.Char
 
value - Variable in class hydra.haskell.syntax.Literal.Double_
 
value - Variable in class hydra.haskell.syntax.Literal.Float_
 
value - Variable in class hydra.haskell.syntax.Literal.Int
 
value - Variable in class hydra.haskell.syntax.Literal.Integer_
 
value - Variable in class hydra.haskell.syntax.Literal.String_
 
value - Variable in class hydra.haskell.syntax.LocalBinding.Signature
 
value - Variable in class hydra.haskell.syntax.LocalBinding.Value
 
value - Variable in class hydra.haskell.syntax.LocalBindings
 
value - Variable in class hydra.haskell.syntax.ModuleName
 
value - Variable in class hydra.haskell.syntax.Name.Implicit
 
value - Variable in class hydra.haskell.syntax.Name.Normal
 
value - Variable in class hydra.haskell.syntax.NamePart
 
value - Variable in class hydra.haskell.syntax.Operator.Backtick
 
value - Variable in class hydra.haskell.syntax.Operator.Normal
 
value - Variable in class hydra.haskell.syntax.Pattern.Application
 
value - Variable in class hydra.haskell.syntax.Pattern.As
 
value - Variable in class hydra.haskell.syntax.Pattern.List
 
value - Variable in class hydra.haskell.syntax.Pattern.Literal
 
value - Variable in class hydra.haskell.syntax.Pattern.Name
 
value - Variable in class hydra.haskell.syntax.Pattern.Record
 
value - Variable in class hydra.haskell.syntax.Pattern.Tuple
 
value - Variable in class hydra.haskell.syntax.Pattern.Typed
 
value - Variable in class hydra.haskell.syntax.RightHandSide
 
value - Variable in class hydra.haskell.syntax.Statement
 
value - Variable in class hydra.haskell.syntax.Type.Application
 
value - Variable in class hydra.haskell.syntax.Type.Ctx
 
value - Variable in class hydra.haskell.syntax.Type.Function
 
value - Variable in class hydra.haskell.syntax.Type.Infix
 
value - Variable in class hydra.haskell.syntax.Type.List
 
value - Variable in class hydra.haskell.syntax.Type.Tuple
 
value - Variable in class hydra.haskell.syntax.Type.Variable
 
value - Variable in class hydra.haskell.syntax.ValueBinding.Simple
 
value - Variable in class hydra.haskell.syntax.Variable
 
value(Expression) - Method in class hydra.haskell.syntax.CaseRhs.Builder
 
value(Expression) - Method in class hydra.haskell.syntax.FieldUpdate.Builder
 
value(Expression) - Method in class hydra.haskell.syntax.RightHandSide.Builder
 
value(Expression) - Method in class hydra.haskell.syntax.Statement.Builder
 
value(Name) - Method in class hydra.haskell.syntax.Variable.Builder
 
value(String) - Method in class hydra.haskell.syntax.ModuleName.Builder
 
value(String) - Method in class hydra.haskell.syntax.NamePart.Builder
 
value(List<LocalBinding>) - Method in class hydra.haskell.syntax.LocalBindings.Builder
 
value(List<Name>) - Method in class hydra.haskell.syntax.DerivingClause.Builder
 
Value(ValueBinding) - Constructor for class hydra.haskell.syntax.LocalBinding.Value
Constructs an immutable LocalBinding.Value.
VALUE - Static variable in class hydra.haskell.syntax.CaseRhs
Name of the hydra.haskell.syntax.CaseRhs.value field.
VALUE - Static variable in class hydra.haskell.syntax.DerivingClause
Name of the hydra.haskell.syntax.DerivingClause.value field.
VALUE - Static variable in class hydra.haskell.syntax.FieldUpdate
Name of the hydra.haskell.syntax.FieldUpdate.value field.
VALUE - Static variable in class hydra.haskell.syntax.LocalBinding
Name of the hydra.haskell.syntax.LocalBinding.value field.
VALUE - Static variable in class hydra.haskell.syntax.LocalBindings
Name of the hydra.haskell.syntax.LocalBindings.value field.
VALUE - Static variable in class hydra.haskell.syntax.ModuleName
Name of the hydra.haskell.syntax.ModuleName.value field.
VALUE - Static variable in class hydra.haskell.syntax.NamePart
Name of the hydra.haskell.syntax.NamePart.value field.
VALUE - Static variable in class hydra.haskell.syntax.RightHandSide
Name of the hydra.haskell.syntax.RightHandSide.value field.
VALUE - Static variable in class hydra.haskell.syntax.Statement
Name of the hydra.haskell.syntax.Statement.value field.
VALUE - Static variable in class hydra.haskell.syntax.Variable
Name of the hydra.haskell.syntax.Variable.value field.
VALUE_BINDING - Static variable in class hydra.haskell.syntax.Declaration
Name of the hydra.haskell.syntax.Declaration.valueBinding field.
VALUE_BINDING - Static variable in class hydra.haskell.syntax.TypedBinding
Name of the hydra.haskell.syntax.TypedBinding.valueBinding field.
valueBinding - Variable in class hydra.haskell.syntax.TypedBinding
The value binding
valueBinding(ValueBinding) - Method in class hydra.haskell.syntax.TypedBinding.Builder
 
ValueBinding - Class in hydra.haskell.syntax
A value binding
ValueBinding(ValueBinding) - Constructor for class hydra.haskell.syntax.Declaration.ValueBinding
Constructs an immutable Declaration.ValueBinding.
ValueBinding.PartialVisitor<R> - Interface in hydra.haskell.syntax
ValueBinding.Simple - Class in hydra.haskell.syntax
A simple value binding
ValueBinding.Visitor<R> - Interface in hydra.haskell.syntax
Visitor over ValueBinding.
valueBindingSimple(TypedTerm<SimpleValueBinding>) - Static method in interface hydra.dsl.haskell.Syntax
DSL injection for the simple variant of hydra.haskell.syntax.ValueBinding
valueBindingToExpr(ValueBinding) - Static method in interface hydra.haskell.Serde
Convert a value binding to an AST expression
valueBindingValueBinding() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.ValueBinding
variable(TypedTerm<Name>) - Static method in interface hydra.dsl.haskell.Syntax
DSL constructor for the hydra.haskell.syntax.Variable wrapper
Variable - Class in hydra.haskell.syntax
A type variable
Variable(Name) - Constructor for class hydra.haskell.syntax.Expression.Variable
Constructs an immutable Expression.Variable.
Variable(Name) - Constructor for class hydra.haskell.syntax.Type.Variable
Constructs an immutable Type.Variable.
Variable(Name) - Constructor for class hydra.haskell.syntax.Variable
Constructs an immutable Variable.
VARIABLE - Static variable in class hydra.haskell.syntax.Expression
Name of the hydra.haskell.syntax.Expression.variable field.
VARIABLE - Static variable in class hydra.haskell.syntax.Type
Name of the hydra.haskell.syntax.Type.variable field.
Variable.Builder - Class in hydra.haskell.syntax
A fluent builder for Variable.
variableToExpr(Variable) - Static method in interface hydra.haskell.Serde
Convert a type variable to an AST expression
variableVariable() - Static method in interface hydra.dsl.haskell.Syntax
DSL name token for hydra.haskell.syntax.Variable
visit(Constraint.Class_) - Method in interface hydra.haskell.syntax.Constraint.PartialVisitor
Visit the Constraint.Class_ case.
visit(Constraint.Class_) - Method in interface hydra.haskell.syntax.Constraint.Visitor
Visit the Constraint.Class_ case.
visit(Constraint.Tuple) - Method in interface hydra.haskell.syntax.Constraint.PartialVisitor
Visit the Constraint.Tuple case.
visit(Constraint.Tuple) - Method in interface hydra.haskell.syntax.Constraint.Visitor
Visit the Constraint.Tuple case.
visit(Constructor.Ordinary) - Method in interface hydra.haskell.syntax.Constructor.PartialVisitor
Visit the Constructor.Ordinary case.
visit(Constructor.Ordinary) - Method in interface hydra.haskell.syntax.Constructor.Visitor
Visit the Constructor.Ordinary case.
visit(Constructor.Record) - Method in interface hydra.haskell.syntax.Constructor.PartialVisitor
Visit the Constructor.Record case.
visit(Constructor.Record) - Method in interface hydra.haskell.syntax.Constructor.Visitor
Visit the Constructor.Record case.
visit(DataKeyword.Data) - Method in interface hydra.haskell.syntax.DataKeyword.PartialVisitor
Visit the DataKeyword.Data case.
visit(DataKeyword.Data) - Method in interface hydra.haskell.syntax.DataKeyword.Visitor
Visit the DataKeyword.Data case.
visit(DataKeyword.Newtype) - Method in interface hydra.haskell.syntax.DataKeyword.PartialVisitor
Visit the DataKeyword.Newtype case.
visit(DataKeyword.Newtype) - Method in interface hydra.haskell.syntax.DataKeyword.Visitor
Visit the DataKeyword.Newtype case.
visit(Declaration.Data) - Method in interface hydra.haskell.syntax.Declaration.PartialVisitor
Visit the Declaration.Data case.
visit(Declaration.Data) - Method in interface hydra.haskell.syntax.Declaration.Visitor
Visit the Declaration.Data case.
visit(Declaration.Type) - Method in interface hydra.haskell.syntax.Declaration.PartialVisitor
Visit the Declaration.Type case.
visit(Declaration.Type) - Method in interface hydra.haskell.syntax.Declaration.Visitor
Visit the Declaration.Type case.
visit(Declaration.TypedBinding) - Method in interface hydra.haskell.syntax.Declaration.PartialVisitor
Visit the Declaration.TypedBinding case.
visit(Declaration.TypedBinding) - Method in interface hydra.haskell.syntax.Declaration.Visitor
Visit the Declaration.TypedBinding case.
visit(Declaration.ValueBinding) - Method in interface hydra.haskell.syntax.Declaration.PartialVisitor
Visit the Declaration.ValueBinding case.
visit(Declaration.ValueBinding) - Method in interface hydra.haskell.syntax.Declaration.Visitor
Visit the Declaration.ValueBinding case.
visit(DeclarationHead.Application) - Method in interface hydra.haskell.syntax.DeclarationHead.PartialVisitor
visit(DeclarationHead.Application) - Method in interface hydra.haskell.syntax.DeclarationHead.Visitor
visit(DeclarationHead.Simple) - Method in interface hydra.haskell.syntax.DeclarationHead.PartialVisitor
Visit the DeclarationHead.Simple case.
visit(DeclarationHead.Simple) - Method in interface hydra.haskell.syntax.DeclarationHead.Visitor
Visit the DeclarationHead.Simple case.
visit(Export.Declaration) - Method in interface hydra.haskell.syntax.Export.PartialVisitor
Visit the Export.Declaration case.
visit(Export.Declaration) - Method in interface hydra.haskell.syntax.Export.Visitor
Visit the Export.Declaration case.
visit(Export.Module) - Method in interface hydra.haskell.syntax.Export.PartialVisitor
Visit the Export.Module case.
visit(Export.Module) - Method in interface hydra.haskell.syntax.Export.Visitor
Visit the Export.Module case.
visit(Expression.Application) - Method in interface hydra.haskell.syntax.Expression.PartialVisitor
Visit the Expression.Application case.
visit(Expression.Application) - Method in interface hydra.haskell.syntax.Expression.Visitor
Visit the Expression.Application case.
visit(Expression.Case) - Method in interface hydra.haskell.syntax.Expression.PartialVisitor
Visit the Expression.Case case.
visit(Expression.Case) - Method in interface hydra.haskell.syntax.Expression.Visitor
Visit the Expression.Case case.
visit(Expression.ConstructRecord) - Method in interface hydra.haskell.syntax.Expression.PartialVisitor
visit(Expression.ConstructRecord) - Method in interface hydra.haskell.syntax.Expression.Visitor
visit(Expression.Do) - Method in interface hydra.haskell.syntax.Expression.PartialVisitor
Visit the Expression.Do case.
visit(Expression.Do) - Method in interface hydra.haskell.syntax.Expression.Visitor
Visit the Expression.Do case.
visit(Expression.If) - Method in interface hydra.haskell.syntax.Expression.PartialVisitor
Visit the Expression.If case.
visit(Expression.If) - Method in interface hydra.haskell.syntax.Expression.Visitor
Visit the Expression.If case.
visit(Expression.InfixApplication) - Method in interface hydra.haskell.syntax.Expression.PartialVisitor
visit(Expression.InfixApplication) - Method in interface hydra.haskell.syntax.Expression.Visitor
visit(Expression.Lambda) - Method in interface hydra.haskell.syntax.Expression.PartialVisitor
Visit the Expression.Lambda case.
visit(Expression.Lambda) - Method in interface hydra.haskell.syntax.Expression.Visitor
Visit the Expression.Lambda case.
visit(Expression.LeftSection) - Method in interface hydra.haskell.syntax.Expression.PartialVisitor
Visit the Expression.LeftSection case.
visit(Expression.LeftSection) - Method in interface hydra.haskell.syntax.Expression.Visitor
Visit the Expression.LeftSection case.
visit(Expression.Let) - Method in interface hydra.haskell.syntax.Expression.PartialVisitor
Visit the Expression.Let case.
visit(Expression.Let) - Method in interface hydra.haskell.syntax.Expression.Visitor
Visit the Expression.Let case.
visit(Expression.List) - Method in interface hydra.haskell.syntax.Expression.PartialVisitor
Visit the Expression.List case.
visit(Expression.List) - Method in interface hydra.haskell.syntax.Expression.Visitor
Visit the Expression.List case.
visit(Expression.Literal) - Method in interface hydra.haskell.syntax.Expression.PartialVisitor
Visit the Expression.Literal case.
visit(Expression.Literal) - Method in interface hydra.haskell.syntax.Expression.Visitor
Visit the Expression.Literal case.
visit(Expression.RightSection) - Method in interface hydra.haskell.syntax.Expression.PartialVisitor
Visit the Expression.RightSection case.
visit(Expression.RightSection) - Method in interface hydra.haskell.syntax.Expression.Visitor
Visit the Expression.RightSection case.
visit(Expression.Tuple) - Method in interface hydra.haskell.syntax.Expression.PartialVisitor
Visit the Expression.Tuple case.
visit(Expression.Tuple) - Method in interface hydra.haskell.syntax.Expression.Visitor
Visit the Expression.Tuple case.
visit(Expression.TypeSignature) - Method in interface hydra.haskell.syntax.Expression.PartialVisitor
Visit the Expression.TypeSignature case.
visit(Expression.TypeSignature) - Method in interface hydra.haskell.syntax.Expression.Visitor
Visit the Expression.TypeSignature case.
visit(Expression.UpdateRecord) - Method in interface hydra.haskell.syntax.Expression.PartialVisitor
Visit the Expression.UpdateRecord case.
visit(Expression.UpdateRecord) - Method in interface hydra.haskell.syntax.Expression.Visitor
Visit the Expression.UpdateRecord case.
visit(Expression.Variable) - Method in interface hydra.haskell.syntax.Expression.PartialVisitor
Visit the Expression.Variable case.
visit(Expression.Variable) - Method in interface hydra.haskell.syntax.Expression.Visitor
Visit the Expression.Variable case.
visit(ImportExportSubspec.All) - Method in interface hydra.haskell.syntax.ImportExportSubspec.PartialVisitor
Visit the ImportExportSubspec.All case.
visit(ImportExportSubspec.All) - Method in interface hydra.haskell.syntax.ImportExportSubspec.Visitor
Visit the ImportExportSubspec.All case.
visit(ImportExportSubspec.List) - Method in interface hydra.haskell.syntax.ImportExportSubspec.PartialVisitor
Visit the ImportExportSubspec.List case.
visit(ImportExportSubspec.List) - Method in interface hydra.haskell.syntax.ImportExportSubspec.Visitor
Visit the ImportExportSubspec.List case.
visit(ImportModifier.Pattern) - Method in interface hydra.haskell.syntax.ImportModifier.PartialVisitor
Visit the ImportModifier.Pattern case.
visit(ImportModifier.Pattern) - Method in interface hydra.haskell.syntax.ImportModifier.Visitor
Visit the ImportModifier.Pattern case.
visit(ImportModifier.Type) - Method in interface hydra.haskell.syntax.ImportModifier.PartialVisitor
Visit the ImportModifier.Type case.
visit(ImportModifier.Type) - Method in interface hydra.haskell.syntax.ImportModifier.Visitor
Visit the ImportModifier.Type case.
visit(ImportSpec.Hiding) - Method in interface hydra.haskell.syntax.ImportSpec.PartialVisitor
Visit the ImportSpec.Hiding case.
visit(ImportSpec.Hiding) - Method in interface hydra.haskell.syntax.ImportSpec.Visitor
Visit the ImportSpec.Hiding case.
visit(ImportSpec.List) - Method in interface hydra.haskell.syntax.ImportSpec.PartialVisitor
Visit the ImportSpec.List case.
visit(ImportSpec.List) - Method in interface hydra.haskell.syntax.ImportSpec.Visitor
Visit the ImportSpec.List case.
visit(Literal.Char) - Method in interface hydra.haskell.syntax.Literal.PartialVisitor
Visit the Literal.Char case.
visit(Literal.Char) - Method in interface hydra.haskell.syntax.Literal.Visitor
Visit the Literal.Char case.
visit(Literal.Double_) - Method in interface hydra.haskell.syntax.Literal.PartialVisitor
Visit the Literal.Double_ case.
visit(Literal.Double_) - Method in interface hydra.haskell.syntax.Literal.Visitor
Visit the Literal.Double_ case.
visit(Literal.Float_) - Method in interface hydra.haskell.syntax.Literal.PartialVisitor
Visit the Literal.Float_ case.
visit(Literal.Float_) - Method in interface hydra.haskell.syntax.Literal.Visitor
Visit the Literal.Float_ case.
visit(Literal.Int) - Method in interface hydra.haskell.syntax.Literal.PartialVisitor
Visit the Literal.Int case.
visit(Literal.Int) - Method in interface hydra.haskell.syntax.Literal.Visitor
Visit the Literal.Int case.
visit(Literal.Integer_) - Method in interface hydra.haskell.syntax.Literal.PartialVisitor
Visit the Literal.Integer_ case.
visit(Literal.Integer_) - Method in interface hydra.haskell.syntax.Literal.Visitor
Visit the Literal.Integer_ case.
visit(Literal.String_) - Method in interface hydra.haskell.syntax.Literal.PartialVisitor
Visit the Literal.String_ case.
visit(Literal.String_) - Method in interface hydra.haskell.syntax.Literal.Visitor
Visit the Literal.String_ case.
visit(LocalBinding.Signature) - Method in interface hydra.haskell.syntax.LocalBinding.PartialVisitor
Visit the LocalBinding.Signature case.
visit(LocalBinding.Signature) - Method in interface hydra.haskell.syntax.LocalBinding.Visitor
Visit the LocalBinding.Signature case.
visit(LocalBinding.Value) - Method in interface hydra.haskell.syntax.LocalBinding.PartialVisitor
Visit the LocalBinding.Value case.
visit(LocalBinding.Value) - Method in interface hydra.haskell.syntax.LocalBinding.Visitor
Visit the LocalBinding.Value case.
visit(Name.Implicit) - Method in interface hydra.haskell.syntax.Name.PartialVisitor
Visit the Name.Implicit case.
visit(Name.Implicit) - Method in interface hydra.haskell.syntax.Name.Visitor
Visit the Name.Implicit case.
visit(Name.Normal) - Method in interface hydra.haskell.syntax.Name.PartialVisitor
Visit the Name.Normal case.
visit(Name.Normal) - Method in interface hydra.haskell.syntax.Name.Visitor
Visit the Name.Normal case.
visit(Operator.Backtick) - Method in interface hydra.haskell.syntax.Operator.PartialVisitor
Visit the Operator.Backtick case.
visit(Operator.Backtick) - Method in interface hydra.haskell.syntax.Operator.Visitor
Visit the Operator.Backtick case.
visit(Operator.Normal) - Method in interface hydra.haskell.syntax.Operator.PartialVisitor
Visit the Operator.Normal case.
visit(Operator.Normal) - Method in interface hydra.haskell.syntax.Operator.Visitor
Visit the Operator.Normal case.
visit(Pattern.Application) - Method in interface hydra.haskell.syntax.Pattern.PartialVisitor
Visit the Pattern.Application case.
visit(Pattern.Application) - Method in interface hydra.haskell.syntax.Pattern.Visitor
Visit the Pattern.Application case.
visit(Pattern.As) - Method in interface hydra.haskell.syntax.Pattern.PartialVisitor
Visit the Pattern.As case.
visit(Pattern.As) - Method in interface hydra.haskell.syntax.Pattern.Visitor
Visit the Pattern.As case.
visit(Pattern.List) - Method in interface hydra.haskell.syntax.Pattern.PartialVisitor
Visit the Pattern.List case.
visit(Pattern.List) - Method in interface hydra.haskell.syntax.Pattern.Visitor
Visit the Pattern.List case.
visit(Pattern.Literal) - Method in interface hydra.haskell.syntax.Pattern.PartialVisitor
Visit the Pattern.Literal case.
visit(Pattern.Literal) - Method in interface hydra.haskell.syntax.Pattern.Visitor
Visit the Pattern.Literal case.
visit(Pattern.Name) - Method in interface hydra.haskell.syntax.Pattern.PartialVisitor
Visit the Pattern.Name case.
visit(Pattern.Name) - Method in interface hydra.haskell.syntax.Pattern.Visitor
Visit the Pattern.Name case.
visit(Pattern.Record) - Method in interface hydra.haskell.syntax.Pattern.PartialVisitor
Visit the Pattern.Record case.
visit(Pattern.Record) - Method in interface hydra.haskell.syntax.Pattern.Visitor
Visit the Pattern.Record case.
visit(Pattern.Tuple) - Method in interface hydra.haskell.syntax.Pattern.PartialVisitor
Visit the Pattern.Tuple case.
visit(Pattern.Tuple) - Method in interface hydra.haskell.syntax.Pattern.Visitor
Visit the Pattern.Tuple case.
visit(Pattern.Typed) - Method in interface hydra.haskell.syntax.Pattern.PartialVisitor
Visit the Pattern.Typed case.
visit(Pattern.Typed) - Method in interface hydra.haskell.syntax.Pattern.Visitor
Visit the Pattern.Typed case.
visit(Pattern.Wildcard) - Method in interface hydra.haskell.syntax.Pattern.PartialVisitor
Visit the Pattern.Wildcard case.
visit(Pattern.Wildcard) - Method in interface hydra.haskell.syntax.Pattern.Visitor
Visit the Pattern.Wildcard case.
visit(Type.Application) - Method in interface hydra.haskell.syntax.Type.PartialVisitor
Visit the Type.Application case.
visit(Type.Application) - Method in interface hydra.haskell.syntax.Type.Visitor
Visit the Type.Application case.
visit(Type.Ctx) - Method in interface hydra.haskell.syntax.Type.PartialVisitor
Visit the Type.Ctx case.
visit(Type.Ctx) - Method in interface hydra.haskell.syntax.Type.Visitor
Visit the Type.Ctx case.
visit(Type.Function) - Method in interface hydra.haskell.syntax.Type.PartialVisitor
Visit the Type.Function case.
visit(Type.Function) - Method in interface hydra.haskell.syntax.Type.Visitor
Visit the Type.Function case.
visit(Type.Infix) - Method in interface hydra.haskell.syntax.Type.PartialVisitor
Visit the Type.Infix case.
visit(Type.Infix) - Method in interface hydra.haskell.syntax.Type.Visitor
Visit the Type.Infix case.
visit(Type.List) - Method in interface hydra.haskell.syntax.Type.PartialVisitor
Visit the Type.List case.
visit(Type.List) - Method in interface hydra.haskell.syntax.Type.Visitor
Visit the Type.List case.
visit(Type.Tuple) - Method in interface hydra.haskell.syntax.Type.PartialVisitor
Visit the Type.Tuple case.
visit(Type.Tuple) - Method in interface hydra.haskell.syntax.Type.Visitor
Visit the Type.Tuple case.
visit(Type.Variable) - Method in interface hydra.haskell.syntax.Type.PartialVisitor
Visit the Type.Variable case.
visit(Type.Variable) - Method in interface hydra.haskell.syntax.Type.Visitor
Visit the Type.Variable case.
visit(ValueBinding.Simple) - Method in interface hydra.haskell.syntax.ValueBinding.PartialVisitor
Visit the ValueBinding.Simple case.
visit(ValueBinding.Simple) - Method in interface hydra.haskell.syntax.ValueBinding.Visitor
Visit the ValueBinding.Simple case.

W

Wildcard() - Constructor for class hydra.haskell.syntax.Pattern.Wildcard
Constructs an immutable Pattern.Wildcard.
WILDCARD - Static variable in class hydra.haskell.syntax.Pattern
Name of the hydra.haskell.syntax.Pattern.wildcard field.
withAlternatives(List<Alternative>) - Method in class hydra.haskell.syntax.CaseExpression
Returns a copy of this CaseExpression with alternatives replaced.
withArgs(List<Pattern>) - Method in class hydra.haskell.syntax.ApplicationPattern
Returns a copy of this ApplicationPattern with args replaced.
withArgument(Expression) - Method in class hydra.haskell.syntax.ApplicationExpression
Returns a copy of this ApplicationExpression with argument replaced.
withArgument(Type) - Method in class hydra.haskell.syntax.ApplicationType
Returns a copy of this ApplicationType with argument replaced.
withAs(Optional<ModuleName>) - Method in class hydra.haskell.syntax.Import
Returns a copy of this Import with as replaced.
withBindings(List<LocalBinding>) - Method in class hydra.haskell.syntax.LetExpression
Returns a copy of this LetExpression with bindings replaced.
withBindings(List<Pattern>) - Method in class hydra.haskell.syntax.LambdaExpression
Returns a copy of this LambdaExpression with bindings replaced.
withBinds(Optional<LocalBindings>) - Method in class hydra.haskell.syntax.Alternative
Returns a copy of this Alternative with binds replaced.
withCase(Expression) - Method in class hydra.haskell.syntax.CaseExpression
Returns a copy of this CaseExpression with case replaced.
withCodomain(Type) - Method in class hydra.haskell.syntax.FunctionType
Returns a copy of this FunctionType with codomain replaced.
withComments(Optional<String>) - Method in class hydra.haskell.syntax.DataDeclaration
Returns a copy of this DataDeclaration with comments replaced.
withComments(Optional<String>) - Method in class hydra.haskell.syntax.Field
Returns a copy of this Field with comments replaced.
withComments(Optional<String>) - Method in class hydra.haskell.syntax.ModuleHead
Returns a copy of this ModuleHead with comments replaced.
withComments(Optional<String>) - Method in class hydra.haskell.syntax.PositionalConstructor
Returns a copy of this PositionalConstructor with comments replaced.
withComments(Optional<String>) - Method in class hydra.haskell.syntax.RecordConstructor
Returns a copy of this RecordConstructor with comments replaced.
withComments(Optional<String>) - Method in class hydra.haskell.syntax.SimpleValueBinding
Returns a copy of this SimpleValueBinding with comments replaced.
withComments(Optional<String>) - Method in class hydra.haskell.syntax.TypedBinding
Returns a copy of this TypedBinding with comments replaced.
withComments(Optional<String>) - Method in class hydra.haskell.syntax.TypeSynonymDeclaration
Returns a copy of this TypeSynonymDeclaration with comments replaced.
withCondition(Expression) - Method in class hydra.haskell.syntax.IfExpression
Returns a copy of this IfExpression with condition replaced.
withConstructors(List<Constructor>) - Method in class hydra.haskell.syntax.DataDeclaration
Returns a copy of this DataDeclaration with constructors replaced.
withContext(Type) - Method in class hydra.haskell.syntax.ApplicationType
Returns a copy of this ApplicationType with context replaced.
withContext(List<Constraint>) - Method in class hydra.haskell.syntax.DataDeclaration
Returns a copy of this DataDeclaration with context replaced.
withCtx(Constraint) - Method in class hydra.haskell.syntax.ConstrainedType
Returns a copy of this ConstrainedType with ctx replaced.
withDeclarations(List<Declaration>) - Method in class hydra.haskell.syntax.Module
Returns a copy of this Module with declarations replaced.
withDeriving(List<DerivingClause>) - Method in class hydra.haskell.syntax.DataDeclaration
Returns a copy of this DataDeclaration with deriving replaced.
withDomain(Type) - Method in class hydra.haskell.syntax.FunctionType
Returns a copy of this FunctionType with domain replaced.
withElse(Expression) - Method in class hydra.haskell.syntax.IfExpression
Returns a copy of this IfExpression with else replaced.
withExports(List<Export>) - Method in class hydra.haskell.syntax.ModuleHead
Returns a copy of this ModuleHead with exports replaced.
withExpression(Expression) - Method in class hydra.haskell.syntax.SectionExpression
Returns a copy of this SectionExpression with expression replaced.
withFields(List<Field>) - Method in class hydra.haskell.syntax.RecordConstructor
Returns a copy of this RecordConstructor with fields replaced.
withFields(List<FieldUpdate>) - Method in class hydra.haskell.syntax.RecordExpression
Returns a copy of this RecordExpression with fields replaced.
withFields(List<FieldUpdate>) - Method in class hydra.haskell.syntax.RecordUpdateExpression
Returns a copy of this RecordUpdateExpression with fields replaced.
withFields(List<PatternField>) - Method in class hydra.haskell.syntax.RecordPattern
Returns a copy of this RecordPattern with fields replaced.
withFields(List<Type>) - Method in class hydra.haskell.syntax.PositionalConstructor
Returns a copy of this PositionalConstructor with fields replaced.
withFunction(DeclarationHead) - Method in class hydra.haskell.syntax.ApplicationDeclarationHead
Returns a copy of this ApplicationDeclarationHead with function replaced.
withFunction(Expression) - Method in class hydra.haskell.syntax.ApplicationExpression
Returns a copy of this ApplicationExpression with function replaced.
withHead(DeclarationHead) - Method in class hydra.haskell.syntax.DataDeclaration
Returns a copy of this DataDeclaration with head replaced.
withHead(Optional<ModuleHead>) - Method in class hydra.haskell.syntax.Module
Returns a copy of this Module with head replaced.
withImports(List<Import>) - Method in class hydra.haskell.syntax.Module
Returns a copy of this Module with imports replaced.
withInner(Expression) - Method in class hydra.haskell.syntax.LambdaExpression
Returns a copy of this LambdaExpression with inner replaced.
withInner(Expression) - Method in class hydra.haskell.syntax.LetExpression
Returns a copy of this LetExpression with inner replaced.
withInner(Expression) - Method in class hydra.haskell.syntax.RecordUpdateExpression
Returns a copy of this RecordUpdateExpression with inner replaced.
withInner(Expression) - Method in class hydra.haskell.syntax.TypedExpression
Returns a copy of this TypedExpression with inner replaced.
withInner(Pattern) - Method in class hydra.haskell.syntax.AsPattern
Returns a copy of this AsPattern with inner replaced.
withInner(Pattern) - Method in class hydra.haskell.syntax.TypedPattern
Returns a copy of this TypedPattern with inner replaced.
withKeyword(DataKeyword) - Method in class hydra.haskell.syntax.DataDeclaration
Returns a copy of this DataDeclaration with keyword replaced.
withLhs(Expression) - Method in class hydra.haskell.syntax.InfixExpression
Returns a copy of this InfixExpression with lhs replaced.
withLhs(Type) - Method in class hydra.haskell.syntax.InfixType
Returns a copy of this InfixType with lhs replaced.
withLocalBindings(Optional<LocalBindings>) - Method in class hydra.haskell.syntax.SimpleValueBinding
Returns a copy of this SimpleValueBinding with localBindings replaced.
withModifier(Optional<ImportModifier>) - Method in class hydra.haskell.syntax.NamedImportExport
Returns a copy of this NamedImportExport with modifier replaced.
withModule(ModuleName) - Method in class hydra.haskell.syntax.Import
Returns a copy of this Import with module replaced.
withName(DeclarationHead) - Method in class hydra.haskell.syntax.TypeSynonymDeclaration
Returns a copy of this TypeSynonymDeclaration with name replaced.
withName(ModuleName) - Method in class hydra.haskell.syntax.ModuleHead
Returns a copy of this ModuleHead with name replaced.
withName(Name) - Method in class hydra.haskell.syntax.ApplicationPattern
Returns a copy of this ApplicationPattern with name replaced.
withName(Name) - Method in class hydra.haskell.syntax.AsPattern
Returns a copy of this AsPattern with name replaced.
withName(Name) - Method in class hydra.haskell.syntax.ClassConstraint
Returns a copy of this ClassConstraint with name replaced.
withName(Name) - Method in class hydra.haskell.syntax.Field
Returns a copy of this Field with name replaced.
withName(Name) - Method in class hydra.haskell.syntax.FieldUpdate
Returns a copy of this FieldUpdate with name replaced.
withName(Name) - Method in class hydra.haskell.syntax.NamedImportExport
Returns a copy of this NamedImportExport with name replaced.
withName(Name) - Method in class hydra.haskell.syntax.PatternField
Returns a copy of this PatternField with name replaced.
withName(Name) - Method in class hydra.haskell.syntax.PositionalConstructor
Returns a copy of this PositionalConstructor with name replaced.
withName(Name) - Method in class hydra.haskell.syntax.RecordConstructor
Returns a copy of this RecordConstructor with name replaced.
withName(Name) - Method in class hydra.haskell.syntax.RecordExpression
Returns a copy of this RecordExpression with name replaced.
withName(Name) - Method in class hydra.haskell.syntax.RecordPattern
Returns a copy of this RecordPattern with name replaced.
withName(Name) - Method in class hydra.haskell.syntax.TypeSignature
Returns a copy of this TypeSignature with name replaced.
withOperand(Variable) - Method in class hydra.haskell.syntax.ApplicationDeclarationHead
Returns a copy of this ApplicationDeclarationHead with operand replaced.
withOperator(Operator) - Method in class hydra.haskell.syntax.InfixExpression
Returns a copy of this InfixExpression with operator replaced.
withOperator(Operator) - Method in class hydra.haskell.syntax.InfixType
Returns a copy of this InfixType with operator replaced.
withOperator(Operator) - Method in class hydra.haskell.syntax.SectionExpression
Returns a copy of this SectionExpression with operator replaced.
withPattern(Pattern) - Method in class hydra.haskell.syntax.Alternative
Returns a copy of this Alternative with pattern replaced.
withPattern(Pattern) - Method in class hydra.haskell.syntax.PatternField
Returns a copy of this PatternField with pattern replaced.
withPattern(Pattern) - Method in class hydra.haskell.syntax.SimpleValueBinding
Returns a copy of this SimpleValueBinding with pattern replaced.
withQualified(Boolean) - Method in class hydra.haskell.syntax.Import
Returns a copy of this Import with qualified replaced.
withQualifiers(List<NamePart>) - Method in class hydra.haskell.syntax.QualifiedName
Returns a copy of this QualifiedName with qualifiers replaced.
withRhs(CaseRhs) - Method in class hydra.haskell.syntax.Alternative
Returns a copy of this Alternative with rhs replaced.
withRhs(Expression) - Method in class hydra.haskell.syntax.InfixExpression
Returns a copy of this InfixExpression with rhs replaced.
withRhs(RightHandSide) - Method in class hydra.haskell.syntax.SimpleValueBinding
Returns a copy of this SimpleValueBinding with rhs replaced.
withRhs(Type) - Method in class hydra.haskell.syntax.InfixType
Returns a copy of this InfixType with rhs replaced.
withSpec(Optional<ImportSpec>) - Method in class hydra.haskell.syntax.Import
Returns a copy of this Import with spec replaced.
withSubspec(Optional<ImportExportSubspec>) - Method in class hydra.haskell.syntax.NamedImportExport
Returns a copy of this NamedImportExport with subspec replaced.
withThen(Expression) - Method in class hydra.haskell.syntax.IfExpression
Returns a copy of this IfExpression with then replaced.
withType(Type) - Method in class hydra.haskell.syntax.ConstrainedType
Returns a copy of this ConstrainedType with type replaced.
withType(Type) - Method in class hydra.haskell.syntax.Field
Returns a copy of this Field with type replaced.
withType(Type) - Method in class hydra.haskell.syntax.TypedExpression
Returns a copy of this TypedExpression with type replaced.
withType(Type) - Method in class hydra.haskell.syntax.TypedPattern
Returns a copy of this TypedPattern with type replaced.
withType(Type) - Method in class hydra.haskell.syntax.TypeSignature
Returns a copy of this TypeSignature with type replaced.
withType(Type) - Method in class hydra.haskell.syntax.TypeSynonymDeclaration
Returns a copy of this TypeSynonymDeclaration with type replaced.
withTypes(List<Type>) - Method in class hydra.haskell.syntax.ClassConstraint
Returns a copy of this ClassConstraint with types replaced.
withTypeSignature(TypeSignature) - Method in class hydra.haskell.syntax.TypedBinding
Returns a copy of this TypedBinding with typeSignature replaced.
withUnqualified(NamePart) - Method in class hydra.haskell.syntax.QualifiedName
Returns a copy of this QualifiedName with unqualified replaced.
withUsesByteString(Boolean) - Method in class hydra.haskell.environment.HaskellModuleMetadata
Returns a copy of this HaskellModuleMetadata with usesByteString replaced.
withUsesInt(Boolean) - Method in class hydra.haskell.environment.HaskellModuleMetadata
Returns a copy of this HaskellModuleMetadata with usesInt replaced.
withUsesMap(Boolean) - Method in class hydra.haskell.environment.HaskellModuleMetadata
Returns a copy of this HaskellModuleMetadata with usesMap replaced.
withUsesSet(Boolean) - Method in class hydra.haskell.environment.HaskellModuleMetadata
Returns a copy of this HaskellModuleMetadata with usesSet replaced.
withUsesVoid(Boolean) - Method in class hydra.haskell.environment.HaskellModuleMetadata
Returns a copy of this HaskellModuleMetadata with usesVoid replaced.
withValue(Expression) - Method in class hydra.haskell.syntax.FieldUpdate
Returns a copy of this FieldUpdate with value replaced.
withValueBinding(ValueBinding) - Method in class hydra.haskell.syntax.TypedBinding
Returns a copy of this TypedBinding with valueBinding replaced.
writeQualifiedName(QualifiedName) - Static method in interface hydra.haskell.Serde
Write a qualified name as a string
A B C D E F G H I K L M N O P Q R S T U V W 
All Classes All Packages