Index

A

adapt_type_to_haskell_and_encode() (in module hydra.haskell.coder) add_namespaces_to_namespaces() (in module hydra.haskell.testing) ALL (hydra.haskell.syntax.ImportExportSubspec attribute) Alternative (class in hydra.haskell.syntax) alternative() (in module hydra.dsl.haskell.syntax) Alternative.Builder (class in hydra.haskell.syntax) alternative_binds() (in module hydra.dsl.haskell.syntax) alternative_pattern() (in module hydra.dsl.haskell.syntax) alternative_rhs() (in module hydra.dsl.haskell.syntax) alternative_to_expr() (in module hydra.haskell.serde) alternative_with_binds() (in module hydra.dsl.haskell.syntax) alternative_with_pattern() (in module hydra.dsl.haskell.syntax) alternative_with_rhs() (in module hydra.dsl.haskell.syntax) ALTERNATIVES (hydra.haskell.syntax.CaseExpression attribute) alternatives (hydra.haskell.syntax.CaseExpression attribute) alternatives() (hydra.haskell.syntax.CaseExpression.Builder method) and_op() (in module hydra.haskell.operators) ap_op() (in module hydra.haskell.operators) APPLICATION (hydra.haskell.syntax.DeclarationHead attribute) (hydra.haskell.syntax.Expression attribute) (hydra.haskell.syntax.Pattern attribute) (hydra.haskell.syntax.Type attribute) application_declaration_head() (in module hydra.dsl.haskell.syntax) application_declaration_head_function() (in module hydra.dsl.haskell.syntax) application_declaration_head_operand() (in module hydra.dsl.haskell.syntax) application_declaration_head_with_function() (in module hydra.dsl.haskell.syntax) application_declaration_head_with_operand() (in module hydra.dsl.haskell.syntax) application_expression() (in module hydra.dsl.haskell.syntax) application_expression_argument() (in module hydra.dsl.haskell.syntax) application_expression_function() (in module hydra.dsl.haskell.syntax) application_expression_to_expr() (in module hydra.haskell.serde) application_expression_with_argument() (in module hydra.dsl.haskell.syntax) application_expression_with_function() (in module hydra.dsl.haskell.syntax) application_pattern() (in module hydra.dsl.haskell.syntax) (in module hydra.haskell.utils) application_pattern_args() (in module hydra.dsl.haskell.syntax) application_pattern_name() (in module hydra.dsl.haskell.syntax) application_pattern_to_expr() (in module hydra.haskell.serde)

application_pattern_with_args() (in module hydra.dsl.haskell.syntax) application_pattern_with_name() (in module hydra.dsl.haskell.syntax) application_type() (in module hydra.dsl.haskell.syntax) application_type_argument() (in module hydra.dsl.haskell.syntax) application_type_context() (in module hydra.dsl.haskell.syntax) application_type_with_argument() (in module hydra.dsl.haskell.syntax) application_type_with_context() (in module hydra.dsl.haskell.syntax) ApplicationDeclarationHead (class in hydra.haskell.syntax) ApplicationDeclarationHead.Builder (class in hydra.haskell.syntax) ApplicationExpression (class in hydra.haskell.syntax) ApplicationExpression.Builder (class in hydra.haskell.syntax) ApplicationPattern (class in hydra.haskell.syntax) ApplicationPattern.Builder (class in hydra.haskell.syntax) ApplicationType (class in hydra.haskell.syntax) ApplicationType.Builder (class in hydra.haskell.syntax) apply_op() (in module hydra.haskell.operators) ARGS (hydra.haskell.syntax.ApplicationPattern attribute) args (hydra.haskell.syntax.ApplicationPattern attribute) args() (hydra.haskell.syntax.ApplicationPattern.Builder method) ARGUMENT (hydra.haskell.syntax.ApplicationExpression attribute) argument (hydra.haskell.syntax.ApplicationExpression attribute) ARGUMENT (hydra.haskell.syntax.ApplicationType attribute) argument (hydra.haskell.syntax.ApplicationType attribute) argument() (hydra.haskell.syntax.ApplicationExpression.Builder method) (hydra.haskell.syntax.ApplicationType.Builder method) arrow_op() (in module hydra.haskell.operators) AS (hydra.haskell.syntax.Import attribute) (hydra.haskell.syntax.Pattern attribute) as_ (hydra.haskell.syntax.Import attribute) as_() (hydra.haskell.syntax.Import.Builder method) as_pattern() (in module hydra.dsl.haskell.syntax) as_pattern_inner() (in module hydra.dsl.haskell.syntax) as_pattern_name() (in module hydra.dsl.haskell.syntax) as_pattern_with_inner() (in module hydra.dsl.haskell.syntax) as_pattern_with_name() (in module hydra.dsl.haskell.syntax) AsPattern (class in hydra.haskell.syntax) AsPattern.Builder (class in hydra.haskell.syntax) assert_op() (in module hydra.haskell.operators)

B

BACKTICK (hydra.haskell.syntax.Operator attribute) bind_op() (in module hydra.haskell.operators) BINDINGS (hydra.haskell.syntax.LambdaExpression attribute) bindings (hydra.haskell.syntax.LambdaExpression attribute) BINDINGS (hydra.haskell.syntax.LetExpression attribute) bindings (hydra.haskell.syntax.LetExpression attribute) bindings() (hydra.haskell.syntax.LambdaExpression.Builder method) (hydra.haskell.syntax.LetExpression.Builder method) BINDS (hydra.haskell.syntax.Alternative attribute) binds (hydra.haskell.syntax.Alternative attribute) binds() (hydra.haskell.syntax.Alternative.Builder method) build() (hydra.haskell.environment.HaskellModuleMetadata.Builder method) (hydra.haskell.syntax.Alternative.Builder method) (hydra.haskell.syntax.ApplicationDeclarationHead.Builder method) (hydra.haskell.syntax.ApplicationExpression.Builder method) (hydra.haskell.syntax.ApplicationPattern.Builder method) (hydra.haskell.syntax.ApplicationType.Builder method) (hydra.haskell.syntax.AsPattern.Builder method) (hydra.haskell.syntax.CaseExpression.Builder method) (hydra.haskell.syntax.ClassConstraint.Builder method) (hydra.haskell.syntax.ConstrainedType.Builder method) (hydra.haskell.syntax.DataDeclaration.Builder method) (hydra.haskell.syntax.Field.Builder method) (hydra.haskell.syntax.FieldUpdate.Builder method) (hydra.haskell.syntax.FunctionType.Builder method) (hydra.haskell.syntax.IfExpression.Builder method) (hydra.haskell.syntax.Import.Builder method) (hydra.haskell.syntax.InfixExpression.Builder method) (hydra.haskell.syntax.InfixType.Builder method) (hydra.haskell.syntax.LambdaExpression.Builder method) (hydra.haskell.syntax.LetExpression.Builder method) (hydra.haskell.syntax.Module.Builder method) (hydra.haskell.syntax.ModuleHead.Builder method) (hydra.haskell.syntax.NamedImportExport.Builder method) (hydra.haskell.syntax.PatternField.Builder method) (hydra.haskell.syntax.PositionalConstructor.Builder method) (hydra.haskell.syntax.QualifiedName.Builder method) (hydra.haskell.syntax.RecordConstructor.Builder method) (hydra.haskell.syntax.RecordExpression.Builder method) (hydra.haskell.syntax.RecordPattern.Builder method) (hydra.haskell.syntax.RecordUpdateExpression.Builder method) (hydra.haskell.syntax.SectionExpression.Builder method) (hydra.haskell.syntax.SimpleValueBinding.Builder method) (hydra.haskell.syntax.TypedBinding.Builder method) (hydra.haskell.syntax.TypedExpression.Builder method) (hydra.haskell.syntax.TypedPattern.Builder method) (hydra.haskell.syntax.TypeSignature.Builder method) (hydra.haskell.syntax.TypeSynonymDeclaration.Builder method)

build_namespaces_for_test_group() (in module hydra.haskell.testing) build_test_module() (in module hydra.haskell.testing) builder() (hydra.haskell.environment.HaskellModuleMetadata static method) (hydra.haskell.syntax.Alternative static method) (hydra.haskell.syntax.ApplicationDeclarationHead static method) (hydra.haskell.syntax.ApplicationExpression static method) (hydra.haskell.syntax.ApplicationPattern static method) (hydra.haskell.syntax.ApplicationType static method) (hydra.haskell.syntax.AsPattern static method) (hydra.haskell.syntax.CaseExpression static method) (hydra.haskell.syntax.ClassConstraint static method) (hydra.haskell.syntax.ConstrainedType static method) (hydra.haskell.syntax.DataDeclaration static method) (hydra.haskell.syntax.Field static method) (hydra.haskell.syntax.FieldUpdate static method) (hydra.haskell.syntax.FunctionType static method) (hydra.haskell.syntax.IfExpression static method) (hydra.haskell.syntax.Import static method) (hydra.haskell.syntax.InfixExpression static method) (hydra.haskell.syntax.InfixType static method) (hydra.haskell.syntax.LambdaExpression static method) (hydra.haskell.syntax.LetExpression static method) (hydra.haskell.syntax.Module static method) (hydra.haskell.syntax.ModuleHead static method) (hydra.haskell.syntax.NamedImportExport static method) (hydra.haskell.syntax.PatternField static method) (hydra.haskell.syntax.PositionalConstructor static method) (hydra.haskell.syntax.QualifiedName static method) (hydra.haskell.syntax.RecordConstructor static method) (hydra.haskell.syntax.RecordExpression static method) (hydra.haskell.syntax.RecordPattern static method) (hydra.haskell.syntax.RecordUpdateExpression static method) (hydra.haskell.syntax.SectionExpression static method) (hydra.haskell.syntax.SimpleValueBinding static method) (hydra.haskell.syntax.TypedBinding static method) (hydra.haskell.syntax.TypedExpression static method) (hydra.haskell.syntax.TypedPattern static method) (hydra.haskell.syntax.TypeSignature static method) (hydra.haskell.syntax.TypeSynonymDeclaration static method)

