hydra
- hydra namespace
- Subpackages
- Submodules
- hydra.adapt module
adapt_data_graph()adapt_float_type()adapt_graph_schema()adapt_integer_type()adapt_lambda_domains()adapt_literal()adapt_literal_type()adapt_literal_types_map()adapt_literal_value()adapt_nested_types()adapt_primitive()adapt_term()adapt_term_for_language()adapt_term_signature()adapt_type()adapt_type_for_language()adapt_type_scheme()compose_coders()data_graph_to_definitions()literal_type_supported()prepare_float_type()prepare_integer_type()prepare_literal_type()prepare_same()prepare_type()push_type_apps_inward()schema_graph_to_definitions()simple_language_adapter()term_alternatives()type_alternatives()
- hydra.analysis module
add_names_to_module_names()analyze_function_term()analyze_function_term_with()analyze_function_term_with_finish()analyze_function_term_with_gather()definition_dependency_module_names()dependency_module_names()gather_applications()gather_args()gather_args_with_type_apps()is_self_tail_recursive()is_simple_assignment()is_tail_recursive_in_tail_position()module_contains_binary_literals()module_contains_decimal_literals()module_dependency_module_names()module_names_for_definitions()
- hydra.annotations module
aggregate_annotations()comments_from_binding()comments_from_field_type()get_annotation_map()get_description()get_term_annotation()get_term_description()get_type()get_type_annotation()get_type_classes()get_type_description()has_description()has_type_description()is_native_type()normalize_term_annotations()normalize_type_annotations()set_annotation()set_description()set_term_annotation()set_term_description()set_type()set_type_annotation()set_type_classes()set_type_description()term_annotation_internal()type_annotation_internal()wrap_annotation_map()
- hydra.arity module
- hydra.ast module
- hydra.checking module
all_equal()apply_type_arguments_to_type()check_for_unbound_type_variables()check_same_type()check_type_subst()contains_in_scope_type_vars()normalize_type_free_vars()to_f_context()type_lists_effectively_equal()type_of()type_of_annotated_term()type_of_application()type_of_case_statement()type_of_either()type_of_injection()type_of_lambda()type_of_let()type_of_list()type_of_literal()type_of_map()type_of_maybe()type_of_pair()type_of_primitive()type_of_projection()type_of_record()type_of_set()type_of_term()type_of_type_application()type_of_type_lambda()type_of_unit()type_of_unwrap()type_of_variable()type_of_wrapped_term()types_all_effectively_equal()types_effectively_equal()
- hydra.classes module
- hydra.codegen module
build_schema_map()decode_module_from_json()escape_control_chars_in_json()format_primitive()format_term_binding()format_type_binding()generate_coder_modules()generate_lexicon()generate_source_files()infer_and_generate_lexicon()infer_modules()infer_modules_given()lower_primitive_definitions()module_deps_transitive()module_name_to_path()module_to_json()module_to_source_module()modules_to_graph()refresh_module()transitive_deps()
- hydra.coders module
- hydra.constants module
- hydra.core module
AnnotatedTermAnnotatedTypeApplicationApplicationTypeBindingCaseAlternativeCaseStatementEitherTypeFieldFieldTypeFloatTypeFloatValueFloatValueFloat32FloatValueFloat64ForallTypeFunctionTypeInjectionIntegerTypeIntegerValueIntegerValueBigintIntegerValueInt16IntegerValueInt32IntegerValueInt64IntegerValueInt8IntegerValueUint16IntegerValueUint32IntegerValueUint64IntegerValueUint8LambdaLetLiteralLiteralBinaryLiteralBooleanLiteralDecimalLiteralFloatLiteralIntegerLiteralStringLiteralTypeLiteralTypeBinaryLiteralTypeBooleanLiteralTypeDecimalLiteralTypeFloatLiteralTypeIntegerLiteralTypeStringMapTypeNamePairTypeProjectionRecordTermTermAnnotatedTermApplicationTermCasesTermEitherTermInjectTermLambdaTermLetTermListTermLiteralTermMapTermOptionalTermPairTermProjectTermRecordTermSetTermTypeApplicationTermTypeLambdaTermUnitTermUnwrapTermVariableTermWrapTypeTypeAnnotatedTypeApplicationTypeApplicationTermTypeClassConstraintTypeClassConstraintSimpleTypeEffectTypeEitherTypeForallTypeFunctionTypeLambdaTypeListTypeLiteralTypeMapTypeOptionalTypePairTypeRecordTypeSchemeTypeSetTypeUnionTypeUnitTypeVariableTypeVariableConstraintsTypeVoidTypeWrapWrappedTerm
- hydra.decoding module
collect_forall_variables()collect_ord_constrained_variables()collect_type_variables()collect_type_variables_from_type()decode_binding()decode_binding_name()decode_either_type()decode_forall_type()decode_list_type()decode_literal_type()decode_map_type()decode_maybe_type()decode_module()decode_module_name()decode_pair_type()decode_record_type()decode_record_type_impl()decode_record_type_named()decode_set_type()decode_type()decode_type_named()decode_union_type()decode_union_type_named()decode_wrapped_type()decode_wrapped_type_named()decoder_full_result_type()decoder_full_result_type_named()decoder_result_type()decoder_type()decoder_type_named()decoder_type_scheme()decoder_type_scheme_named()filter_type_bindings()is_decodable_binding()prepend_forall_decoders()
- hydra.dependencies module
definitions_with_dependencies()flatten_let_terms()inline_type()is_lambda()lift_lambda_above_let()prune_let()replace_typedefs()simplify_term()term_dependency_names()to_short_names()topological_sort_binding_map()topological_sort_bindings()topological_sort_type_definitions()type_dependency_names()type_names_in_type()
- hydra.differentiation module
- hydra.docs module
- hydra.dsls module
collect_forall_vars()deduplicate_bindings()dsl_binding_name()dsl_definition_name()dsl_module()dsl_module_name()dsl_signature_type_scheme()dsl_type_scheme()filter_type_bindings()generate_bindings_for_type()generate_parametric_ref_builders()generate_record_accessor()generate_record_constructor()generate_record_with_updater()generate_ref_bindings()generate_signature_ref()generate_type_name_token()generate_union_injector()generate_wrapped_type_accessors()is_dsl_eligible_binding()nominal_result_type()signature_is_void_free()type_is_void_free()
- hydra.encoding module
encode_binding()encode_binding_name()encode_either_type()encode_field_value()encode_float_value()encode_forall_type()encode_injection()encode_integer_value()encode_list_type()encode_literal_type()encode_map_type()encode_module()encode_module_name()encode_name()encode_optional_type()encode_pair_type()encode_record_type()encode_record_type_named()encode_set_type()encode_type()encode_type_named()encode_union_type()encode_union_type_named()encode_wrapped_type()encode_wrapped_type_named()encoder_collect_forall_variables()encoder_collect_ord_vars()encoder_collect_type_vars_from_type()encoder_full_result_type()encoder_full_result_type_named()encoder_type()encoder_type_named()encoder_type_scheme()encoder_type_scheme_named()filter_type_bindings()is_encodable_binding()is_unit_type()prepend_forall_encoders()
- hydra.environment module
- hydra.errors module
DecodingErrorErrorErrorCheckingErrorDecodingErrorDuplicateBindingErrorDuplicateFieldErrorExtractionErrorInferenceErrorInvalidLiteralErrorOtherErrorResolutionErrorUndefinedFieldErrorUndefinedTermVariableErrorUnexpectedTermVariantErrorUnexpectedTypeVariantErrorUnificationErrorUntypedTermVariableExtractionErrorExtractionErrorEmptyListExtractionErrorMultipleBindingsExtractionErrorMultipleFieldsExtractionErrorNoMatchingFieldExtractionErrorNoSuchBindingExtractionErrorNotEnoughCasesExtractionErrorUnexpectedShapeInferenceErrorInferenceErrorCheckingInferenceErrorOtherInferenceErrorUnificationMultipleBindingsErrorMultipleFieldsErrorNoMatchingFieldErrorNoSuchBindingErrorNoSuchPrimitiveErrorOtherErrorOtherInferenceErrorOtherResolutionErrorResolutionErrorResolutionErrorNoMatchingFieldResolutionErrorNoSuchBindingResolutionErrorNoSuchPrimitiveResolutionErrorOtherResolutionErrorUnexpectedShapeUnexpectedShapeErrorUnificationErrorUnificationInferenceError
- hydra.file module
- hydra.formatting module
capitalize()convert_case()convert_case_camel_or_underscore_to_lower_snake()convert_case_camel_to_lower_snake()convert_case_camel_to_upper_snake()convert_case_pascal_to_upper_snake()decapitalize()escape_with_underscore()indent_lines()java_style_comment()lines()map_first_letter()non_alnum_to_underscores()normalize_comment()sanitize_with_underscores()show_list()strip_leading_and_trailing_whitespace()unlines()with_character_aliases()wrap_line()
- hydra.graph module
- hydra.hoisting module
augment_bindings_with_new_free_vars()binding_is_polymorphic()binding_uses_context_type_vars()count_var_occurrences()hoist_all_let_bindings()hoist_case_statements()hoist_case_statements_in_graph()hoist_let_bindings_with_context()hoist_let_bindings_with_predicate()hoist_polymorphic_let_bindings()hoist_subterms()is_application_function()is_lambda_body()is_union_elimination()is_union_elimination_application()normalize_path_for_hoisting()should_hoist_all()should_hoist_case_statement()should_hoist_polymorphic()update_hoist_state()
- hydra.inference module
at_or_fail()bind_constraints()bind_unbound_type_variables()build_type_application_term()discharge_class_constraints()extend_context()finalize_inferred_term()for_inferred_term()free_variables_in_context()fresh_variable_type()generalize()head_or_fail()infer_graph_types()infer_in_graph_context()infer_many()infer_type_of()infer_type_of_annotated_term()infer_type_of_application()infer_type_of_case_statement()infer_type_of_collection()infer_type_of_either()infer_type_of_injection()infer_type_of_lambda()infer_type_of_let()infer_type_of_let_normalized()infer_type_of_list()infer_type_of_literal()infer_type_of_map()infer_type_of_optional()infer_type_of_pair()infer_type_of_projection()infer_type_of_record()infer_type_of_set()infer_type_of_term()infer_type_of_type_application()infer_type_of_type_lambda()infer_type_of_unit()infer_type_of_unwrap()infer_type_of_variable()infer_type_of_wrapped_term()infer_types_of_temporary_bindings()is_unbound()map_constraints()merge_class_constraints()show_inference_result()yield_()yield_checked()yield_checked_with_constraints()yield_with_constraints()
- hydra.languages module
- hydra.lexical module
build_graph()choose_unique_name()dereference_schema_type()dereference_variable()elements_to_graph()empty_graph()empty_inference_context()fields_of()get_field()graph_to_bindings()graph_with_primitives()lookup_binding()lookup_primitive()lookup_term()match_enum()match_record()match_union()match_unit_field()require_binding()require_primitive()require_primitive_type()require_term()resolve_term()strip_and_dereference_term()strip_and_dereference_term_either()
- hydra.literals module
- hydra.names module
choose_unique_label()compact_name()derived_binding_name()derived_definition_name()derived_module_name()fresh_name()fresh_names()local_name_of()module_name_of()module_name_to_file_path()name_to_file_path()normal_type_variable()push_subterm_step()qname()qualify_name()restore_trace()unqualify_name()
- hydra.packaging module
DefinitionDefinitionPrimitiveDefinitionReferenceDefinitionReferencePrimitiveDefinitionReferenceTermDefinitionReferenceTypeDefinitionTermDefinitionTypeDependencyScopeEntityMetadataEntityReferenceEntityReferenceDefinitionEntityReferenceModuleEntityReferencePackageEntityReferenceTermExprEntityReferenceTypeExprLifecycleInfoModuleModuleDependencyModuleNamePackagePackageDependencyPackageNamePrimitiveDefinitionTermDefinitionTypeDefinitionVersionVersionRangeVersionSpecifierVersionSpecifierAnyVersionSpecifierAtLeastVersionSpecifierExactVersionSpecifierRange
- hydra.parsers module
- hydra.parsing module
- hydra.paths module
SubtermAttributeSubtermEdgeSubtermGraphSubtermLinkSubtermLinkAttributeSubtermLinkEdgeSubtermLinkPropertySubtermNodeSubtermPathSubtermPropertySubtermStepSubtermStepAnnotatedAnnotationSubtermStepAnnotatedBodySubtermStepApplicationArgumentSubtermStepApplicationFunctionSubtermStepCasesCaseSubtermStepCasesDefaultSubtermStepEitherLeftSubtermStepEitherRightSubtermStepInjectFieldSubtermStepLambdaBodySubtermStepLetBindingSubtermStepLetBodySubtermStepListElementSubtermStepMapKeySubtermStepMapValueSubtermStepOptionalGivenSubtermStepPairFirstSubtermStepPairSecondSubtermStepRecordFieldSubtermStepSetElementSubtermStepTypeApplicationBodySubtermStepTypeLambdaBodySubtermStepWrapBodySubtypeAttributeSubtypeEdgeSubtypeGraphSubtypeLinkSubtypeLinkAttributeSubtypeLinkEdgeSubtypeLinkPropertySubtypeNodeSubtypePathSubtypePropertySubtypeStepSubtypeStepAnnotatedBodySubtypeStepApplicationArgumentSubtypeStepApplicationFunctionSubtypeStepEffectValueSubtypeStepEitherLeftSubtypeStepEitherRightSubtypeStepForallBodySubtypeStepFunctionCodomainSubtypeStepFunctionDomainSubtypeStepListElementSubtypeStepMapKeysSubtypeStepMapValuesSubtypeStepOptionalElementSubtypeStepPairFirstSubtypeStepPairSecondSubtypeStepRecordFieldSubtypeStepSetElementSubtypeStepUnionFieldSubtypeStepWrapBodyTermAttributeTermAttributeCasesTypeNameTermAttributeInjectTypeNameTermAttributeLambdaDomainGivenTermAttributeLambdaParameterTermAttributeLetBindingTypeSchemeGivenTermAttributeProjectFieldNameTermAttributeProjectTypeNameTermAttributeRecordTypeNameTermAttributeTypeApplicationTypeTermAttributeTypeLambdaParameterTermAttributeWrapTypeNameTypeAttributeTypeAttributeAnnotatedAnnotationTypeAttributeForallParameter
- hydra.predicates module
- hydra.query module
ComparisonConstraintEdgeGraphPatternNodeTermNodeVariableNodeWildcardNode_PathPathEquationPathInversePathRegexPathStepPatternPatternConjunctionPatternDisjunctionPatternGraphPatternImplicationPatternNegationPatternTripleQueryRangeRegexQuantifierRegexQuantifierAtLeastRegexQuantifierExactlyRegexQuantifierOneRegexQuantifierOneOrMoreRegexQuantifierRangeRegexQuantifierZeroOrMoreRegexQuantifierZeroOrOneRegexSequenceStepStepCompareStepEdgeStepProjectTriplePatternVariable
- hydra.reduction module
- hydra.reflect module
- hydra.refs module
- hydra.regex module
AtomAtomAnchorEndAtomAnchorStartAtomAnyAtomClassAtomGroupAtomLiteralCharacterClassCharacterRangeClassItemClassItemCharacterClassItemRangeQuantifiedQuantifierQuantifierAtLeastQuantifierExactlyQuantifierOneQuantifierOneOrMoreQuantifierRangeQuantifierRange_QuantifierZeroOrMoreQuantifierZeroOrOne
- hydra.relational module
- hydra.resolution module
dereference_type()f_type_is_polymorphic()field_map()field_type_map()field_types()find_field_type()fully_strip_and_normalize_type()fully_strip_type()instantiate_type()instantiate_type_scheme()map_key_resolves_to_string()nominal_application()require_record_type()require_row_type()require_schema_type()require_type()require_union_field()require_union_type()resolve_base_type()resolve_type()type_to_type_scheme()
- hydra.rewriting module
apply_inside_type_lambdas_and_annotations()fold_over_term()fold_over_type()fold_term_with_graph_and_path()map_beneath_type_annotations()rewrite_and_fold_term()rewrite_and_fold_term_with_graph()rewrite_and_fold_term_with_graph_and_path()rewrite_and_fold_term_with_path()rewrite_term()rewrite_term_m()rewrite_term_with_context()rewrite_term_with_context_m()rewrite_term_with_graph()rewrite_type()rewrite_type_m()subterms()subterms_with_steps()subtypes()subtypes_with_steps()wrap_term_to_record()wrap_type_to_record()
- hydra.scoping module
- hydra.serialization module
angle_braces_list()braces_list_adaptive()bracket_list()bracket_list_adaptive()brackets()choose_layout()comma_sep()comma_sep_adaptive()cst()curly_block()curly_braces_list()custom_indent()custom_indent_block()dot_sep()double_newline_sep()expression_length()ifx()indent()indent_block()indent_subsequent_lines()infix_ws()infix_ws_list()newline_sep()no_sep()num()op()or_op()or_sep()paren_list()paren_list_adaptive()parens()parenthesize()prefix()print_expr()semicolon_sep()sep()space_sep()space_sep_adaptive()structural_sep()structural_space_sep()suffix()sym()symbol_sep()tab_indent()tab_indent_double_space()tab_indent_single_space()unsupported_type()unsupported_variant()with_comma()with_semi()
- hydra.shredding module
- hydra.sorting module
- hydra.strip module
deannotate_and_detype_term()deannotate_term()deannotate_type()deannotate_type_parameters()deannotate_type_recursive()deannotate_type_scheme_recursive()detype_term()remove_term_annotations()remove_type_annotations()remove_type_annotations_from_term()remove_types_from_term()strip_type_lambdas()
- hydra.substitution module
compose_type_subst()compose_type_subst_list()compose_type_subst_non_empty()id_type_subst()singleton_type_subst()subst_in_class_constraints()subst_in_context()subst_in_type()subst_in_type_non_empty()subst_in_type_scheme()subst_types_in_term()substitute_in_binding()substitute_in_constraint()substitute_in_constraints()substitute_in_term()
- hydra.system module
- hydra.tabular module
- hydra.templates module
- hydra.testing module
- hydra.time module
- hydra.topology module
- hydra.typed module
- hydra.typing module
- hydra.unification module
- hydra.util module
- hydra.validation module
- hydra.variables module
free_type_variables_in_term()free_variables_in_term()free_variables_in_type()free_variables_in_type_ordered()free_variables_in_type_scheme()free_variables_in_type_scheme_simple()free_variables_in_type_simple()is_free_variable_in_term()normalize_type_variables_in_term()replace_free_term_variable()replace_free_type_variable()substitute_type_variables()substitute_variable()substitute_variables()unshadow_variables()
- hydra.variants module
- hydra.adapt module