hydra namespace
Subpackages
- hydra.scala namespace
- Submodules
- hydra.scala.coder module
apply_var()collect_type_vars()collect_type_vars_go()construct_module()correct_type_apps()count_function_params()detect_accumulator_unification()direct_ref_substitution()direct_ref_substitution_process_group()drop_domains()encode_case()encode_complex_term_def()encode_function()encode_let_binding()encode_literal()encode_local_def()encode_term()encode_term_definition()encode_type()encode_type_definition()encode_typed_param()encode_untype_application_term()extract_body()extract_codomain()extract_direct_return()extract_direct_return_go()extract_domains()extract_in_out_pair()extract_let_bindings()extract_params()field_to_enum_case()field_to_param()filter_by_flags()find_domain()find_imports()find_pair_first()find_sdom()find_self_ref_var()group_pairs_by_first()is_simple_name()module_to_scala()name_map_to_type_map()peel_domain_types()self_ref_substitution()self_ref_substitution_process_group()strip_wrap_eliminations()substitute_type_vars_with_types()substitute_type_vars_with_types_go()to_el_import()to_prim_import()type_param_to_type_var()unwrap_return_type()
- hydra.scala.language module
- hydra.scala.serde module
case_to_expr()data_function_to_expr()data_name_to_expr()data_param_to_expr()data_ref_to_expr()data_select_to_expr()defn_to_expr()function_arrow_op()import_export_stat_to_expr()importer_to_expr()init_to_expr()lit_to_expr()mod_to_expr()name_to_expr()pat_to_expr()pkg_to_expr()scala_float_literal_text()stat_to_expr()term_to_expr()type_name_to_expr()type_param_to_expr()type_to_expr()
- hydra.scala.syntax module
AlternativePatAndTypeAnnotModAnnotateDataAnnotateTypeAnonymousDataAnonymousNameTypeApplyDataApplyInfixDataApplyInfixTypeApplyTypeApplyTypeDataApplyUnaryDataApplyUsingDataAscribeDataAssignDataBindPatBlockDataByNameTypeCaseCaseGeneratorEnumeratorCaseTreeCaseTreeCaseCaseTreeTypeCaseClassDefnContextFunctionDataContextFunctionTypeCtorCtorPrimaryCtorSecondaryDataDataAnnotateDataApplyDataApplyTypeDataApplyUsingDataAscribeDataAssignDataBlockDataContextFunctionDataDoDataEndMarkerDataEtaDataForDataForYieldDataFunctionDataIfDataInterpolateDataLitDataMatchDataMemberDataMemberObjectDataMemberPkgDataNewDataNewAnonymousDataParamDataPartialFunctionDataPlaceholderDataPolyFunctionDataRefDataRepeatedDataReturnDataThrowDataTryDataTryWithHandlerDataTupleDataWhileDeclDeclDefDeclGivenDeclTypeDeclValDeclVarDefDeclDefDefnDefnDefnClassDefnDefDefnEnumDefnEnumCaseDefnExtensionGroupDefnGivenDefnGivenAliasDefnObjectDefnRepeatedEnumCaseDefnTraitDefnTypeDefnValDefnVarDoDataEndMarkerDataEnumCaseDefnEnumDefnEnumeratorEnumeratorCaseGeneratorEnumeratorGeneratorEnumeratorGuardEnumeratorValEtaDataExistentialTypeExportExtensionGroupDefnExtractInfixPatExtractPatForDataForYieldDataFunctionDataFunctionTypeGeneratorEnumeratorGivenAliasDefnGivenDeclGivenDefnGivenImporteeGivenPatGuardEnumeratorIfDataImplicitFunctionTypeImportImportExportStatImportExportStatExportImportExportStatImportImporteeImporteeGivenImporteeGivenAllImporteeNameImporteeRenameImporteeUnimportImporteeWildcardImporterInitInterpolateDataInterpolatePatLambdaTypeLitLitBooleanLitByteLitBytesLitCharLitDoubleLitFloatLitIntLitLongLitNullLitShortLitStringLitSymbolLitUnitMatchDataMatchTypeMemberMemberSelfMemberTermMemberTermParamMemberTypeMemberTypeParamMethodTypeModModAbstractModAnnotModCaseModContravariantModCovariantModFinalModImplicitModInfixModInlineModLazyModOpaqueModOpenModOverrideModPrivateModProtectedModSealedModSuperModTransparentModUsingModValParamModVarParamNameNameAnonymousNameDataNameImporteeNameIndeterminateNameTypeNameValueNewAnonymousDataNewDataObjectDefnObjectPkgOrTypeParamDataParamTypePartialFunctionDataPatPatAlternativePatBindPatExtractPatExtractInfixPatGivenPatInterpolatePatRepeatedPatSeqWildcardPatTuplePatTypedPatVarPatWildcardPkgPlaceholderTypePolyFunctionDataPolyFunctionTypePredefStringPrimaryCtorPrivateModProjectTypeProtectedModRefRefDataRefDataAnonymousRefDataApplyUnaryRefDataNameRefDataSelectRefDataSuperRefDataThisRefInitRefNameRefTypeRefTypeNameRefTypeProjectRefTypeSelectRefTypeSingletonRefineTypeRenameImporteeRepeatedDataRepeatedEnumCaseDefnRepeatedPatRepeatedTypeReturnDataScalaSymbolSecondaryCtorSelectDataSelectTypeSelfSingletonTypeSourceStatStatDeclStatDefnStatImportExportStatTermSuperDataTemplateThisDataThrowDataTraitDefnTreeTreeBoundsTreeCaseTreeTreeCtorTreeEnumeratorTreeImporteeTreeImporterTreeMemberTreeModTreePatTreeRefTreeSourceTreeStatTreeTemplateTreeTypeTryDataTryWithHandlerDataTupleDataTuplePatTupleTypeTypeTypeAndTypeAnnotateTypeAnonymousNameTypeApplyTypeApplyInfixTypeBoundsTypeByNameTypeCaseTypeContextFunctionTypeDeclTypeDefnTypeExistentialTypeFunctionTypeImplicitFunctionTypeLambdaTypeMatchTypeMemberTypeMethodTypeOrTypePlaceholderTypePolyFunctionTypeRefTypeRefineTypeRepeatedTypeTupleTypeTypedParamTypeVarTypeWithTypedParamTypeTypedPatUnimportImporteeValDeclValDefnValEnumeratorVarDeclVarDefnVarPatVarTypeWhileDataWithType
- hydra.scala.utils module
- hydra.scala.coder module
- Submodules