C

CASE (hydra.haskell.syntax.CaseExpression attribute) case (hydra.haskell.syntax.CaseExpression attribute) CASE (hydra.haskell.syntax.Expression attribute) case() (hydra.haskell.syntax.CaseExpression.Builder method) case_expression() (in module hydra.dsl.haskell.syntax) case_expression_alternatives() (in module hydra.dsl.haskell.syntax) case_expression_case() (in module hydra.dsl.haskell.syntax) case_expression_to_expr() (in module hydra.haskell.serde) case_expression_with_alternatives() (in module hydra.dsl.haskell.syntax) case_expression_with_case() (in module hydra.dsl.haskell.syntax) case_op() (in module hydra.haskell.operators) case_rhs() (in module hydra.dsl.haskell.syntax) case_rhs_to_expr() (in module hydra.haskell.serde) CaseExpression (class in hydra.haskell.syntax) CaseExpression.Builder (class in hydra.haskell.syntax) CaseRhs (class in hydra.haskell.syntax) CHAR (hydra.haskell.syntax.Literal attribute) CLASS (hydra.haskell.syntax.Constraint attribute) class_constraint() (in module hydra.dsl.haskell.syntax) class_constraint_name() (in module hydra.dsl.haskell.syntax) class_constraint_to_expr() (in module hydra.haskell.serde) class_constraint_types() (in module hydra.dsl.haskell.syntax) class_constraint_with_name() (in module hydra.dsl.haskell.syntax) class_constraint_with_types() (in module hydra.dsl.haskell.syntax) ClassConstraint (class in hydra.haskell.syntax) ClassConstraint.Builder (class in hydra.haskell.syntax) CODOMAIN (hydra.haskell.syntax.FunctionType attribute) codomain (hydra.haskell.syntax.FunctionType attribute) codomain() (hydra.haskell.syntax.FunctionType.Builder method) collect_names() (in module hydra.haskell.testing) collect_test_cases() (in module hydra.haskell.testing) COMMENTS (hydra.haskell.syntax.DataDeclaration attribute) comments (hydra.haskell.syntax.DataDeclaration attribute) COMMENTS (hydra.haskell.syntax.Field attribute) comments (hydra.haskell.syntax.Field attribute) COMMENTS (hydra.haskell.syntax.ModuleHead attribute) comments (hydra.haskell.syntax.ModuleHead attribute) COMMENTS (hydra.haskell.syntax.PositionalConstructor attribute) comments (hydra.haskell.syntax.PositionalConstructor attribute) COMMENTS (hydra.haskell.syntax.RecordConstructor attribute) comments (hydra.haskell.syntax.RecordConstructor attribute) COMMENTS (hydra.haskell.syntax.SimpleValueBinding attribute) comments (hydra.haskell.syntax.SimpleValueBinding attribute) COMMENTS (hydra.haskell.syntax.TypedBinding attribute) comments (hydra.haskell.syntax.TypedBinding attribute) COMMENTS (hydra.haskell.syntax.TypeSynonymDeclaration attribute) comments (hydra.haskell.syntax.TypeSynonymDeclaration attribute) comments() (hydra.haskell.syntax.DataDeclaration.Builder method) (hydra.haskell.syntax.Field.Builder method) (hydra.haskell.syntax.ModuleHead.Builder method) (hydra.haskell.syntax.PositionalConstructor.Builder method) (hydra.haskell.syntax.RecordConstructor.Builder method) (hydra.haskell.syntax.SimpleValueBinding.Builder method) (hydra.haskell.syntax.TypedBinding.Builder method) (hydra.haskell.syntax.TypeSynonymDeclaration.Builder method)

compose_op() (in module hydra.haskell.operators) concat_op() (in module hydra.haskell.operators) CONDITION (hydra.haskell.syntax.IfExpression attribute) condition (hydra.haskell.syntax.IfExpression attribute) condition() (hydra.haskell.syntax.IfExpression.Builder method) cons_op() (in module hydra.haskell.operators) constant_for_field_name() (in module hydra.haskell.coder) constant_for_type_name() (in module hydra.haskell.coder) constrained_type() (in module hydra.dsl.haskell.syntax) constrained_type_ctx() (in module hydra.dsl.haskell.syntax) constrained_type_type() (in module hydra.dsl.haskell.syntax) constrained_type_with_ctx() (in module hydra.dsl.haskell.syntax) constrained_type_with_type() (in module hydra.dsl.haskell.syntax) ConstrainedType (class in hydra.haskell.syntax) ConstrainedType.Builder (class in hydra.haskell.syntax) Constraint (class in hydra.haskell.syntax) constraint_class() (in module hydra.dsl.haskell.syntax) constraint_to_expr() (in module hydra.haskell.serde) constraint_tuple() (in module hydra.dsl.haskell.syntax) ConstraintClass (class in hydra.haskell.syntax) ConstraintTuple (class in hydra.haskell.syntax) construct_module() (in module hydra.haskell.coder) CONSTRUCT_RECORD (hydra.haskell.syntax.Expression attribute) Constructor (class in hydra.haskell.syntax) constructor_ordinary() (in module hydra.dsl.haskell.syntax) constructor_record() (in module hydra.dsl.haskell.syntax) constructor_to_expr() (in module hydra.haskell.serde) ConstructorOrdinary (class in hydra.haskell.syntax) ConstructorRecord (class in hydra.haskell.syntax) CONSTRUCTORS (hydra.haskell.syntax.DataDeclaration attribute) constructors (hydra.haskell.syntax.DataDeclaration attribute) constructors() (hydra.haskell.syntax.DataDeclaration.Builder method) CONTEXT (hydra.haskell.syntax.ApplicationType attribute) context (hydra.haskell.syntax.ApplicationType attribute) CONTEXT (hydra.haskell.syntax.DataDeclaration attribute) context (hydra.haskell.syntax.DataDeclaration attribute) context() (hydra.haskell.syntax.ApplicationType.Builder method) (hydra.haskell.syntax.DataDeclaration.Builder method) CTX (hydra.haskell.syntax.ConstrainedType attribute) ctx (hydra.haskell.syntax.ConstrainedType attribute) CTX (hydra.haskell.syntax.Type attribute) ctx() (hydra.haskell.syntax.ConstrainedType.Builder method)

D

DATA (hydra.haskell.syntax.DataKeyword attribute) (hydra.haskell.syntax.Declaration attribute) data_declaration() (in module hydra.dsl.haskell.syntax) data_declaration_comments() (in module hydra.dsl.haskell.syntax) data_declaration_constructors() (in module hydra.dsl.haskell.syntax) data_declaration_context() (in module hydra.dsl.haskell.syntax) data_declaration_deriving() (in module hydra.dsl.haskell.syntax) data_declaration_head() (in module hydra.dsl.haskell.syntax) data_declaration_keyword() (in module hydra.dsl.haskell.syntax) data_declaration_with_comments() (in module hydra.dsl.haskell.syntax) data_declaration_with_constructors() (in module hydra.dsl.haskell.syntax) data_declaration_with_context() (in module hydra.dsl.haskell.syntax) data_declaration_with_deriving() (in module hydra.dsl.haskell.syntax) data_declaration_with_head() (in module hydra.dsl.haskell.syntax) data_declaration_with_keyword() (in module hydra.dsl.haskell.syntax) data_keyword_to_expr() (in module hydra.haskell.serde) DataDeclaration (class in hydra.haskell.syntax) DataDeclaration.Builder (class in hydra.haskell.syntax) DataKeyword (class in hydra.haskell.syntax) Declaration (class in hydra.haskell.syntax) DECLARATION (hydra.haskell.syntax.Export attribute) declaration_data() (in module hydra.dsl.haskell.syntax) declaration_head_application() (in module hydra.dsl.haskell.syntax) declaration_head_simple() (in module hydra.dsl.haskell.syntax) declaration_head_to_expr() (in module hydra.haskell.serde) declaration_to_expr() (in module hydra.haskell.serde)

