• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for hls-tactics-plugin-1.6.1.0 source tarball

hls-tactics-plugin-1.6.1.0/

• LICENSE
• README.md
• hls-tactics-plugin.cabal
• src/
  • Ide/
    • Plugin/
      • Tactic.hs
  • Refinery/
    • Future.hs
  • Wingman/
    • AbstractLSP.hs
    • Auto.hs
    • CaseSplit.hs
    • CodeGen.hs
    • Context.hs
    • Debug.hs
    • EmptyCase.hs
    • GHC.hs
    • Judgements.hs
    • KnownStrategies.hs
    • LanguageServer.hs
    • Machinery.hs
    • Naming.hs
    • Plugin.hs
    • Range.hs
    • Simplify.hs
    • StaticPlugin.hs
    • Tactics.hs
    • Types.hs
    • AbstractLSP/
      • TacticActions.hs
      • Types.hs
    • CodeGen/
      • Utils.hs
    • Judgements/
      • SYB.hs
      • Theta.hs
    • KnownStrategies/
      • QuickCheck.hs
    • LanguageServer/
      • Metaprogram.hs
      • TacticProviders.hs
    • Metaprogramming/
      • Lexer.hs
      • Parser.hs
      • Parser.hs-boot
      • ProofState.hs
      • Parser/
        • Documentation.hs
