hydra namespace
Subpackages
- 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
- hydra.haskell.language module
- 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
AlternativeApplicationDeclarationHeadApplicationExpressionApplicationPatternApplicationTypeAsPatternCaseExpressionCaseRhsClassConstraintConstrainedTypeConstraintConstraintClassConstraintTupleConstructorConstructorOrdinaryConstructorRecordDataDeclarationDataKeywordDeclarationDeclarationDataDeclarationHeadDeclarationHeadApplicationDeclarationHeadSimpleDeclarationTypeDeclarationTypedBindingDeclarationValueBindingDerivingClauseExportExportDeclarationExportModuleExpressionExpressionApplicationExpressionCaseExpressionConstructRecordExpressionDoExpressionIfExpressionInfixApplicationExpressionLambdaExpressionLeftSectionExpressionLetExpressionListExpressionLiteralExpressionRightSectionExpressionTupleExpressionTypeSignatureExpressionUpdateRecordExpressionVariableFieldFieldUpdateFunctionTypeIfExpressionImportImportExportSubspecImportExportSubspecAllImportExportSubspecListImportModifierImportSpecImportSpecHidingImportSpecListInfixExpressionInfixTypeLambdaExpressionLetExpressionLiteralLiteralCharLiteralDoubleLiteralFloatLiteralIntLiteralIntegerLiteralStringLocalBindingLocalBindingSignatureLocalBindingValueLocalBindingsModuleModuleHeadModuleNameNameNameImplicitNameNormalNamePartNamedImportExportOperatorOperatorBacktickOperatorNormalPatternPatternApplicationPatternAsPatternFieldPatternListPatternLiteralPatternNamePatternRecordPatternTuplePatternTypedPatternWildcardPositionalConstructorQualifiedNameRecordConstructorRecordExpressionRecordPatternRecordUpdateExpressionRightHandSideSectionExpressionSimpleValueBindingStatementTypeTypeApplicationTypeCtxTypeFunctionTypeInfixTypeListTypeSignatureTypeSynonymDeclarationTypeTupleTypeVariableTypedBindingTypedExpressionTypedPatternValueBindingValueBindingSimpleVariable
- 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()
- hydra.haskell.coder module
- Submodules