declaration_type() (in module hydra.dsl.haskell.syntax) declaration_typed_binding() (in module hydra.dsl.haskell.syntax) declaration_value_binding() (in module hydra.dsl.haskell.syntax) DeclarationData (class in hydra.haskell.syntax) DeclarationHead (class in hydra.haskell.syntax) DeclarationHeadApplication (class in hydra.haskell.syntax) DeclarationHeadSimple (class in hydra.haskell.syntax) DECLARATIONS (hydra.haskell.syntax.Module attribute) declarations (hydra.haskell.syntax.Module attribute) declarations() (hydra.haskell.syntax.Module.Builder method) DeclarationType (class in hydra.haskell.syntax) DeclarationTypedBinding (class in hydra.haskell.syntax) DeclarationValueBinding (class in hydra.haskell.syntax) define_op() (in module hydra.haskell.operators) DERIVING (hydra.haskell.syntax.DataDeclaration attribute) deriving (hydra.haskell.syntax.DataDeclaration attribute) deriving() (hydra.haskell.syntax.DataDeclaration.Builder method) deriving_clause() (in module hydra.dsl.haskell.syntax) DerivingClause (class in hydra.haskell.syntax) diamond_op() (in module hydra.haskell.operators) div_op() (in module hydra.haskell.operators) divide_op() (in module hydra.haskell.operators) DO (hydra.haskell.syntax.Expression attribute) DOMAIN (hydra.haskell.syntax.FunctionType attribute) domain (hydra.haskell.syntax.FunctionType attribute) domain() (hydra.haskell.syntax.FunctionType.Builder method) DOUBLE (hydra.haskell.syntax.Literal attribute)

E

elem_op() (in module hydra.haskell.operators) element_reference() (in module hydra.haskell.utils) ELSE (hydra.haskell.syntax.IfExpression attribute) else_ (hydra.haskell.syntax.IfExpression attribute) else_() (hydra.haskell.syntax.IfExpression.Builder method) encode_case_expression() (in module hydra.haskell.coder) encode_lambda_term() (in module hydra.haskell.coder) encode_literal() (in module hydra.haskell.coder) encode_projection() (in module hydra.haskell.coder) encode_standalone_cases() (in module hydra.haskell.coder) encode_term() (in module hydra.haskell.coder) encode_type() (in module hydra.haskell.coder) encode_type_with_class_assertions() (in module hydra.haskell.coder) encode_unwrap() (in module hydra.haskell.coder) equal_op() (in module hydra.haskell.operators) Export (class in hydra.haskell.syntax) export_declaration() (in module hydra.dsl.haskell.syntax) export_module() (in module hydra.dsl.haskell.syntax) ExportDeclaration (class in hydra.haskell.syntax) ExportModule (class in hydra.haskell.syntax) EXPORTS (hydra.haskell.syntax.ModuleHead attribute) exports (hydra.haskell.syntax.ModuleHead attribute) exports() (hydra.haskell.syntax.ModuleHead.Builder method) Expression (class in hydra.haskell.syntax) EXPRESSION (hydra.haskell.syntax.SectionExpression attribute) expression (hydra.haskell.syntax.SectionExpression attribute) expression() (hydra.haskell.syntax.SectionExpression.Builder method) expression_application() (in module hydra.dsl.haskell.syntax) expression_case() (in module hydra.dsl.haskell.syntax) expression_construct_record() (in module hydra.dsl.haskell.syntax) expression_do() (in module hydra.dsl.haskell.syntax) expression_if() (in module hydra.dsl.haskell.syntax)

expression_infix_application() (in module hydra.dsl.haskell.syntax) expression_lambda() (in module hydra.dsl.haskell.syntax) expression_left_section() (in module hydra.dsl.haskell.syntax) expression_let() (in module hydra.dsl.haskell.syntax) expression_list() (in module hydra.dsl.haskell.syntax) expression_literal() (in module hydra.dsl.haskell.syntax) expression_right_section() (in module hydra.dsl.haskell.syntax) expression_to_expr() (in module hydra.haskell.serde) expression_tuple() (in module hydra.dsl.haskell.syntax) expression_type_signature() (in module hydra.dsl.haskell.syntax) expression_update_record() (in module hydra.dsl.haskell.syntax) expression_variable() (in module hydra.dsl.haskell.syntax) ExpressionApplication (class in hydra.haskell.syntax) ExpressionCase (class in hydra.haskell.syntax) ExpressionConstructRecord (class in hydra.haskell.syntax) ExpressionDo (class in hydra.haskell.syntax) ExpressionIf (class in hydra.haskell.syntax) ExpressionInfixApplication (class in hydra.haskell.syntax) ExpressionLambda (class in hydra.haskell.syntax) ExpressionLeftSection (class in hydra.haskell.syntax) ExpressionLet (class in hydra.haskell.syntax) ExpressionList (class in hydra.haskell.syntax) ExpressionLiteral (class in hydra.haskell.syntax) ExpressionRightSection (class in hydra.haskell.syntax) ExpressionTuple (class in hydra.haskell.syntax) ExpressionTypeSignature (class in hydra.haskell.syntax) ExpressionUpdateRecord (class in hydra.haskell.syntax) ExpressionVariable (class in hydra.haskell.syntax) extend_meta_for_term() (in module hydra.haskell.coder) extend_meta_for_type() (in module hydra.haskell.coder) extract_encoded_term_variable_names() (in module hydra.haskell.testing) extract_test_terms() (in module hydra.haskell.testing)

F

Field (class in hydra.haskell.syntax) field() (in module hydra.dsl.haskell.syntax) Field.Builder (class in hydra.haskell.syntax) field_comments() (in module hydra.dsl.haskell.syntax) field_name() (in module hydra.dsl.haskell.syntax) field_to_expr() (in module hydra.haskell.serde) field_type() (in module hydra.dsl.haskell.syntax) field_update() (in module hydra.dsl.haskell.syntax) field_update_name() (in module hydra.dsl.haskell.syntax) field_update_value() (in module hydra.dsl.haskell.syntax) field_update_with_name() (in module hydra.dsl.haskell.syntax) field_update_with_value() (in module hydra.dsl.haskell.syntax) field_with_comments() (in module hydra.dsl.haskell.syntax) field_with_name() (in module hydra.dsl.haskell.syntax) field_with_type() (in module hydra.dsl.haskell.syntax) FIELDS (hydra.haskell.syntax.PositionalConstructor attribute) fields (hydra.haskell.syntax.PositionalConstructor attribute) FIELDS (hydra.haskell.syntax.RecordConstructor attribute) fields (hydra.haskell.syntax.RecordConstructor attribute) FIELDS (hydra.haskell.syntax.RecordExpression attribute) fields (hydra.haskell.syntax.RecordExpression attribute) FIELDS (hydra.haskell.syntax.RecordPattern attribute) fields (hydra.haskell.syntax.RecordPattern attribute) FIELDS (hydra.haskell.syntax.RecordUpdateExpression attribute) fields (hydra.haskell.syntax.RecordUpdateExpression attribute)

fields() (hydra.haskell.syntax.PositionalConstructor.Builder method) (hydra.haskell.syntax.RecordConstructor.Builder method) (hydra.haskell.syntax.RecordExpression.Builder method) (hydra.haskell.syntax.RecordPattern.Builder method) (hydra.haskell.syntax.RecordUpdateExpression.Builder method) FieldUpdate (class in hydra.haskell.syntax) FieldUpdate.Builder (class in hydra.haskell.syntax) find_haskell_imports() (in module hydra.haskell.testing) find_ord_variables() (in module hydra.haskell.coder) FLOAT (hydra.haskell.syntax.Literal attribute) fmap_op() (in module hydra.haskell.operators) FUNCTION (hydra.haskell.syntax.ApplicationDeclarationHead attribute) function (hydra.haskell.syntax.ApplicationDeclarationHead attribute) FUNCTION (hydra.haskell.syntax.ApplicationExpression attribute) function (hydra.haskell.syntax.ApplicationExpression attribute) FUNCTION (hydra.haskell.syntax.Type attribute) function() (hydra.haskell.syntax.ApplicationDeclarationHead.Builder method) (hydra.haskell.syntax.ApplicationExpression.Builder method) function_type() (in module hydra.dsl.haskell.syntax) function_type_codomain() (in module hydra.dsl.haskell.syntax) function_type_domain() (in module hydra.dsl.haskell.syntax) function_type_with_codomain() (in module hydra.dsl.haskell.syntax) function_type_with_domain() (in module hydra.dsl.haskell.syntax) FunctionType (class in hydra.haskell.syntax) FunctionType.Builder (class in hydra.haskell.syntax)

G

gather_metadata() (in module hydra.haskell.coder) generate_haskell_test_file() (in module hydra.haskell.testing) generate_test_case() (in module hydra.haskell.testing) generate_test_file() (in module hydra.haskell.testing)

generate_test_group_hierarchy() (in module hydra.haskell.testing) get_implicit_type_classes() (in module hydra.haskell.coder) gt_op() (in module hydra.haskell.operators) gte_op() (in module hydra.haskell.operators)

H

haddock_entity_ref() (in module hydra.haskell.serde) haskell_language() (in module hydra.haskell.language) haskell_module_metadata() (in module hydra.dsl.haskell.environment) haskell_module_metadata_uses_byte_string() (in module hydra.dsl.haskell.environment) haskell_module_metadata_uses_int() (in module hydra.dsl.haskell.environment) haskell_module_metadata_uses_map() (in module hydra.dsl.haskell.environment) haskell_module_metadata_uses_set() (in module hydra.dsl.haskell.environment) haskell_module_metadata_uses_void() (in module hydra.dsl.haskell.environment) haskell_module_metadata_with_uses_byte_string() (in module hydra.dsl.haskell.environment) haskell_module_metadata_with_uses_int() (in module hydra.dsl.haskell.environment) haskell_module_metadata_with_uses_map() (in module hydra.dsl.haskell.environment) haskell_module_metadata_with_uses_set() (in module hydra.dsl.haskell.environment) haskell_module_metadata_with_uses_void() (in module hydra.dsl.haskell.environment) HaskellModuleMetadata (class in hydra.haskell.environment) HaskellModuleMetadata.Builder (class in hydra.haskell.environment) HEAD (hydra.haskell.syntax.DataDeclaration attribute) head (hydra.haskell.syntax.DataDeclaration attribute) HEAD (hydra.haskell.syntax.Module attribute) head (hydra.haskell.syntax.Module attribute) head() (hydra.haskell.syntax.DataDeclaration.Builder method) (hydra.haskell.syntax.Module.Builder method) HIDING (hydra.haskell.syntax.ImportSpec attribute) hsapp() (in module hydra.haskell.utils) hslambda() (in module hydra.haskell.utils) hslit() (in module hydra.haskell.utils) hsvar() (in module hydra.haskell.utils) hydra module