• test/
  • AutoTupleSpec.hs
  • Main.hs
  • ProviderSpec.hs
  • Spec.hs
  • UnificationSpec.hs
  • Utils.hs
  • CodeAction/
    • AutoSpec.hs
    • DestructAllSpec.hs
    • DestructPunSpec.hs
    • DestructSpec.hs
    • IntroDestructSpec.hs
    • IntrosSpec.hs
    • RefineSpec.hs
    • RunMetaprogramSpec.hs
    • UseDataConSpec.hs
  • CodeLens/
    • EmptyCaseSpec.hs
  • golden/
    • AutoEmptyString.expected.hs
    • AutoEmptyString.hs
    • AutoEndo.expected.hs
    • AutoEndo.hs
    • AutoForallClassMethod.expected.hs
    • AutoForallClassMethod.hs
    • AutoInfixApply.expected.hs
    • AutoInfixApply.hs
    • AutoInfixApplyMany.expected.hs
    • AutoInfixApplyMany.hs
    • AutoInfixInfix.expected.hs
    • AutoInfixInfix.hs
    • AutoPatSynUse.expected.hs
    • AutoPatSynUse.hs
    • AutoSplitGADT.expected.hs
    • AutoSplitGADT.hs
    • AutoThetaEqCtx.expected.hs
    • AutoThetaEqCtx.hs
    • AutoThetaEqGADT.expected.hs
    • AutoThetaEqGADT.hs
    • AutoThetaEqGADTDestruct.expected.hs
    • AutoThetaEqGADTDestruct.hs
    • AutoThetaFix.expected.hs
    • AutoThetaFix.hs
    • AutoThetaGADT.expected.hs
    • AutoThetaGADT.hs
    • AutoThetaGADTDestruct.expected.hs
    • AutoThetaGADTDestruct.hs
    • AutoThetaMultipleUnification.expected.hs
    • AutoThetaMultipleUnification.hs
    • AutoThetaRankN.expected.hs
    • AutoThetaRankN.hs
    • AutoThetaRefl.expected.hs
    • AutoThetaRefl.hs
    • AutoThetaReflDestruct.expected.hs
    • AutoThetaReflDestruct.hs
    • AutoThetaSplitUnification.expected.hs
    • AutoThetaSplitUnification.hs
    • AutoTypeLevel.expected.hs
    • AutoTypeLevel.hs
    • AutoUnusedPatternMatch.expected.hs
    • AutoUnusedPatternMatch.hs
    • AutoZip.expected.hs
    • AutoZip.hs
    • ConProviders.hs
    • DestructAllAnd.expected.hs
    • DestructAllAnd.hs
    • DestructAllFunc.expected.hs
    • DestructAllFunc.hs
    • DestructAllGADTEvidence.expected.hs
    • DestructAllGADTEvidence.hs
    • DestructAllMany.expected.hs
    • DestructAllMany.hs
    • DestructAllNonVarTopMatch.expected.hs
    • DestructAllNonVarTopMatch.hs
    • DestructAllProvider.hs
    • DestructCthulhu.expected.hs
    • DestructCthulhu.hs
    • DestructDataFam.expected.hs
    • DestructDataFam.hs
    • DestructPun.expected.hs
    • DestructPun.hs
    • DestructTyFam.expected.hs
    • DestructTyFam.hs
    • DestructTyToDataFam.expected.hs
    • DestructTyToDataFam.hs
    • EmptyCaseADT.expected.hs
    • EmptyCaseADT.hs
    • EmptyCaseApply.expected.hs
    • EmptyCaseApply.hs
    • EmptyCaseGADT.expected.hs
    • EmptyCaseGADT.hs
    • EmptyCaseLamCase.expected.hs
    • EmptyCaseLamCase.hs
    • EmptyCaseNested.expected.hs
    • EmptyCaseNested.hs
    • EmptyCaseParens.expected.hs
    • EmptyCaseParens.hs
    • EmptyCaseShadow.expected.hs
    • EmptyCaseShadow.hs
    • EmptyCaseSpuriousGADT.hs
    • Fgmap.expected.hs
    • Fgmap.hs
    • FmapBoth.expected.hs
    • FmapBoth.hs
    • FmapJoin.expected.hs
    • FmapJoin.hs
    • FmapJoinInLet.expected.hs
    • FmapJoinInLet.hs
    • GoldenApplicativeThen.hs
    • GoldenArbitrary.expected.hs
    • GoldenArbitrary.hs
    • GoldenArbitrarySingleConstructor.expected.hs
    • GoldenArbitrarySingleConstructor.hs
    • GoldenBigTuple.expected.hs
    • GoldenBigTuple.hs
    • GoldenEitherAuto.expected.hs
    • GoldenEitherAuto.hs
    • GoldenEitherHomomorphic.expected.hs
    • GoldenEitherHomomorphic.hs
    • GoldenFish.hs
    • GoldenFmapTree.expected.hs
    • GoldenFmapTree.hs
    • GoldenFoldr.expected.hs
    • GoldenFoldr.hs
    • GoldenFromMaybe.expected.hs
    • GoldenFromMaybe.hs
    • GoldenGADTAuto.expected.hs
    • GoldenGADTAuto.hs
    • GoldenGADTDestruct.expected.hs
    • GoldenGADTDestruct.hs
    • GoldenGADTDestructCoercion.expected.hs
    • GoldenGADTDestructCoercion.hs
    • GoldenIdTypeFam.expected.hs
    • GoldenIdTypeFam.hs
    • GoldenIdentityFunctor.expected.hs
    • GoldenIdentityFunctor.hs
    • GoldenIntros.expected.hs
    • GoldenIntros.hs
    • GoldenJoinCont.expected.hs
    • GoldenJoinCont.hs
    • GoldenListFmap.expected.hs
    • GoldenListFmap.hs
    • GoldenNote.expected.hs
    • GoldenNote.hs
    • GoldenPureList.expected.hs
    • GoldenPureList.hs
    • GoldenSafeHead.expected.hs
    • GoldenSafeHead.hs
    • GoldenShow.expected.hs
    • GoldenShow.hs
    • GoldenShowCompose.expected.hs
    • GoldenShowCompose.hs
    • GoldenShowMapChar.expected.hs
    • GoldenShowMapChar.hs
    • GoldenSuperclass.expected.hs
    • GoldenSuperclass.hs
    • GoldenSwap.expected.hs
    • GoldenSwap.hs
    • GoldenSwapMany.expected.hs
    • GoldenSwapMany.hs
    • IntroDestructLetBinding.expected.hs
    • IntroDestructLetBinding.hs
    • IntroDestructMany.expected.hs
    • IntroDestructMany.hs
    • IntroDestructOne.expected.hs
    • IntroDestructOne.hs
    • IntroDestructProvider.hs
    • IntrosTooMany.expected.hs
    • IntrosTooMany.hs
    • KnownBigSemigroup.expected.hs
    • KnownBigSemigroup.hs
    • KnownCounterfactualSemigroup.expected.hs
    • KnownCounterfactualSemigroup.hs
    • KnownDestructedSemigroup.expected.hs
    • KnownDestructedSemigroup.hs
    • KnownMissingMonoid.expected.hs
    • KnownMissingMonoid.hs
    • KnownMissingSemigroup.expected.hs
    • KnownMissingSemigroup.hs
    • KnownModuleInstanceSemigroup.expected.hs
    • KnownModuleInstanceSemigroup.hs
    • KnownMonoid.expected.hs
    • KnownMonoid.hs
    • KnownPolyMonoid.expected.hs
    • KnownPolyMonoid.hs
    • KnownThetaSemigroup.expected.hs
    • KnownThetaSemigroup.hs
    • LayoutBind.expected.hs
    • LayoutBind.hs
    • LayoutDollarApp.expected.hs
    • LayoutDollarApp.hs
    • LayoutInfixKeep.expected.hs
    • LayoutInfixKeep.hs
    • LayoutLam.expected.hs
    • LayoutLam.hs
    • LayoutOpApp.expected.hs
    • LayoutOpApp.hs
    • LayoutPrefixKeep.expected.hs
    • LayoutPrefixKeep.hs
    • LayoutRec.expected.hs
    • LayoutRec.hs
    • LayoutSplitClass.expected.hs
    • LayoutSplitClass.hs
    • LayoutSplitGuard.expected.hs
    • LayoutSplitGuard.hs
    • LayoutSplitIn.expected.hs
    • LayoutSplitIn.hs
    • LayoutSplitLet.expected.hs
    • LayoutSplitLet.hs
    • LayoutSplitPatSyn.expected.hs
    • LayoutSplitPatSyn.hs
    • LayoutSplitPattern.expected.hs
    • LayoutSplitPattern.hs
    • LayoutSplitViewPat.expected.hs
    • LayoutSplitViewPat.hs
    • LayoutSplitWhere.expected.hs
    • LayoutSplitWhere.hs
    • MessageCantUnify.hs
    • MessageForallA.hs
    • MessageNotEnoughGas.hs
    • MetaBegin.expected.hs
    • MetaBegin.hs
    • MetaBeginNoWildify.expected.hs
    • MetaBeginNoWildify.hs
    • MetaBindAll.expected.hs
    • MetaBindAll.hs
    • MetaBindOne.expected.hs
    • MetaBindOne.hs
    • MetaCataAST.expected.hs
    • MetaCataAST.hs
    • MetaCataCollapse.expected.hs
    • MetaCataCollapse.hs
    • MetaCataCollapseUnary.expected.hs
    • MetaCataCollapseUnary.hs
    • MetaChoice.expected.hs
    • MetaChoice.hs
    • MetaDeepOf.expected.hs
    • MetaDeepOf.hs
    • MetaFundeps.expected.hs
    • MetaFundeps.hs
    • MetaIdiom.expected.hs
    • MetaIdiom.hs
    • MetaIdiomRecord.expected.hs
    • MetaIdiomRecord.hs
    • MetaLetSimple.expected.hs
    • MetaLetSimple.hs
    • MetaMaybeAp.expected.hs
    • MetaMaybeAp.hs
    • MetaPointwise.expected.hs
    • MetaPointwise.hs
    • MetaTry.expected.hs
    • MetaTry.hs
    • MetaUseImport.expected.hs
    • MetaUseImport.hs
    • MetaUseLocal.expected.hs
    • MetaUseLocal.hs
    • MetaUseMethod.expected.hs
    • MetaUseMethod.hs
    • MetaUseSymbol.expected.hs
    • MetaUseSymbol.hs
    • MetaWithArg.expected.hs
    • MetaWithArg.hs
    • NewtypeRecord.expected.hs
    • NewtypeRecord.hs
    • ProvideAlreadyDestructed.hs
    • ProvideLocalHyOnly.hs
    • ProviderHomomorphism.hs
    • PunGADT.expected.hs
    • PunGADT.hs
    • PunMany.expected.hs
    • PunMany.hs
    • PunManyGADT.expected.hs
    • PunManyGADT.hs
    • PunShadowing.expected.hs
    • PunShadowing.hs
    • PunSimple.expected.hs
    • PunSimple.hs
    • RecordCon.expected.hs
    • RecordCon.hs
    • RefineCon.expected.hs
    • RefineCon.hs
    • RefineGADT.expected.hs
    • RefineGADT.hs
    • RefineIntro.expected.hs
    • RefineIntro.hs
    • RefineIntroWhere.expected.hs
    • RefineIntroWhere.hs
    • RefineReader.expected.hs
    • RefineReader.hs
    • SplitPattern.expected.hs
    • SplitPattern.hs
    • SubsequentTactics.expected.hs
    • SubsequentTactics.hs
    • T1.hs
    • T2.hs
    • T3.hs
    • UseConLeft.expected.hs
    • UseConLeft.hs
    • UseConPair.expected.hs
    • UseConPair.hs
    • UseConRight.expected.hs
    • UseConRight.hs
    • hie.yaml
    • test.cabal