hydra.haskell namespace

Submodules

• hydra.haskell.coder module
  • adapt_type_to_haskell_and_encode()
  • constant_for_field_name()
  • constant_for_type_name()
  • construct_module()
  • encode_case_expression()
  • encode_lambda_term()
  • encode_literal()
  • encode_projection()
  • encode_standalone_cases()
  • encode_term()
  • encode_type()
  • encode_type_with_class_assertions()
  • encode_unwrap()
  • extend_meta_for_term()
  • extend_meta_for_type()
  • find_ord_variables()
  • gather_metadata()
  • get_implicit_type_classes()
  • module_to_haskell()
  • module_to_haskell_module()
  • name_decls()
  • set_meta_uses_byte_string()
  • set_meta_uses_int()
  • set_meta_uses_map()
  • set_meta_uses_set()
  • set_meta_uses_void()
  • to_data_declaration()
  • to_type_declarations_from()
  • type_decl()
  • type_scheme_constraints_to_class_map()
• hydra.haskell.environment module
  • HaskellModuleMetadata
    • HaskellModuleMetadata.Builder
      • HaskellModuleMetadata.Builder.build()
      • HaskellModuleMetadata.Builder.uses_byte_string()
      • HaskellModuleMetadata.Builder.uses_int()
      • HaskellModuleMetadata.Builder.uses_map()
      • HaskellModuleMetadata.Builder.uses_set()
      • HaskellModuleMetadata.Builder.uses_void()
    • HaskellModuleMetadata.TYPE_
    • HaskellModuleMetadata.USES_BYTE_STRING
    • HaskellModuleMetadata.USES_INT
    • HaskellModuleMetadata.USES_MAP
    • HaskellModuleMetadata.USES_SET
    • HaskellModuleMetadata.USES_VOID
    • HaskellModuleMetadata.builder()
    • HaskellModuleMetadata.uses_byte_string
    • HaskellModuleMetadata.uses_int
    • HaskellModuleMetadata.uses_map
    • HaskellModuleMetadata.uses_set
    • HaskellModuleMetadata.uses_void
    • HaskellModuleMetadata.with_uses_byte_string()
    • HaskellModuleMetadata.with_uses_int()
    • HaskellModuleMetadata.with_uses_map()
    • HaskellModuleMetadata.with_uses_set()
    • HaskellModuleMetadata.with_uses_void()
• hydra.haskell.language module
  • haskell_language()
  • reserved_words()
• hydra.haskell.operators module
  • and_op()
  • ap_op()
  • apply_op()
  • arrow_op()
  • assert_op()
  • bind_op()
  • case_op()
  • compose_op()
  • concat_op()
  • cons_op()
  • define_op()
  • diamond_op()
  • div_op()
  • divide_op()
  • elem_op()
  • equal_op()
  • fmap_op()
  • gt_op()
  • gte_op()
  • index_op()
  • lambda_op()
  • lt_op()
  • lte_op()
  • minus_op()
  • mod_op()
  • mult_op()
  • neq_op()
  • not_elem_op()
  • or_op()
  • plus_op()
  • quot_op()
  • rem_op()
  • type_op()
• hydra.haskell.serde module
  • alternative_to_expr()
  • application_expression_to_expr()
  • application_pattern_to_expr()
  • case_expression_to_expr()
  • case_rhs_to_expr()
  • class_constraint_to_expr()
  • constraint_to_expr()
  • constructor_to_expr()
  • data_keyword_to_expr()
  • declaration_head_to_expr()
  • declaration_to_expr()
  • expression_to_expr()
  • field_to_expr()
  • haddock_entity_ref()
  • if_expression_to_expr()
  • import_to_expr()
  • lambda_expression_to_expr()
  • literal_to_expr()
  • local_binding_to_expr()
  • module_head_to_expr()
  • module_to_expr()
  • name_to_expr()
  • named_import_export_to_expr()
  • pattern_to_expr()
  • record_expression_to_expr()
  • right_hand_side_to_expr()
  • statement_to_expr()
  • to_haskell_comments()
  • to_simple_comments()
  • type_signature_to_expr()
  • type_to_expr()
  • value_binding_to_expr()
  • variable_to_expr()
  • write_qualified_name()