hydra.dsl module hydra.dsl.haskell module hydra.dsl.haskell.environment module hydra.dsl.haskell.syntax module hydra.haskell module hydra.haskell.coder module hydra.haskell.environment module hydra.haskell.language module hydra.haskell.operators module hydra.haskell.serde module hydra.haskell.syntax module hydra.haskell.testing module hydra.haskell.utils module

I

IF (hydra.haskell.syntax.Expression attribute) if_expression() (in module hydra.dsl.haskell.syntax) if_expression_condition() (in module hydra.dsl.haskell.syntax) if_expression_else() (in module hydra.dsl.haskell.syntax) if_expression_then() (in module hydra.dsl.haskell.syntax) if_expression_to_expr() (in module hydra.haskell.serde) if_expression_with_condition() (in module hydra.dsl.haskell.syntax) if_expression_with_else() (in module hydra.dsl.haskell.syntax) if_expression_with_then() (in module hydra.dsl.haskell.syntax) IfExpression (class in hydra.haskell.syntax) IfExpression.Builder (class in hydra.haskell.syntax) IMPLICIT (hydra.haskell.syntax.Name attribute) Import (class in hydra.haskell.syntax) Import.Builder (class in hydra.haskell.syntax) import_() (in module hydra.dsl.haskell.syntax) import_as() (in module hydra.dsl.haskell.syntax) import_export_subspec_list() (in module hydra.dsl.haskell.syntax) import_module() (in module hydra.dsl.haskell.syntax) import_qualified() (in module hydra.dsl.haskell.syntax) import_spec() (in module hydra.dsl.haskell.syntax) import_spec_hiding() (in module hydra.dsl.haskell.syntax) import_spec_list() (in module hydra.dsl.haskell.syntax) import_to_expr() (in module hydra.haskell.serde) import_with_as() (in module hydra.dsl.haskell.syntax) import_with_module() (in module hydra.dsl.haskell.syntax) import_with_qualified() (in module hydra.dsl.haskell.syntax) import_with_spec() (in module hydra.dsl.haskell.syntax) ImportExportSubspec (class in hydra.haskell.syntax) ImportExportSubspecAll (class in hydra.haskell.syntax) ImportExportSubspecList (class in hydra.haskell.syntax) ImportModifier (class in hydra.haskell.syntax) IMPORTS (hydra.haskell.syntax.Module attribute) imports (hydra.haskell.syntax.Module attribute) imports() (hydra.haskell.syntax.Module.Builder method) ImportSpec (class in hydra.haskell.syntax) ImportSpecHiding (class in hydra.haskell.syntax) ImportSpecList (class in hydra.haskell.syntax) index_op() (in module hydra.haskell.operators) INFIX (hydra.haskell.syntax.Type attribute)

INFIX_APPLICATION (hydra.haskell.syntax.Expression attribute) infix_expression() (in module hydra.dsl.haskell.syntax) infix_expression_lhs() (in module hydra.dsl.haskell.syntax) infix_expression_operator() (in module hydra.dsl.haskell.syntax) infix_expression_rhs() (in module hydra.dsl.haskell.syntax) infix_expression_with_lhs() (in module hydra.dsl.haskell.syntax) infix_expression_with_operator() (in module hydra.dsl.haskell.syntax) infix_expression_with_rhs() (in module hydra.dsl.haskell.syntax) infix_type() (in module hydra.dsl.haskell.syntax) infix_type_lhs() (in module hydra.dsl.haskell.syntax) infix_type_operator() (in module hydra.dsl.haskell.syntax) infix_type_rhs() (in module hydra.dsl.haskell.syntax) infix_type_with_lhs() (in module hydra.dsl.haskell.syntax) infix_type_with_operator() (in module hydra.dsl.haskell.syntax) infix_type_with_rhs() (in module hydra.dsl.haskell.syntax) InfixExpression (class in hydra.haskell.syntax) InfixExpression.Builder (class in hydra.haskell.syntax) InfixType (class in hydra.haskell.syntax) InfixType.Builder (class in hydra.haskell.syntax) INNER (hydra.haskell.syntax.AsPattern attribute) inner (hydra.haskell.syntax.AsPattern attribute) INNER (hydra.haskell.syntax.LambdaExpression attribute) inner (hydra.haskell.syntax.LambdaExpression attribute) INNER (hydra.haskell.syntax.LetExpression attribute) inner (hydra.haskell.syntax.LetExpression attribute) INNER (hydra.haskell.syntax.RecordUpdateExpression attribute) inner (hydra.haskell.syntax.RecordUpdateExpression attribute) INNER (hydra.haskell.syntax.TypedExpression attribute) inner (hydra.haskell.syntax.TypedExpression attribute) INNER (hydra.haskell.syntax.TypedPattern attribute) inner (hydra.haskell.syntax.TypedPattern attribute) inner() (hydra.haskell.syntax.AsPattern.Builder method) (hydra.haskell.syntax.LambdaExpression.Builder method) (hydra.haskell.syntax.LetExpression.Builder method) (hydra.haskell.syntax.RecordUpdateExpression.Builder method) (hydra.haskell.syntax.TypedExpression.Builder method) (hydra.haskell.syntax.TypedPattern.Builder method) INT (hydra.haskell.syntax.Literal attribute) INTEGER (hydra.haskell.syntax.Literal attribute)

K

KEYWORD (hydra.haskell.syntax.DataDeclaration attribute)

keyword (hydra.haskell.syntax.DataDeclaration attribute) keyword() (hydra.haskell.syntax.DataDeclaration.Builder method)

L

LAMBDA (hydra.haskell.syntax.Expression attribute) lambda_expression() (in module hydra.dsl.haskell.syntax) lambda_expression_bindings() (in module hydra.dsl.haskell.syntax) lambda_expression_inner() (in module hydra.dsl.haskell.syntax) lambda_expression_to_expr() (in module hydra.haskell.serde) lambda_expression_with_bindings() (in module hydra.dsl.haskell.syntax) lambda_expression_with_inner() (in module hydra.dsl.haskell.syntax) lambda_op() (in module hydra.haskell.operators) LambdaExpression (class in hydra.haskell.syntax) LambdaExpression.Builder (class in hydra.haskell.syntax) LEFT_SECTION (hydra.haskell.syntax.Expression attribute) LET (hydra.haskell.syntax.Expression attribute) let_expression() (in module hydra.dsl.haskell.syntax) let_expression_bindings() (in module hydra.dsl.haskell.syntax) let_expression_inner() (in module hydra.dsl.haskell.syntax) let_expression_with_bindings() (in module hydra.dsl.haskell.syntax) let_expression_with_inner() (in module hydra.dsl.haskell.syntax) LetExpression (class in hydra.haskell.syntax) LetExpression.Builder (class in hydra.haskell.syntax) LHS (hydra.haskell.syntax.InfixExpression attribute) lhs (hydra.haskell.syntax.InfixExpression attribute) LHS (hydra.haskell.syntax.InfixType attribute) lhs (hydra.haskell.syntax.InfixType attribute) lhs() (hydra.haskell.syntax.InfixExpression.Builder method) (hydra.haskell.syntax.InfixType.Builder method) LIST (hydra.haskell.syntax.Expression attribute) (hydra.haskell.syntax.ImportExportSubspec attribute) (hydra.haskell.syntax.ImportSpec attribute) (hydra.haskell.syntax.Pattern attribute) (hydra.haskell.syntax.Type attribute)

Literal (class in hydra.haskell.syntax) LITERAL (hydra.haskell.syntax.Expression attribute) (hydra.haskell.syntax.Pattern attribute) literal_char() (in module hydra.dsl.haskell.syntax) literal_double() (in module hydra.dsl.haskell.syntax) literal_float() (in module hydra.dsl.haskell.syntax) literal_int() (in module hydra.dsl.haskell.syntax) literal_integer() (in module hydra.dsl.haskell.syntax) literal_string() (in module hydra.dsl.haskell.syntax) literal_to_expr() (in module hydra.haskell.serde) LiteralChar (class in hydra.haskell.syntax) LiteralDouble (class in hydra.haskell.syntax) LiteralFloat (class in hydra.haskell.syntax) LiteralInt (class in hydra.haskell.syntax) LiteralInteger (class in hydra.haskell.syntax) LiteralString (class in hydra.haskell.syntax) local_binding_signature() (in module hydra.dsl.haskell.syntax) local_binding_to_expr() (in module hydra.haskell.serde) local_binding_value() (in module hydra.dsl.haskell.syntax) LOCAL_BINDINGS (hydra.haskell.syntax.SimpleValueBinding attribute) local_bindings (hydra.haskell.syntax.SimpleValueBinding attribute) local_bindings() (hydra.haskell.syntax.SimpleValueBinding.Builder method) (in module hydra.dsl.haskell.syntax) LocalBinding (class in hydra.haskell.syntax) LocalBindings (class in hydra.haskell.syntax) LocalBindingSignature (class in hydra.haskell.syntax) LocalBindingValue (class in hydra.haskell.syntax) lt_op() (in module hydra.haskell.operators) lte_op() (in module hydra.haskell.operators)

