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
AlternativePatAndTypeAnnotModAnnotateDataAnnotateTypeAnonymousDataAnonymousNameTypeApplyDataApplyInfixDataApplyInfixData.ARGSApplyInfixData.BuilderApplyInfixData.LHSApplyInfixData.OPApplyInfixData.TARGSApplyInfixData.TYPE_ApplyInfixData.argsApplyInfixData.builder()ApplyInfixData.lhsApplyInfixData.opApplyInfixData.targsApplyInfixData.with_args()ApplyInfixData.with_lhs()ApplyInfixData.with_op()ApplyInfixData.with_targs()
ApplyInfixTypeApplyTypeApplyTypeDataApplyTypeData.ARGSApplyTypeData.BuilderApplyTypeData.LHSApplyTypeData.OPApplyTypeData.TARGSApplyTypeData.TYPE_ApplyTypeData.argsApplyTypeData.builder()ApplyTypeData.lhsApplyTypeData.opApplyTypeData.targsApplyTypeData.with_args()ApplyTypeData.with_lhs()ApplyTypeData.with_op()ApplyTypeData.with_targs()
ApplyUnaryDataApplyUsingDataAscribeDataAssignDataBindPatBlockDataByNameTypeCaseCaseGeneratorEnumeratorCaseTreeCaseTreeCaseCaseTreeTypeCaseClassDefnClassDefn.BuilderClassDefn.CTORClassDefn.MODSClassDefn.NAMEClassDefn.TEMPLATEClassDefn.TPARAMSClassDefn.TYPE_ClassDefn.builder()ClassDefn.ctorClassDefn.modsClassDefn.nameClassDefn.templateClassDefn.tparamsClassDefn.with_ctor()ClassDefn.with_mods()ClassDefn.with_name()ClassDefn.with_template()ClassDefn.with_tparams()
ContextFunctionDataContextFunctionTypeCtorCtorPrimaryCtorSecondaryDataData.ANNOTATEData.APPLYData.APPLY_TYPEData.APPLY_USINGData.ASCRIBEData.ASSIGNData.BLOCKData.CONTEXT_FUNCTIONData.DOData.END_MARKERData.ETAData.FORData.FOR_YIELDData.FUNCTIONData.IFData.INTERPOLATEData.LITData.MATCHData.NEWData.NEW_ANONYMOUSData.PARAMData.PARTIAL_FUNCTIONData.PLACEHOLDERData.POLY_FUNCTIONData.REFData.REPEATEDData.RETURNData.THROWData.TRYData.TRY_WITH_HANDLERData.TUPLEData.TYPE_Data.WHILE
DataAnnotateDataApplyDataApplyTypeDataApplyUsingDataAscribeDataAssignDataBlockDataContextFunctionDataDoDataEndMarkerDataEtaDataForDataForYieldDataFunctionDataIfDataInterpolateDataLitDataMatchDataMemberDataMemberObjectDataMemberPkgDataNewDataNewAnonymousDataParamDataPartialFunctionDataPlaceholderDataPolyFunctionDataRefDataRepeatedDataReturnDataThrowDataTryDataTryWithHandlerDataTupleDataWhileDeclDeclDefDeclGivenDeclTypeDeclValDeclVarDefDeclDefDecl.BuilderDefDecl.DECLTPEDefDecl.MODSDefDecl.NAMEDefDecl.PARAMSSDefDecl.TPARAMSDefDecl.TYPE_DefDecl.builder()DefDecl.decltpeDefDecl.modsDefDecl.nameDefDecl.paramssDefDecl.tparamsDefDecl.with_decltpe()DefDecl.with_mods()DefDecl.with_name()DefDecl.with_paramss()DefDecl.with_tparams()
DefDefnDefDefn.BODYDefDefn.BuilderDefDefn.DECLTPEDefDefn.MODSDefDefn.NAMEDefDefn.PARAMSSDefDefn.TPARAMSDefDefn.TYPE_DefDefn.bodyDefDefn.builder()DefDefn.decltpeDefDefn.modsDefDefn.nameDefDefn.paramssDefDefn.tparamsDefDefn.with_body()DefDefn.with_decltpe()DefDefn.with_mods()DefDefn.with_name()DefDefn.with_paramss()DefDefn.with_tparams()
DefnDefnClassDefnDefDefnEnumDefnEnumCaseDefnExtensionGroupDefnGivenDefnGivenAliasDefnObjectDefnRepeatedEnumCaseDefnTraitDefnTypeDefnValDefnVarDoDataEndMarkerDataEnumCaseDefnEnumCaseDefn.BuilderEnumCaseDefn.CTOREnumCaseDefn.INITSEnumCaseDefn.MODSEnumCaseDefn.NAMEEnumCaseDefn.TPARAMSEnumCaseDefn.TYPE_EnumCaseDefn.builder()EnumCaseDefn.ctorEnumCaseDefn.initsEnumCaseDefn.modsEnumCaseDefn.nameEnumCaseDefn.tparamsEnumCaseDefn.with_ctor()EnumCaseDefn.with_inits()EnumCaseDefn.with_mods()EnumCaseDefn.with_name()EnumCaseDefn.with_tparams()
EnumDefnEnumDefn.BuilderEnumDefn.CTOREnumDefn.MODSEnumDefn.NAMEEnumDefn.TEMPLATEEnumDefn.TPARAMSEnumDefn.TYPE_EnumDefn.builder()EnumDefn.ctorEnumDefn.modsEnumDefn.nameEnumDefn.templateEnumDefn.tparamsEnumDefn.with_ctor()EnumDefn.with_mods()EnumDefn.with_name()EnumDefn.with_template()EnumDefn.with_tparams()
EnumeratorEnumeratorCaseGeneratorEnumeratorGeneratorEnumeratorGuardEnumeratorValEtaDataExistentialTypeExportExtensionGroupDefnExtensionGroupDefn.BODYExtensionGroupDefn.BuilderExtensionGroupDefn.PARMSSExtensionGroupDefn.TPARAMSExtensionGroupDefn.TYPE_ExtensionGroupDefn.bodyExtensionGroupDefn.builder()ExtensionGroupDefn.parmssExtensionGroupDefn.tparamsExtensionGroupDefn.with_body()ExtensionGroupDefn.with_parmss()ExtensionGroupDefn.with_tparams()
ExtractInfixPatExtractPatForDataForYieldDataFunctionDataFunctionTypeGeneratorEnumeratorGivenAliasDefnGivenAliasDefn.BODYGivenAliasDefn.BuilderGivenAliasDefn.DECLTPEGivenAliasDefn.MODSGivenAliasDefn.NAMEGivenAliasDefn.SPARAMSGivenAliasDefn.TPARAMSGivenAliasDefn.TYPE_GivenAliasDefn.bodyGivenAliasDefn.builder()GivenAliasDefn.decltpeGivenAliasDefn.modsGivenAliasDefn.nameGivenAliasDefn.sparamsGivenAliasDefn.tparamsGivenAliasDefn.with_body()GivenAliasDefn.with_decltpe()GivenAliasDefn.with_mods()GivenAliasDefn.with_name()GivenAliasDefn.with_sparams()GivenAliasDefn.with_tparams()
GivenDeclGivenDecl.BuilderGivenDecl.DECLTPEGivenDecl.MODSGivenDecl.NAMEGivenDecl.SPARAMSGivenDecl.TPARAMSGivenDecl.TYPE_GivenDecl.builder()GivenDecl.decltpeGivenDecl.modsGivenDecl.nameGivenDecl.sparamsGivenDecl.tparamsGivenDecl.with_decltpe()GivenDecl.with_mods()GivenDecl.with_name()GivenDecl.with_sparams()GivenDecl.with_tparams()
GivenDefnGivenDefn.BuilderGivenDefn.MODSGivenDefn.NAMEGivenDefn.SPARAMSGivenDefn.TEMPLGivenDefn.TPARAMSGivenDefn.TYPE_GivenDefn.builder()GivenDefn.modsGivenDefn.nameGivenDefn.sparamsGivenDefn.templGivenDefn.tparamsGivenDefn.with_mods()GivenDefn.with_name()GivenDefn.with_sparams()GivenDefn.with_templ()GivenDefn.with_tparams()
GivenImporteeGivenPatGuardEnumeratorIfDataImplicitFunctionTypeImportImportExportStatImportExportStatExportImportExportStatImportImporteeImporteeGivenImporteeGivenAllImporteeNameImporteeRenameImporteeUnimportImporteeWildcardImporterInitInterpolateDataInterpolatePatLambdaTypeLitLitBooleanLitByteLitBytesLitCharLitDoubleLitFloatLitIntLitLongLitNullLitShortLitStringLitSymbolLitUnitMatchDataMatchTypeMemberMemberSelfMemberTermMemberTermParamMemberTypeMemberTypeParamMethodTypeModModAbstractModAnnotModCaseModContravariantModCovariantModFinalModImplicitModInfixModInlineModLazyModOpaqueModOpenModOverrideModPrivateModProtectedModSealedModSuperModTransparentModUsingModValParamModVarParamNameNameAnonymousNameDataNameImporteeNameIndeterminateNameTypeNameValueNewAnonymousDataNewDataObjectDefnObjectPkgOrTypeParamDataParamTypeParamType.BuilderParamType.CBOUNDSParamType.MODSParamType.NAMEParamType.TBOUNDSParamType.TPARAMSParamType.TYPE_ParamType.VBOUNDSParamType.builder()ParamType.cboundsParamType.modsParamType.nameParamType.tboundsParamType.tparamsParamType.vboundsParamType.with_cbounds()ParamType.with_mods()ParamType.with_name()ParamType.with_tbounds()ParamType.with_tparams()ParamType.with_vbounds()
PartialFunctionDataPatPatAlternativePatBindPatExtractPatExtractInfixPatGivenPatInterpolatePatRepeatedPatSeqWildcardPatTuplePatTypedPatVarPatWildcardPkgPlaceholderTypePolyFunctionDataPolyFunctionTypePredefStringPrimaryCtorPrivateModProjectTypeProtectedModRefRefDataRefDataAnonymousRefDataApplyUnaryRefDataNameRefDataSelectRefDataSuperRefDataThisRefInitRefNameRefTypeRefTypeNameRefTypeProjectRefTypeSelectRefTypeSingletonRefineTypeRenameImporteeRepeatedDataRepeatedEnumCaseDefnRepeatedPatRepeatedTypeReturnDataScalaSymbolSecondaryCtorSecondaryCtor.BuilderSecondaryCtor.INITSecondaryCtor.MODSSecondaryCtor.NAMESecondaryCtor.PARAMSSSecondaryCtor.STATSSecondaryCtor.TYPE_SecondaryCtor.builder()SecondaryCtor.initSecondaryCtor.modsSecondaryCtor.nameSecondaryCtor.paramssSecondaryCtor.statsSecondaryCtor.with_init()SecondaryCtor.with_mods()SecondaryCtor.with_name()SecondaryCtor.with_paramss()SecondaryCtor.with_stats()
SelectDataSelectTypeSelfSingletonTypeSourceStatStatDeclStatDefnStatImportExportStatTermSuperDataTemplateThisDataThrowDataTraitDefnTraitDefn.BuilderTraitDefn.CTORTraitDefn.MODSTraitDefn.NAMETraitDefn.TEMPLATETraitDefn.TPARAMSTraitDefn.TYPE_TraitDefn.builder()TraitDefn.ctorTraitDefn.modsTraitDefn.nameTraitDefn.templateTraitDefn.tparamsTraitDefn.with_ctor()TraitDefn.with_mods()TraitDefn.with_name()TraitDefn.with_template()TraitDefn.with_tparams()
TreeTreeBoundsTreeCaseTreeTreeCtorTreeEnumeratorTreeImporteeTreeImporterTreeMemberTreeModTreePatTreeRefTreeSourceTreeStatTreeTemplateTreeTypeTryDataTryWithHandlerDataTryWithHandlerData.BuilderTryWithHandlerData.CATCHPTryWithHandlerData.EXPRTryWithHandlerData.FINALLYPTryWithHandlerData.TYPE_TryWithHandlerData.builder()TryWithHandlerData.catchpTryWithHandlerData.exprTryWithHandlerData.finallypTryWithHandlerData.with_catchp()TryWithHandlerData.with_expr()TryWithHandlerData.with_finallyp()
TupleDataTuplePatTupleTypeTypeType.ANDType.ANNOTATEType.ANONYMOUS_NAMEType.APPLYType.APPLY_INFIXType.BY_NAMEType.CONTEXT_FUNCTIONType.EXISTENTIALType.FUNCTIONType.IMPLICIT_FUNCTIONType.LAMBDAType.MATCHType.METHODType.ORType.PLACEHOLDERType.POLY_FUNCTIONType.REFType.REFINEType.REPEATEDType.TUPLEType.TYPED_PARAMType.TYPE_Type.VARType.WITH
TypeAndTypeAnnotateTypeAnonymousNameTypeApplyTypeApplyInfixTypeBoundsTypeByNameTypeCaseTypeContextFunctionTypeDeclTypeDefnTypeExistentialTypeFunctionTypeImplicitFunctionTypeLambdaTypeMatchTypeMemberTypeMethodTypeOrTypePlaceholderTypePolyFunctionTypeRefTypeRefineTypeRepeatedTypeTupleTypeTypedParamTypeVarTypeWithTypedParamTypeTypedPatUnimportImporteeValDeclValDefnValEnumeratorVarDeclVarDefnVarPatVarTypeWhileDataWithType
- hydra.scala.utils module