• hydra.haskell.syntax module
  • Alternative
    • Alternative.BINDS
    • Alternative.Builder
      • Alternative.Builder.binds()
      • Alternative.Builder.build()
      • Alternative.Builder.pattern()
      • Alternative.Builder.rhs()
    • Alternative.PATTERN
    • Alternative.RHS
    • Alternative.TYPE_
    • Alternative.binds
    • Alternative.builder()
    • Alternative.pattern
    • Alternative.rhs
    • Alternative.with_binds()
    • Alternative.with_pattern()
    • Alternative.with_rhs()
  • ApplicationDeclarationHead
    • ApplicationDeclarationHead.Builder
      • ApplicationDeclarationHead.Builder.build()
      • ApplicationDeclarationHead.Builder.function()
      • ApplicationDeclarationHead.Builder.operand()
    • ApplicationDeclarationHead.FUNCTION
    • ApplicationDeclarationHead.OPERAND
    • ApplicationDeclarationHead.TYPE_
    • ApplicationDeclarationHead.builder()
    • ApplicationDeclarationHead.function
    • ApplicationDeclarationHead.operand
    • ApplicationDeclarationHead.with_function()
    • ApplicationDeclarationHead.with_operand()
  • ApplicationExpression
    • ApplicationExpression.ARGUMENT
    • ApplicationExpression.Builder
      • ApplicationExpression.Builder.argument()
      • ApplicationExpression.Builder.build()
      • ApplicationExpression.Builder.function()
    • ApplicationExpression.FUNCTION
    • ApplicationExpression.TYPE_
    • ApplicationExpression.argument
    • ApplicationExpression.builder()
    • ApplicationExpression.function
    • ApplicationExpression.with_argument()
    • ApplicationExpression.with_function()
  • ApplicationPattern
    • ApplicationPattern.ARGS
    • ApplicationPattern.Builder
      • ApplicationPattern.Builder.args()
      • ApplicationPattern.Builder.build()
      • ApplicationPattern.Builder.name()
    • ApplicationPattern.NAME
    • ApplicationPattern.TYPE_
    • ApplicationPattern.args
    • ApplicationPattern.builder()
    • ApplicationPattern.name
    • ApplicationPattern.with_args()
    • ApplicationPattern.with_name()
  • ApplicationType
    • ApplicationType.ARGUMENT
    • ApplicationType.Builder
      • ApplicationType.Builder.argument()
      • ApplicationType.Builder.build()
      • ApplicationType.Builder.context()
    • ApplicationType.CONTEXT
    • ApplicationType.TYPE_
    • ApplicationType.argument
    • ApplicationType.builder()
    • ApplicationType.context
    • ApplicationType.with_argument()
    • ApplicationType.with_context()
  • AsPattern
    • AsPattern.Builder
      • AsPattern.Builder.build()
      • AsPattern.Builder.inner()
      • AsPattern.Builder.name()
    • AsPattern.INNER
    • AsPattern.NAME
    • AsPattern.TYPE_
    • AsPattern.builder()
    • AsPattern.inner
    • AsPattern.name
    • AsPattern.with_inner()
    • AsPattern.with_name()
  • CaseExpression
    • CaseExpression.ALTERNATIVES
    • CaseExpression.Builder
      • CaseExpression.Builder.alternatives()
      • CaseExpression.Builder.build()
      • CaseExpression.Builder.case()
    • CaseExpression.CASE
    • CaseExpression.TYPE_
    • CaseExpression.alternatives
    • CaseExpression.builder()
    • CaseExpression.case
    • CaseExpression.with_alternatives()
    • CaseExpression.with_case()
  • CaseRhs
    • CaseRhs.TYPE_
  • ClassConstraint
    • ClassConstraint.Builder
      • ClassConstraint.Builder.build()
      • ClassConstraint.Builder.name()
      • ClassConstraint.Builder.types()
    • ClassConstraint.NAME
    • ClassConstraint.TYPES
    • ClassConstraint.TYPE_
    • ClassConstraint.builder()
    • ClassConstraint.name
    • ClassConstraint.types
    • ClassConstraint.with_name()
    • ClassConstraint.with_types()
  • ConstrainedType
    • ConstrainedType.Builder
      • ConstrainedType.Builder.build()
      • ConstrainedType.Builder.ctx()
      • ConstrainedType.Builder.type()
    • ConstrainedType.CTX
    • ConstrainedType.TYPE
    • ConstrainedType.TYPE_
    • ConstrainedType.builder()
    • ConstrainedType.ctx
    • ConstrainedType.type
    • ConstrainedType.with_ctx()
    • ConstrainedType.with_type()
  • Constraint
    • Constraint.CLASS
    • Constraint.TUPLE
    • Constraint.TYPE_
  • ConstraintClass
  • ConstraintTuple
  • Constructor
    • Constructor.ORDINARY
    • Constructor.RECORD
    • Constructor.TYPE_
  • ConstructorOrdinary
  • ConstructorRecord
  • DataDeclaration
    • DataDeclaration.Builder
      • DataDeclaration.Builder.build()
      • DataDeclaration.Builder.comments()
      • DataDeclaration.Builder.constructors()
      • DataDeclaration.Builder.context()
      • DataDeclaration.Builder.deriving()
      • DataDeclaration.Builder.head()
      • DataDeclaration.Builder.keyword()
    • DataDeclaration.COMMENTS
    • DataDeclaration.CONSTRUCTORS
    • DataDeclaration.CONTEXT
    • DataDeclaration.DERIVING
    • DataDeclaration.HEAD
    • DataDeclaration.KEYWORD
    • DataDeclaration.TYPE_
    • DataDeclaration.builder()
    • DataDeclaration.comments
    • DataDeclaration.constructors
    • DataDeclaration.context
    • DataDeclaration.deriving
    • DataDeclaration.head
    • DataDeclaration.keyword
    • DataDeclaration.with_comments()
    • DataDeclaration.with_constructors()
    • DataDeclaration.with_context()
    • DataDeclaration.with_deriving()
    • DataDeclaration.with_head()
    • DataDeclaration.with_keyword()
  • DataKeyword
    • DataKeyword.DATA
    • DataKeyword.NEWTYPE
    • DataKeyword.TYPE_
  • Declaration
    • Declaration.DATA
    • Declaration.TYPE
    • Declaration.TYPED_BINDING
    • Declaration.TYPE_
    • Declaration.VALUE_BINDING
  • DeclarationData
  • DeclarationHead
    • DeclarationHead.APPLICATION
    • DeclarationHead.SIMPLE
    • DeclarationHead.TYPE_
  • DeclarationHeadApplication
  • DeclarationHeadSimple
  • DeclarationType
  • DeclarationTypedBinding
  • DeclarationValueBinding
  • DerivingClause
    • DerivingClause.TYPE_
  • Export
    • Export.DECLARATION
    • Export.MODULE
    • Export.TYPE_
  • ExportDeclaration
  • ExportModule
  • Expression
    • Expression.APPLICATION
    • Expression.CASE
    • Expression.CONSTRUCT_RECORD
    • Expression.DO
    • Expression.IF
    • Expression.INFIX_APPLICATION
    • Expression.LAMBDA
    • Expression.LEFT_SECTION
    • Expression.LET
    • Expression.LIST
    • Expression.LITERAL
    • Expression.RIGHT_SECTION
    • Expression.TUPLE
    • Expression.TYPE_
    • Expression.TYPE_SIGNATURE
    • Expression.UPDATE_RECORD
    • Expression.VARIABLE
  • ExpressionApplication
  • ExpressionCase
  • ExpressionConstructRecord
  • ExpressionDo
  • ExpressionIf
  • ExpressionInfixApplication
  • ExpressionLambda
  • ExpressionLeftSection
  • ExpressionLet
  • ExpressionList
  • ExpressionLiteral
  • ExpressionRightSection
  • ExpressionTuple
  • ExpressionTypeSignature
  • ExpressionUpdateRecord
  • ExpressionVariable
  • Field
    • Field.Builder
      • Field.Builder.build()
      • Field.Builder.comments()
      • Field.Builder.name()
      • Field.Builder.type()
    • Field.COMMENTS
    • Field.NAME
    • Field.TYPE
    • Field.TYPE_
    • Field.builder()
    • Field.comments
    • Field.name
    • Field.type
    • Field.with_comments()
    • Field.with_name()
    • Field.with_type()
  • FieldUpdate
    • FieldUpdate.Builder
      • FieldUpdate.Builder.build()
      • FieldUpdate.Builder.name()
      • FieldUpdate.Builder.value()
    • FieldUpdate.NAME
    • FieldUpdate.TYPE_
    • FieldUpdate.VALUE
    • FieldUpdate.builder()
    • FieldUpdate.name
    • FieldUpdate.value
    • FieldUpdate.with_name()
    • FieldUpdate.with_value()
  • FunctionType
    • FunctionType.Builder
      • FunctionType.Builder.build()
      • FunctionType.Builder.codomain()
      • FunctionType.Builder.domain()
    • FunctionType.CODOMAIN
    • FunctionType.DOMAIN
    • FunctionType.TYPE_
    • FunctionType.builder()
    • FunctionType.codomain
    • FunctionType.domain
    • FunctionType.with_codomain()
    • FunctionType.with_domain()
  • IfExpression
    • IfExpression.Builder
      • IfExpression.Builder.build()
      • IfExpression.Builder.condition()
      • IfExpression.Builder.else_()
      • IfExpression.Builder.then()
    • IfExpression.CONDITION
    • IfExpression.ELSE
    • IfExpression.THEN
    • IfExpression.TYPE_
    • IfExpression.builder()
    • IfExpression.condition
    • IfExpression.else_
    • IfExpression.then
    • IfExpression.with_condition()
    • IfExpression.with_else_()
    • IfExpression.with_then()
  • Import
    • Import.AS
    • Import.Builder
      • Import.Builder.as_()
      • Import.Builder.build()
      • Import.Builder.module()
      • Import.Builder.qualified()
      • Import.Builder.spec()
    • Import.MODULE
    • Import.QUALIFIED
    • Import.SPEC
    • Import.TYPE_
    • Import.as_
    • Import.builder()
    • Import.module
    • Import.qualified
    • Import.spec
    • Import.with_as_()
    • Import.with_module()
    • Import.with_qualified()
    • Import.with_spec()
  • ImportExportSubspec
    • ImportExportSubspec.ALL
    • ImportExportSubspec.LIST
    • ImportExportSubspec.TYPE_
  • ImportExportSubspecAll
  • ImportExportSubspecList
  • ImportModifier
    • ImportModifier.PATTERN
    • ImportModifier.TYPE
    • ImportModifier.TYPE_
  • ImportSpec
    • ImportSpec.HIDING
    • ImportSpec.LIST
    • ImportSpec.TYPE_
  • ImportSpecHiding
  • ImportSpecList
  • InfixExpression
    • InfixExpression.Builder
      • InfixExpression.Builder.build()
      • InfixExpression.Builder.lhs()
      • InfixExpression.Builder.operator()
      • InfixExpression.Builder.rhs()
    • InfixExpression.LHS
    • InfixExpression.OPERATOR
    • InfixExpression.RHS
    • InfixExpression.TYPE_
    • InfixExpression.builder()
    • InfixExpression.lhs
    • InfixExpression.operator
    • InfixExpression.rhs
    • InfixExpression.with_lhs()
    • InfixExpression.with_operator()
    • InfixExpression.with_rhs()
  • InfixType
    • InfixType.Builder
      • InfixType.Builder.build()
      • InfixType.Builder.lhs()
      • InfixType.Builder.operator()
      • InfixType.Builder.rhs()
    • InfixType.LHS
    • InfixType.OPERATOR
    • InfixType.RHS
    • InfixType.TYPE_
    • InfixType.builder()
    • InfixType.lhs
    • InfixType.operator
    • InfixType.rhs
    • InfixType.with_lhs()
    • InfixType.with_operator()
    • InfixType.with_rhs()
  • LambdaExpression
    • LambdaExpression.BINDINGS
    • LambdaExpression.Builder
      • LambdaExpression.Builder.bindings()
      • LambdaExpression.Builder.build()
      • LambdaExpression.Builder.inner()
    • LambdaExpression.INNER
    • LambdaExpression.TYPE_
    • LambdaExpression.bindings
    • LambdaExpression.builder()
    • LambdaExpression.inner
    • LambdaExpression.with_bindings()
    • LambdaExpression.with_inner()
  • LetExpression
    • LetExpression.BINDINGS
    • LetExpression.Builder
      • LetExpression.Builder.bindings()
      • LetExpression.Builder.build()
      • LetExpression.Builder.inner()
    • LetExpression.INNER
    • LetExpression.TYPE_
    • LetExpression.bindings
    • LetExpression.builder()
    • LetExpression.inner
    • LetExpression.with_bindings()
    • LetExpression.with_inner()
  • Literal
    • Literal.CHAR
    • Literal.DOUBLE
    • Literal.FLOAT
    • Literal.INT
    • Literal.INTEGER
    • Literal.STRING
    • Literal.TYPE_
  • LiteralChar
  • LiteralDouble
  • LiteralFloat
  • LiteralInt
  • LiteralInteger
  • LiteralString
  • LocalBinding
    • LocalBinding.SIGNATURE
    • LocalBinding.TYPE_
    • LocalBinding.VALUE
  • LocalBindingSignature
  • LocalBindingValue
  • LocalBindings
    • LocalBindings.TYPE_
  • Module
    • Module.Builder
      • Module.Builder.build()
      • Module.Builder.declarations()
      • Module.Builder.head()
      • Module.Builder.imports()
    • Module.DECLARATIONS
    • Module.HEAD
    • Module.IMPORTS
    • Module.TYPE_
    • Module.builder()
    • Module.declarations
    • Module.head
    • Module.imports
    • Module.with_declarations()
    • Module.with_head()
    • Module.with_imports()
  • ModuleHead
    • ModuleHead.Builder
      • ModuleHead.Builder.build()
      • ModuleHead.Builder.comments()
      • ModuleHead.Builder.exports()
      • ModuleHead.Builder.name()
    • ModuleHead.COMMENTS
    • ModuleHead.EXPORTS
    • ModuleHead.NAME
    • ModuleHead.TYPE_
    • ModuleHead.builder()
    • ModuleHead.comments
    • ModuleHead.exports
    • ModuleHead.name
    • ModuleHead.with_comments()
    • ModuleHead.with_exports()
    • ModuleHead.with_name()
  • ModuleName
    • ModuleName.TYPE_
  • Name
    • Name.IMPLICIT
    • Name.NORMAL
    • Name.TYPE_
  • NameImplicit
  • NameNormal
  • NamePart
    • NamePart.TYPE_
  • NamedImportExport
    • NamedImportExport.Builder
      • NamedImportExport.Builder.build()
      • NamedImportExport.Builder.modifier()
      • NamedImportExport.Builder.name()
      • NamedImportExport.Builder.subspec()
    • NamedImportExport.MODIFIER
    • NamedImportExport.NAME
    • NamedImportExport.SUBSPEC
    • NamedImportExport.TYPE_
    • NamedImportExport.builder()
    • NamedImportExport.modifier
    • NamedImportExport.name
    • NamedImportExport.subspec
    • NamedImportExport.with_modifier()
    • NamedImportExport.with_name()
    • NamedImportExport.with_subspec()
  • Operator
    • Operator.BACKTICK
    • Operator.NORMAL
    • Operator.TYPE_
  • OperatorBacktick
  • OperatorNormal
  • Pattern
    • Pattern.APPLICATION
    • Pattern.AS
    • Pattern.LIST
    • Pattern.LITERAL
    • Pattern.NAME
    • Pattern.RECORD
    • Pattern.TUPLE
    • Pattern.TYPED
    • Pattern.TYPE_
    • Pattern.WILDCARD
  • PatternApplication
  • PatternAs
  • PatternField
    • PatternField.Builder
      • PatternField.Builder.build()
      • PatternField.Builder.name()
      • PatternField.Builder.pattern()
    • PatternField.NAME
    • PatternField.PATTERN
    • PatternField.TYPE_
    • PatternField.builder()
    • PatternField.name
    • PatternField.pattern
    • PatternField.with_name()
    • PatternField.with_pattern()
  • PatternList
  • PatternLiteral
  • PatternName
  • PatternRecord
  • PatternTuple
  • PatternTyped
  • PatternWildcard
  • PositionalConstructor
    • PositionalConstructor.Builder
      • PositionalConstructor.Builder.build()
      • PositionalConstructor.Builder.comments()
      • PositionalConstructor.Builder.fields()
      • PositionalConstructor.Builder.name()
    • PositionalConstructor.COMMENTS
    • PositionalConstructor.FIELDS
    • PositionalConstructor.NAME
    • PositionalConstructor.TYPE_
    • PositionalConstructor.builder()
    • PositionalConstructor.comments
    • PositionalConstructor.fields
    • PositionalConstructor.name
    • PositionalConstructor.with_comments()
    • PositionalConstructor.with_fields()
    • PositionalConstructor.with_name()
  • QualifiedName
    • QualifiedName.Builder
      • QualifiedName.Builder.build()
      • QualifiedName.Builder.qualifiers()
      • QualifiedName.Builder.unqualified()
    • QualifiedName.QUALIFIERS
    • QualifiedName.TYPE_
    • QualifiedName.UNQUALIFIED
    • QualifiedName.builder()
    • QualifiedName.qualifiers
    • QualifiedName.unqualified
    • QualifiedName.with_qualifiers()
    • QualifiedName.with_unqualified()
  • RecordConstructor
    • RecordConstructor.Builder
      • RecordConstructor.Builder.build()
      • RecordConstructor.Builder.comments()
      • RecordConstructor.Builder.fields()
      • RecordConstructor.Builder.name()
    • RecordConstructor.COMMENTS
    • RecordConstructor.FIELDS
    • RecordConstructor.NAME
    • RecordConstructor.TYPE_
    • RecordConstructor.builder()
    • RecordConstructor.comments
    • RecordConstructor.fields
    • RecordConstructor.name
    • RecordConstructor.with_comments()
    • RecordConstructor.with_fields()
    • RecordConstructor.with_name()
  • RecordExpression
    • RecordExpression.Builder
      • RecordExpression.Builder.build()
      • RecordExpression.Builder.fields()
      • RecordExpression.Builder.name()
    • RecordExpression.FIELDS
    • RecordExpression.NAME
    • RecordExpression.TYPE_
    • RecordExpression.builder()
    • RecordExpression.fields
    • RecordExpression.name
    • RecordExpression.with_fields()
    • RecordExpression.with_name()
  • RecordPattern
    • RecordPattern.Builder
      • RecordPattern.Builder.build()
      • RecordPattern.Builder.fields()
      • RecordPattern.Builder.name()
    • RecordPattern.FIELDS
    • RecordPattern.NAME
    • RecordPattern.TYPE_
    • RecordPattern.builder()
    • RecordPattern.fields
    • RecordPattern.name
    • RecordPattern.with_fields()
    • RecordPattern.with_name()
  • RecordUpdateExpression
    • RecordUpdateExpression.Builder
      • RecordUpdateExpression.Builder.build()
      • RecordUpdateExpression.Builder.fields()
      • RecordUpdateExpression.Builder.inner()
    • RecordUpdateExpression.FIELDS
    • RecordUpdateExpression.INNER
    • RecordUpdateExpression.TYPE_
    • RecordUpdateExpression.builder()
    • RecordUpdateExpression.fields
    • RecordUpdateExpression.inner
    • RecordUpdateExpression.with_fields()
    • RecordUpdateExpression.with_inner()
  • RightHandSide
    • RightHandSide.TYPE_
  • SectionExpression
    • SectionExpression.Builder
      • SectionExpression.Builder.build()
      • SectionExpression.Builder.expression()
      • SectionExpression.Builder.operator()
    • SectionExpression.EXPRESSION
    • SectionExpression.OPERATOR
    • SectionExpression.TYPE_
    • SectionExpression.builder()
    • SectionExpression.expression
    • SectionExpression.operator
    • SectionExpression.with_expression()
    • SectionExpression.with_operator()
  • SimpleValueBinding
    • SimpleValueBinding.Builder
      • SimpleValueBinding.Builder.build()
      • SimpleValueBinding.Builder.comments()
      • SimpleValueBinding.Builder.local_bindings()
      • SimpleValueBinding.Builder.pattern()
      • SimpleValueBinding.Builder.rhs()
    • SimpleValueBinding.COMMENTS
    • SimpleValueBinding.LOCAL_BINDINGS
    • SimpleValueBinding.PATTERN
    • SimpleValueBinding.RHS
    • SimpleValueBinding.TYPE_
    • SimpleValueBinding.builder()
    • SimpleValueBinding.comments
    • SimpleValueBinding.local_bindings
    • SimpleValueBinding.pattern
    • SimpleValueBinding.rhs
    • SimpleValueBinding.with_comments()
    • SimpleValueBinding.with_local_bindings()
    • SimpleValueBinding.with_pattern()
    • SimpleValueBinding.with_rhs()
  • Statement
    • Statement.TYPE_
  • Type
    • Type.APPLICATION
    • Type.CTX
    • Type.FUNCTION
    • Type.INFIX
    • Type.LIST
    • Type.TUPLE
    • Type.TYPE_
    • Type.VARIABLE
  • TypeApplication
  • TypeCtx
  • TypeFunction
  • TypeInfix
  • TypeList
  • TypeSignature
    • TypeSignature.Builder
      • TypeSignature.Builder.build()
      • TypeSignature.Builder.name()
      • TypeSignature.Builder.type()
    • TypeSignature.NAME
    • TypeSignature.TYPE
    • TypeSignature.TYPE_
    • TypeSignature.builder()
    • TypeSignature.name
    • TypeSignature.type
    • TypeSignature.with_name()
    • TypeSignature.with_type()
  • TypeSynonymDeclaration
    • TypeSynonymDeclaration.Builder
      • TypeSynonymDeclaration.Builder.build()
      • TypeSynonymDeclaration.Builder.comments()
      • TypeSynonymDeclaration.Builder.name()
      • TypeSynonymDeclaration.Builder.type()
    • TypeSynonymDeclaration.COMMENTS
    • TypeSynonymDeclaration.NAME
    • TypeSynonymDeclaration.TYPE
    • TypeSynonymDeclaration.TYPE_
    • TypeSynonymDeclaration.builder()
    • TypeSynonymDeclaration.comments
    • TypeSynonymDeclaration.name
    • TypeSynonymDeclaration.type
    • TypeSynonymDeclaration.with_comments()
    • TypeSynonymDeclaration.with_name()
    • TypeSynonymDeclaration.with_type()
  • TypeTuple
  • TypeVariable
  • TypedBinding
    • TypedBinding.Builder
      • TypedBinding.Builder.build()
      • TypedBinding.Builder.comments()
      • TypedBinding.Builder.type_signature()
      • TypedBinding.Builder.value_binding()
    • TypedBinding.COMMENTS
    • TypedBinding.TYPE_
    • TypedBinding.TYPE_SIGNATURE
    • TypedBinding.VALUE_BINDING
    • TypedBinding.builder()
    • TypedBinding.comments
    • TypedBinding.type_signature
    • TypedBinding.value_binding
    • TypedBinding.with_comments()
    • TypedBinding.with_type_signature()
    • TypedBinding.with_value_binding()
  • TypedExpression
    • TypedExpression.Builder
      • TypedExpression.Builder.build()
      • TypedExpression.Builder.inner()
      • TypedExpression.Builder.type()
    • TypedExpression.INNER
    • TypedExpression.TYPE
    • TypedExpression.TYPE_
    • TypedExpression.builder()
    • TypedExpression.inner
    • TypedExpression.type
    • TypedExpression.with_inner()
    • TypedExpression.with_type()
  • TypedPattern
    • TypedPattern.Builder
      • TypedPattern.Builder.build()
      • TypedPattern.Builder.inner()
      • TypedPattern.Builder.type()
    • TypedPattern.INNER
    • TypedPattern.TYPE
    • TypedPattern.TYPE_
    • TypedPattern.builder()
    • TypedPattern.inner
    • TypedPattern.type
    • TypedPattern.with_inner()
    • TypedPattern.with_type()
  • ValueBinding
    • ValueBinding.SIMPLE
    • ValueBinding.TYPE_
  • ValueBindingSimple
  • Variable
    • Variable.TYPE_
• hydra.haskell.testing module
  • add_namespaces_to_namespaces()
  • build_namespaces_for_test_group()
  • build_test_module()
  • collect_names()
  • collect_test_cases()
  • extract_encoded_term_variable_names()
  • extract_test_terms()
  • find_haskell_imports()
  • generate_haskell_test_file()
  • generate_test_case()
  • generate_test_file()
  • generate_test_group_hierarchy()
  • namespace_to_module_name()
• hydra.haskell.utils module
  • application_pattern()
  • element_reference()
  • hsapp()
  • hslambda()
  • hslit()
  • hsvar()
  • namespaces_for_module()
  • newtype_accessor_name()
  • raw_name()
  • record_field_reference()
  • sanitize_haskell_name()
  • simple_name()
  • simple_value_binding()
  • to_type_application()
  • type_name_for_record()
  • union_field_reference()
  • unpack_forall_type()