M

minus_op() (in module hydra.haskell.operators) mod_op() (in module hydra.haskell.operators) MODIFIER (hydra.haskell.syntax.NamedImportExport attribute) modifier (hydra.haskell.syntax.NamedImportExport attribute) modifier() (hydra.haskell.syntax.NamedImportExport.Builder method) module hydra hydra.dsl hydra.dsl.haskell hydra.dsl.haskell.environment hydra.dsl.haskell.syntax hydra.haskell hydra.haskell.coder hydra.haskell.environment hydra.haskell.language hydra.haskell.operators hydra.haskell.serde hydra.haskell.syntax hydra.haskell.testing hydra.haskell.utils Module (class in hydra.haskell.syntax) MODULE (hydra.haskell.syntax.Export attribute) (hydra.haskell.syntax.Import attribute) module (hydra.haskell.syntax.Import attribute)

module() (hydra.haskell.syntax.Import.Builder method) (in module hydra.dsl.haskell.syntax) Module.Builder (class in hydra.haskell.syntax) module_declarations() (in module hydra.dsl.haskell.syntax) module_head() (in module hydra.dsl.haskell.syntax) module_head2() (in module hydra.dsl.haskell.syntax) module_head_comments() (in module hydra.dsl.haskell.syntax) module_head_exports() (in module hydra.dsl.haskell.syntax) module_head_name() (in module hydra.dsl.haskell.syntax) module_head_to_expr() (in module hydra.haskell.serde) module_head_with_comments() (in module hydra.dsl.haskell.syntax) module_head_with_exports() (in module hydra.dsl.haskell.syntax) module_head_with_name() (in module hydra.dsl.haskell.syntax) module_imports() (in module hydra.dsl.haskell.syntax) module_name() (in module hydra.dsl.haskell.syntax) module_to_expr() (in module hydra.haskell.serde) module_to_haskell() (in module hydra.haskell.coder) module_to_haskell_module() (in module hydra.haskell.coder) module_with_declarations() (in module hydra.dsl.haskell.syntax) module_with_head() (in module hydra.dsl.haskell.syntax) module_with_imports() (in module hydra.dsl.haskell.syntax) ModuleHead (class in hydra.haskell.syntax) ModuleHead.Builder (class in hydra.haskell.syntax) ModuleName (class in hydra.haskell.syntax) mult_op() (in module hydra.haskell.operators)

N

Name (class in hydra.haskell.syntax) NAME (hydra.haskell.syntax.ApplicationPattern attribute) name (hydra.haskell.syntax.ApplicationPattern attribute) NAME (hydra.haskell.syntax.AsPattern attribute) name (hydra.haskell.syntax.AsPattern attribute) NAME (hydra.haskell.syntax.ClassConstraint attribute) name (hydra.haskell.syntax.ClassConstraint attribute) NAME (hydra.haskell.syntax.Field attribute) name (hydra.haskell.syntax.Field attribute) NAME (hydra.haskell.syntax.FieldUpdate attribute) name (hydra.haskell.syntax.FieldUpdate attribute) NAME (hydra.haskell.syntax.ModuleHead attribute) name (hydra.haskell.syntax.ModuleHead attribute) NAME (hydra.haskell.syntax.NamedImportExport attribute) name (hydra.haskell.syntax.NamedImportExport attribute) NAME (hydra.haskell.syntax.Pattern attribute) (hydra.haskell.syntax.PatternField attribute) name (hydra.haskell.syntax.PatternField attribute) NAME (hydra.haskell.syntax.PositionalConstructor attribute) name (hydra.haskell.syntax.PositionalConstructor attribute) NAME (hydra.haskell.syntax.RecordConstructor attribute) name (hydra.haskell.syntax.RecordConstructor attribute) NAME (hydra.haskell.syntax.RecordExpression attribute) name (hydra.haskell.syntax.RecordExpression attribute) NAME (hydra.haskell.syntax.RecordPattern attribute) name (hydra.haskell.syntax.RecordPattern attribute) NAME (hydra.haskell.syntax.TypeSignature attribute) name (hydra.haskell.syntax.TypeSignature attribute) NAME (hydra.haskell.syntax.TypeSynonymDeclaration attribute) name (hydra.haskell.syntax.TypeSynonymDeclaration attribute) name() (hydra.haskell.syntax.ApplicationPattern.Builder method) (hydra.haskell.syntax.AsPattern.Builder method) (hydra.haskell.syntax.ClassConstraint.Builder method) (hydra.haskell.syntax.Field.Builder method) (hydra.haskell.syntax.FieldUpdate.Builder method) (hydra.haskell.syntax.ModuleHead.Builder method) (hydra.haskell.syntax.NamedImportExport.Builder method) (hydra.haskell.syntax.PatternField.Builder method) (hydra.haskell.syntax.PositionalConstructor.Builder method) (hydra.haskell.syntax.RecordConstructor.Builder method) (hydra.haskell.syntax.RecordExpression.Builder method) (hydra.haskell.syntax.RecordPattern.Builder method) (hydra.haskell.syntax.TypeSignature.Builder method) (hydra.haskell.syntax.TypeSynonymDeclaration.Builder method)

name_decls() (in module hydra.haskell.coder) name_implicit() (in module hydra.dsl.haskell.syntax) name_normal() (in module hydra.dsl.haskell.syntax) name_part() (in module hydra.dsl.haskell.syntax) name_to_expr() (in module hydra.haskell.serde) named_import_export() (in module hydra.dsl.haskell.syntax) named_import_export_modifier() (in module hydra.dsl.haskell.syntax) named_import_export_name() (in module hydra.dsl.haskell.syntax) named_import_export_subspec() (in module hydra.dsl.haskell.syntax) named_import_export_to_expr() (in module hydra.haskell.serde) named_import_export_with_modifier() (in module hydra.dsl.haskell.syntax) named_import_export_with_name() (in module hydra.dsl.haskell.syntax) named_import_export_with_subspec() (in module hydra.dsl.haskell.syntax) NamedImportExport (class in hydra.haskell.syntax) NamedImportExport.Builder (class in hydra.haskell.syntax) NameImplicit (class in hydra.haskell.syntax) NameNormal (class in hydra.haskell.syntax) NamePart (class in hydra.haskell.syntax) namespace_to_module_name() (in module hydra.haskell.testing) namespaces_for_module() (in module hydra.haskell.utils) neq_op() (in module hydra.haskell.operators) NEWTYPE (hydra.haskell.syntax.DataKeyword attribute) newtype_accessor_name() (in module hydra.haskell.utils) NORMAL (hydra.haskell.syntax.Name attribute) (hydra.haskell.syntax.Operator attribute) not_elem_op() (in module hydra.haskell.operators)

O

OPERAND (hydra.haskell.syntax.ApplicationDeclarationHead attribute) operand (hydra.haskell.syntax.ApplicationDeclarationHead attribute) operand() (hydra.haskell.syntax.ApplicationDeclarationHead.Builder method) Operator (class in hydra.haskell.syntax) OPERATOR (hydra.haskell.syntax.InfixExpression attribute) operator (hydra.haskell.syntax.InfixExpression attribute) OPERATOR (hydra.haskell.syntax.InfixType attribute) operator (hydra.haskell.syntax.InfixType attribute) OPERATOR (hydra.haskell.syntax.SectionExpression attribute)

operator (hydra.haskell.syntax.SectionExpression attribute) operator() (hydra.haskell.syntax.InfixExpression.Builder method) (hydra.haskell.syntax.InfixType.Builder method) (hydra.haskell.syntax.SectionExpression.Builder method) operator_backtick() (in module hydra.dsl.haskell.syntax) operator_normal() (in module hydra.dsl.haskell.syntax) OperatorBacktick (class in hydra.haskell.syntax) OperatorNormal (class in hydra.haskell.syntax) or_op() (in module hydra.haskell.operators) ORDINARY (hydra.haskell.syntax.Constructor attribute)

P

Pattern (class in hydra.haskell.syntax) PATTERN (hydra.haskell.syntax.Alternative attribute) pattern (hydra.haskell.syntax.Alternative attribute) PATTERN (hydra.haskell.syntax.ImportModifier attribute) (hydra.haskell.syntax.PatternField attribute) pattern (hydra.haskell.syntax.PatternField attribute) PATTERN (hydra.haskell.syntax.SimpleValueBinding attribute) pattern (hydra.haskell.syntax.SimpleValueBinding attribute) pattern() (hydra.haskell.syntax.Alternative.Builder method) (hydra.haskell.syntax.PatternField.Builder method) (hydra.haskell.syntax.SimpleValueBinding.Builder method) pattern_application() (in module hydra.dsl.haskell.syntax) pattern_as() (in module hydra.dsl.haskell.syntax) pattern_field() (in module hydra.dsl.haskell.syntax) pattern_field_name() (in module hydra.dsl.haskell.syntax) pattern_field_pattern() (in module hydra.dsl.haskell.syntax) pattern_field_with_name() (in module hydra.dsl.haskell.syntax) pattern_field_with_pattern() (in module hydra.dsl.haskell.syntax) pattern_list() (in module hydra.dsl.haskell.syntax) pattern_literal() (in module hydra.dsl.haskell.syntax) pattern_name() (in module hydra.dsl.haskell.syntax) pattern_record() (in module hydra.dsl.haskell.syntax) pattern_to_expr() (in module hydra.haskell.serde)

pattern_tuple() (in module hydra.dsl.haskell.syntax) pattern_typed() (in module hydra.dsl.haskell.syntax) PatternApplication (class in hydra.haskell.syntax) PatternAs (class in hydra.haskell.syntax) PatternField (class in hydra.haskell.syntax) PatternField.Builder (class in hydra.haskell.syntax) PatternList (class in hydra.haskell.syntax) PatternLiteral (class in hydra.haskell.syntax) PatternName (class in hydra.haskell.syntax) PatternRecord (class in hydra.haskell.syntax) PatternTuple (class in hydra.haskell.syntax) PatternTyped (class in hydra.haskell.syntax) PatternWildcard (class in hydra.haskell.syntax) plus_op() (in module hydra.haskell.operators) positional_constructor() (in module hydra.dsl.haskell.syntax) positional_constructor_comments() (in module hydra.dsl.haskell.syntax) positional_constructor_fields() (in module hydra.dsl.haskell.syntax) positional_constructor_name() (in module hydra.dsl.haskell.syntax) positional_constructor_with_comments() (in module hydra.dsl.haskell.syntax) positional_constructor_with_fields() (in module hydra.dsl.haskell.syntax) positional_constructor_with_name() (in module hydra.dsl.haskell.syntax) PositionalConstructor (class in hydra.haskell.syntax) PositionalConstructor.Builder (class in hydra.haskell.syntax)

Q

QUALIFIED (hydra.haskell.syntax.Import attribute) qualified (hydra.haskell.syntax.Import attribute) qualified() (hydra.haskell.syntax.Import.Builder method) qualified_name() (in module hydra.dsl.haskell.syntax) qualified_name_qualifiers() (in module hydra.dsl.haskell.syntax) qualified_name_unqualified() (in module hydra.dsl.haskell.syntax) qualified_name_with_qualifiers() (in module hydra.dsl.haskell.syntax)

qualified_name_with_unqualified() (in module hydra.dsl.haskell.syntax) QualifiedName (class in hydra.haskell.syntax) QualifiedName.Builder (class in hydra.haskell.syntax) QUALIFIERS (hydra.haskell.syntax.QualifiedName attribute) qualifiers (hydra.haskell.syntax.QualifiedName attribute) qualifiers() (hydra.haskell.syntax.QualifiedName.Builder method) quot_op() (in module hydra.haskell.operators)

R

raw_name() (in module hydra.haskell.utils) RECORD (hydra.haskell.syntax.Constructor attribute) (hydra.haskell.syntax.Pattern attribute) record_constructor() (in module hydra.dsl.haskell.syntax) record_constructor_comments() (in module hydra.dsl.haskell.syntax) record_constructor_fields() (in module hydra.dsl.haskell.syntax) record_constructor_name() (in module hydra.dsl.haskell.syntax) record_constructor_with_comments() (in module hydra.dsl.haskell.syntax) record_constructor_with_fields() (in module hydra.dsl.haskell.syntax) record_constructor_with_name() (in module hydra.dsl.haskell.syntax) record_expression() (in module hydra.dsl.haskell.syntax) record_expression_fields() (in module hydra.dsl.haskell.syntax) record_expression_name() (in module hydra.dsl.haskell.syntax) record_expression_to_expr() (in module hydra.haskell.serde) record_expression_with_fields() (in module hydra.dsl.haskell.syntax) record_expression_with_name() (in module hydra.dsl.haskell.syntax) record_field_reference() (in module hydra.haskell.utils) record_pattern() (in module hydra.dsl.haskell.syntax) record_pattern_fields() (in module hydra.dsl.haskell.syntax) record_pattern_name() (in module hydra.dsl.haskell.syntax) record_pattern_with_fields() (in module hydra.dsl.haskell.syntax) record_pattern_with_name() (in module hydra.dsl.haskell.syntax) record_update_expression() (in module hydra.dsl.haskell.syntax) record_update_expression_fields() (in module hydra.dsl.haskell.syntax) record_update_expression_inner() (in module hydra.dsl.haskell.syntax) record_update_expression_with_fields() (in module hydra.dsl.haskell.syntax)

record_update_expression_with_inner() (in module hydra.dsl.haskell.syntax) RecordConstructor (class in hydra.haskell.syntax) RecordConstructor.Builder (class in hydra.haskell.syntax) RecordExpression (class in hydra.haskell.syntax) RecordExpression.Builder (class in hydra.haskell.syntax) RecordPattern (class in hydra.haskell.syntax) RecordPattern.Builder (class in hydra.haskell.syntax) RecordUpdateExpression (class in hydra.haskell.syntax) RecordUpdateExpression.Builder (class in hydra.haskell.syntax) rem_op() (in module hydra.haskell.operators) reserved_words() (in module hydra.haskell.language) RHS (hydra.haskell.syntax.Alternative attribute) rhs (hydra.haskell.syntax.Alternative attribute) RHS (hydra.haskell.syntax.InfixExpression attribute) rhs (hydra.haskell.syntax.InfixExpression attribute) RHS (hydra.haskell.syntax.InfixType attribute) rhs (hydra.haskell.syntax.InfixType attribute) RHS (hydra.haskell.syntax.SimpleValueBinding attribute) rhs (hydra.haskell.syntax.SimpleValueBinding attribute) rhs() (hydra.haskell.syntax.Alternative.Builder method) (hydra.haskell.syntax.InfixExpression.Builder method) (hydra.haskell.syntax.InfixType.Builder method) (hydra.haskell.syntax.SimpleValueBinding.Builder method) right_hand_side() (in module hydra.dsl.haskell.syntax) right_hand_side_to_expr() (in module hydra.haskell.serde) RIGHT_SECTION (hydra.haskell.syntax.Expression attribute) RightHandSide (class in hydra.haskell.syntax)

S

sanitize_haskell_name() (in module hydra.haskell.utils) section_expression() (in module hydra.dsl.haskell.syntax) section_expression_expression() (in module hydra.dsl.haskell.syntax) section_expression_operator() (in module hydra.dsl.haskell.syntax) section_expression_with_expression() (in module hydra.dsl.haskell.syntax) section_expression_with_operator() (in module hydra.dsl.haskell.syntax) SectionExpression (class in hydra.haskell.syntax) SectionExpression.Builder (class in hydra.haskell.syntax) set_meta_uses_byte_string() (in module hydra.haskell.coder) set_meta_uses_int() (in module hydra.haskell.coder) set_meta_uses_map() (in module hydra.haskell.coder) set_meta_uses_set() (in module hydra.haskell.coder) set_meta_uses_void() (in module hydra.haskell.coder) SIGNATURE (hydra.haskell.syntax.LocalBinding attribute) SIMPLE (hydra.haskell.syntax.DeclarationHead attribute) (hydra.haskell.syntax.ValueBinding attribute) simple_name() (in module hydra.haskell.utils) simple_value_binding() (in module hydra.dsl.haskell.syntax) (in module hydra.haskell.utils)

simple_value_binding_comments() (in module hydra.dsl.haskell.syntax) simple_value_binding_local_bindings() (in module hydra.dsl.haskell.syntax) simple_value_binding_pattern() (in module hydra.dsl.haskell.syntax) simple_value_binding_rhs() (in module hydra.dsl.haskell.syntax) simple_value_binding_with_comments() (in module hydra.dsl.haskell.syntax) simple_value_binding_with_local_bindings() (in module hydra.dsl.haskell.syntax) simple_value_binding_with_pattern() (in module hydra.dsl.haskell.syntax) simple_value_binding_with_rhs() (in module hydra.dsl.haskell.syntax) SimpleValueBinding (class in hydra.haskell.syntax) SimpleValueBinding.Builder (class in hydra.haskell.syntax) SPEC (hydra.haskell.syntax.Import attribute) spec (hydra.haskell.syntax.Import attribute) spec() (hydra.haskell.syntax.Import.Builder method) Statement (class in hydra.haskell.syntax) statement() (in module hydra.dsl.haskell.syntax) statement_to_expr() (in module hydra.haskell.serde) STRING (hydra.haskell.syntax.Literal attribute) SUBSPEC (hydra.haskell.syntax.NamedImportExport attribute) subspec (hydra.haskell.syntax.NamedImportExport attribute) subspec() (hydra.haskell.syntax.NamedImportExport.Builder method)

T

THEN (hydra.haskell.syntax.IfExpression attribute) then (hydra.haskell.syntax.IfExpression attribute) then() (hydra.haskell.syntax.IfExpression.Builder method) to_data_declaration() (in module hydra.haskell.coder) to_haskell_comments() (in module hydra.haskell.serde) to_simple_comments() (in module hydra.haskell.serde) to_type_application() (in module hydra.haskell.utils) to_type_declarations_from() (in module hydra.haskell.coder) TUPLE (hydra.haskell.syntax.Constraint attribute) (hydra.haskell.syntax.Expression attribute) (hydra.haskell.syntax.Pattern attribute) (hydra.haskell.syntax.Type attribute) Type (class in hydra.haskell.syntax) TYPE (hydra.haskell.syntax.ConstrainedType attribute) type (hydra.haskell.syntax.ConstrainedType attribute) TYPE (hydra.haskell.syntax.Declaration attribute) (hydra.haskell.syntax.Field attribute) type (hydra.haskell.syntax.Field attribute) TYPE (hydra.haskell.syntax.ImportModifier attribute) (hydra.haskell.syntax.TypedExpression attribute) type (hydra.haskell.syntax.TypedExpression attribute) TYPE (hydra.haskell.syntax.TypedPattern attribute) type (hydra.haskell.syntax.TypedPattern attribute) TYPE (hydra.haskell.syntax.TypeSignature attribute) type (hydra.haskell.syntax.TypeSignature attribute) TYPE (hydra.haskell.syntax.TypeSynonymDeclaration attribute) type (hydra.haskell.syntax.TypeSynonymDeclaration attribute) type() (hydra.haskell.syntax.ConstrainedType.Builder method) (hydra.haskell.syntax.Field.Builder method) (hydra.haskell.syntax.TypedExpression.Builder method) (hydra.haskell.syntax.TypedPattern.Builder method) (hydra.haskell.syntax.TypeSignature.Builder method) (hydra.haskell.syntax.TypeSynonymDeclaration.Builder method) TYPE_ (hydra.haskell.environment.HaskellModuleMetadata attribute) (hydra.haskell.syntax.Alternative attribute) (hydra.haskell.syntax.ApplicationDeclarationHead attribute) (hydra.haskell.syntax.ApplicationExpression attribute) (hydra.haskell.syntax.ApplicationPattern attribute) (hydra.haskell.syntax.ApplicationType attribute) (hydra.haskell.syntax.AsPattern attribute) (hydra.haskell.syntax.CaseExpression attribute) (hydra.haskell.syntax.CaseRhs attribute) (hydra.haskell.syntax.ClassConstraint attribute) (hydra.haskell.syntax.ConstrainedType attribute) (hydra.haskell.syntax.Constraint attribute) (hydra.haskell.syntax.Constructor attribute) (hydra.haskell.syntax.DataDeclaration attribute) (hydra.haskell.syntax.DataKeyword attribute) (hydra.haskell.syntax.Declaration attribute) (hydra.haskell.syntax.DeclarationHead attribute) (hydra.haskell.syntax.DerivingClause attribute) (hydra.haskell.syntax.Export attribute) (hydra.haskell.syntax.Expression attribute) (hydra.haskell.syntax.Field attribute) (hydra.haskell.syntax.FieldUpdate attribute) (hydra.haskell.syntax.FunctionType attribute) (hydra.haskell.syntax.IfExpression attribute) (hydra.haskell.syntax.Import attribute) (hydra.haskell.syntax.ImportExportSubspec attribute) (hydra.haskell.syntax.ImportModifier attribute) (hydra.haskell.syntax.ImportSpec attribute) (hydra.haskell.syntax.InfixExpression attribute) (hydra.haskell.syntax.InfixType attribute) (hydra.haskell.syntax.LambdaExpression attribute) (hydra.haskell.syntax.LetExpression attribute) (hydra.haskell.syntax.Literal attribute) (hydra.haskell.syntax.LocalBinding attribute) (hydra.haskell.syntax.LocalBindings attribute) (hydra.haskell.syntax.Module attribute) (hydra.haskell.syntax.ModuleHead attribute) (hydra.haskell.syntax.ModuleName attribute) (hydra.haskell.syntax.Name attribute) (hydra.haskell.syntax.NamedImportExport attribute) (hydra.haskell.syntax.NamePart attribute) (hydra.haskell.syntax.Operator attribute) (hydra.haskell.syntax.Pattern attribute) (hydra.haskell.syntax.PatternField attribute) (hydra.haskell.syntax.PositionalConstructor attribute) (hydra.haskell.syntax.QualifiedName attribute) (hydra.haskell.syntax.RecordConstructor attribute) (hydra.haskell.syntax.RecordExpression attribute) (hydra.haskell.syntax.RecordPattern attribute) (hydra.haskell.syntax.RecordUpdateExpression attribute) (hydra.haskell.syntax.RightHandSide attribute) (hydra.haskell.syntax.SectionExpression attribute) (hydra.haskell.syntax.SimpleValueBinding attribute) (hydra.haskell.syntax.Statement attribute) (hydra.haskell.syntax.Type attribute) (hydra.haskell.syntax.TypedBinding attribute) (hydra.haskell.syntax.TypedExpression attribute) (hydra.haskell.syntax.TypedPattern attribute) (hydra.haskell.syntax.TypeSignature attribute) (hydra.haskell.syntax.TypeSynonymDeclaration attribute) (hydra.haskell.syntax.ValueBinding attribute) (hydra.haskell.syntax.Variable attribute)

type_application() (in module hydra.dsl.haskell.syntax) type_ctx() (in module hydra.dsl.haskell.syntax) type_decl() (in module hydra.haskell.coder) type_function() (in module hydra.dsl.haskell.syntax) type_infix() (in module hydra.dsl.haskell.syntax) type_list() (in module hydra.dsl.haskell.syntax) type_name_for_record() (in module hydra.haskell.utils) type_op() (in module hydra.haskell.operators) type_scheme_constraints_to_class_map() (in module hydra.haskell.coder) TYPE_SIGNATURE (hydra.haskell.syntax.Expression attribute) (hydra.haskell.syntax.TypedBinding attribute) type_signature (hydra.haskell.syntax.TypedBinding attribute) type_signature() (hydra.haskell.syntax.TypedBinding.Builder method) (in module hydra.dsl.haskell.syntax) type_signature_name() (in module hydra.dsl.haskell.syntax) type_signature_to_expr() (in module hydra.haskell.serde) type_signature_type() (in module hydra.dsl.haskell.syntax) type_signature_with_name() (in module hydra.dsl.haskell.syntax) type_signature_with_type() (in module hydra.dsl.haskell.syntax) type_synonym_declaration() (in module hydra.dsl.haskell.syntax) type_synonym_declaration_comments() (in module hydra.dsl.haskell.syntax) type_synonym_declaration_name() (in module hydra.dsl.haskell.syntax) type_synonym_declaration_type() (in module hydra.dsl.haskell.syntax) type_synonym_declaration_with_comments() (in module hydra.dsl.haskell.syntax) type_synonym_declaration_with_name() (in module hydra.dsl.haskell.syntax) type_synonym_declaration_with_type() (in module hydra.dsl.haskell.syntax) type_to_expr() (in module hydra.haskell.serde) type_tuple() (in module hydra.dsl.haskell.syntax) type_variable() (in module hydra.dsl.haskell.syntax) TypeApplication (class in hydra.haskell.syntax) TypeCtx (class in hydra.haskell.syntax) TYPED (hydra.haskell.syntax.Pattern attribute) TYPED_BINDING (hydra.haskell.syntax.Declaration attribute) typed_binding() (in module hydra.dsl.haskell.syntax) typed_binding_comments() (in module hydra.dsl.haskell.syntax) typed_binding_type_signature() (in module hydra.dsl.haskell.syntax) typed_binding_value_binding() (in module hydra.dsl.haskell.syntax) typed_binding_with_comments() (in module hydra.dsl.haskell.syntax) typed_binding_with_type_signature() (in module hydra.dsl.haskell.syntax) typed_binding_with_value_binding() (in module hydra.dsl.haskell.syntax) typed_expression() (in module hydra.dsl.haskell.syntax) typed_expression_inner() (in module hydra.dsl.haskell.syntax) typed_expression_type() (in module hydra.dsl.haskell.syntax) typed_expression_with_inner() (in module hydra.dsl.haskell.syntax) typed_expression_with_type() (in module hydra.dsl.haskell.syntax) typed_pattern() (in module hydra.dsl.haskell.syntax) typed_pattern_inner() (in module hydra.dsl.haskell.syntax) typed_pattern_type() (in module hydra.dsl.haskell.syntax) typed_pattern_with_inner() (in module hydra.dsl.haskell.syntax) typed_pattern_with_type() (in module hydra.dsl.haskell.syntax) TypedBinding (class in hydra.haskell.syntax) TypedBinding.Builder (class in hydra.haskell.syntax) TypedExpression (class in hydra.haskell.syntax) TypedExpression.Builder (class in hydra.haskell.syntax) TypedPattern (class in hydra.haskell.syntax) TypedPattern.Builder (class in hydra.haskell.syntax) TypeFunction (class in hydra.haskell.syntax) TypeInfix (class in hydra.haskell.syntax) TypeList (class in hydra.haskell.syntax) TYPES (hydra.haskell.syntax.ClassConstraint attribute) types (hydra.haskell.syntax.ClassConstraint attribute) types() (hydra.haskell.syntax.ClassConstraint.Builder method) TypeSignature (class in hydra.haskell.syntax) TypeSignature.Builder (class in hydra.haskell.syntax) TypeSynonymDeclaration (class in hydra.haskell.syntax) TypeSynonymDeclaration.Builder (class in hydra.haskell.syntax) TypeTuple (class in hydra.haskell.syntax) TypeVariable (class in hydra.haskell.syntax)

U

un_case_rhs() (in module hydra.dsl.haskell.syntax) un_deriving_clause() (in module hydra.dsl.haskell.syntax) un_local_bindings() (in module hydra.dsl.haskell.syntax) un_module_name() (in module hydra.dsl.haskell.syntax) un_name_part() (in module hydra.dsl.haskell.syntax) un_right_hand_side() (in module hydra.dsl.haskell.syntax) un_statement() (in module hydra.dsl.haskell.syntax) un_variable() (in module hydra.dsl.haskell.syntax) union_field_reference() (in module hydra.haskell.utils) unpack_forall_type() (in module hydra.haskell.utils) UNQUALIFIED (hydra.haskell.syntax.QualifiedName attribute) unqualified (hydra.haskell.syntax.QualifiedName attribute) unqualified() (hydra.haskell.syntax.QualifiedName.Builder method) UPDATE_RECORD (hydra.haskell.syntax.Expression attribute)

USES_BYTE_STRING (hydra.haskell.environment.HaskellModuleMetadata attribute) uses_byte_string (hydra.haskell.environment.HaskellModuleMetadata attribute) uses_byte_string() (hydra.haskell.environment.HaskellModuleMetadata.Builder method) USES_INT (hydra.haskell.environment.HaskellModuleMetadata attribute) uses_int (hydra.haskell.environment.HaskellModuleMetadata attribute) uses_int() (hydra.haskell.environment.HaskellModuleMetadata.Builder method) USES_MAP (hydra.haskell.environment.HaskellModuleMetadata attribute) uses_map (hydra.haskell.environment.HaskellModuleMetadata attribute) uses_map() (hydra.haskell.environment.HaskellModuleMetadata.Builder method) USES_SET (hydra.haskell.environment.HaskellModuleMetadata attribute) uses_set (hydra.haskell.environment.HaskellModuleMetadata attribute) uses_set() (hydra.haskell.environment.HaskellModuleMetadata.Builder method) USES_VOID (hydra.haskell.environment.HaskellModuleMetadata attribute) uses_void (hydra.haskell.environment.HaskellModuleMetadata attribute) uses_void() (hydra.haskell.environment.HaskellModuleMetadata.Builder method)

V

VALUE (hydra.haskell.syntax.FieldUpdate attribute) value (hydra.haskell.syntax.FieldUpdate attribute) VALUE (hydra.haskell.syntax.LocalBinding attribute) value() (hydra.haskell.syntax.FieldUpdate.Builder method) VALUE_BINDING (hydra.haskell.syntax.Declaration attribute) (hydra.haskell.syntax.TypedBinding attribute) value_binding (hydra.haskell.syntax.TypedBinding attribute) value_binding() (hydra.haskell.syntax.TypedBinding.Builder method)

value_binding_simple() (in module hydra.dsl.haskell.syntax) value_binding_to_expr() (in module hydra.haskell.serde) ValueBinding (class in hydra.haskell.syntax) ValueBindingSimple (class in hydra.haskell.syntax) Variable (class in hydra.haskell.syntax) VARIABLE (hydra.haskell.syntax.Expression attribute) (hydra.haskell.syntax.Type attribute) variable() (in module hydra.dsl.haskell.syntax) variable_to_expr() (in module hydra.haskell.serde)

W

WILDCARD (hydra.haskell.syntax.Pattern attribute) with_alternatives() (hydra.haskell.syntax.CaseExpression method) with_args() (hydra.haskell.syntax.ApplicationPattern method) with_argument() (hydra.haskell.syntax.ApplicationExpression method) (hydra.haskell.syntax.ApplicationType method) with_as_() (hydra.haskell.syntax.Import method) with_bindings() (hydra.haskell.syntax.LambdaExpression method) (hydra.haskell.syntax.LetExpression method) with_binds() (hydra.haskell.syntax.Alternative method) with_case() (hydra.haskell.syntax.CaseExpression method) with_codomain() (hydra.haskell.syntax.FunctionType method) with_comments() (hydra.haskell.syntax.DataDeclaration method) (hydra.haskell.syntax.Field method) (hydra.haskell.syntax.ModuleHead method) (hydra.haskell.syntax.PositionalConstructor method) (hydra.haskell.syntax.RecordConstructor method) (hydra.haskell.syntax.SimpleValueBinding method) (hydra.haskell.syntax.TypedBinding method) (hydra.haskell.syntax.TypeSynonymDeclaration method) with_condition() (hydra.haskell.syntax.IfExpression method) with_constructors() (hydra.haskell.syntax.DataDeclaration method) with_context() (hydra.haskell.syntax.ApplicationType method) (hydra.haskell.syntax.DataDeclaration method) with_ctx() (hydra.haskell.syntax.ConstrainedType method) with_declarations() (hydra.haskell.syntax.Module method) with_deriving() (hydra.haskell.syntax.DataDeclaration method) with_domain() (hydra.haskell.syntax.FunctionType method) with_else_() (hydra.haskell.syntax.IfExpression method) with_exports() (hydra.haskell.syntax.ModuleHead method) with_expression() (hydra.haskell.syntax.SectionExpression method) with_fields() (hydra.haskell.syntax.PositionalConstructor method) (hydra.haskell.syntax.RecordConstructor method) (hydra.haskell.syntax.RecordExpression method) (hydra.haskell.syntax.RecordPattern method) (hydra.haskell.syntax.RecordUpdateExpression method) with_function() (hydra.haskell.syntax.ApplicationDeclarationHead method) (hydra.haskell.syntax.ApplicationExpression method) with_head() (hydra.haskell.syntax.DataDeclaration method) (hydra.haskell.syntax.Module method) with_imports() (hydra.haskell.syntax.Module method) with_inner() (hydra.haskell.syntax.AsPattern method) (hydra.haskell.syntax.LambdaExpression method) (hydra.haskell.syntax.LetExpression method) (hydra.haskell.syntax.RecordUpdateExpression method) (hydra.haskell.syntax.TypedExpression method) (hydra.haskell.syntax.TypedPattern method) with_keyword() (hydra.haskell.syntax.DataDeclaration method) with_lhs() (hydra.haskell.syntax.InfixExpression method) (hydra.haskell.syntax.InfixType method)

with_local_bindings() (hydra.haskell.syntax.SimpleValueBinding method) with_modifier() (hydra.haskell.syntax.NamedImportExport method) with_module() (hydra.haskell.syntax.Import method) with_name() (hydra.haskell.syntax.ApplicationPattern method) (hydra.haskell.syntax.AsPattern method) (hydra.haskell.syntax.ClassConstraint method) (hydra.haskell.syntax.Field method) (hydra.haskell.syntax.FieldUpdate method) (hydra.haskell.syntax.ModuleHead method) (hydra.haskell.syntax.NamedImportExport method) (hydra.haskell.syntax.PatternField method) (hydra.haskell.syntax.PositionalConstructor method) (hydra.haskell.syntax.RecordConstructor method) (hydra.haskell.syntax.RecordExpression method) (hydra.haskell.syntax.RecordPattern method) (hydra.haskell.syntax.TypeSignature method) (hydra.haskell.syntax.TypeSynonymDeclaration method) with_operand() (hydra.haskell.syntax.ApplicationDeclarationHead method) with_operator() (hydra.haskell.syntax.InfixExpression method) (hydra.haskell.syntax.InfixType method) (hydra.haskell.syntax.SectionExpression method) with_pattern() (hydra.haskell.syntax.Alternative method) (hydra.haskell.syntax.PatternField method) (hydra.haskell.syntax.SimpleValueBinding method) with_qualified() (hydra.haskell.syntax.Import method) with_qualifiers() (hydra.haskell.syntax.QualifiedName method) with_rhs() (hydra.haskell.syntax.Alternative method) (hydra.haskell.syntax.InfixExpression method) (hydra.haskell.syntax.InfixType method) (hydra.haskell.syntax.SimpleValueBinding method) with_spec() (hydra.haskell.syntax.Import method) with_subspec() (hydra.haskell.syntax.NamedImportExport method) with_then() (hydra.haskell.syntax.IfExpression method) with_type() (hydra.haskell.syntax.ConstrainedType method) (hydra.haskell.syntax.Field method) (hydra.haskell.syntax.TypedExpression method) (hydra.haskell.syntax.TypedPattern method) (hydra.haskell.syntax.TypeSignature method) (hydra.haskell.syntax.TypeSynonymDeclaration method) with_type_signature() (hydra.haskell.syntax.TypedBinding method) with_types() (hydra.haskell.syntax.ClassConstraint method) with_unqualified() (hydra.haskell.syntax.QualifiedName method) with_uses_byte_string() (hydra.haskell.environment.HaskellModuleMetadata method) with_uses_int() (hydra.haskell.environment.HaskellModuleMetadata method) with_uses_map() (hydra.haskell.environment.HaskellModuleMetadata method) with_uses_set() (hydra.haskell.environment.HaskellModuleMetadata method) with_uses_void() (hydra.haskell.environment.HaskellModuleMetadata method) with_value() (hydra.haskell.syntax.FieldUpdate method) with_value_binding() (hydra.haskell.syntax.TypedBinding method) write_qualified_name() (in module hydra.haskell.serde)