Directory listing for hls-tactics-plugin-1.1.0.0 source tarball
hls-tactics-plugin-1.1.0.0/
- LICENSE
- README.md
- hls-tactics-plugin.cabal
- src/
- test/
- AutoTupleSpec.hs
- Main.hs
- ProviderSpec.hs
- Spec.hs
- UnificationSpec.hs
- Utils.hs
- CodeAction/
- golden/
- AutoEmptyString.hs
- AutoEmptyString.hs.expected
- AutoEndo.hs
- AutoEndo.hs.expected
- AutoInfixApply.hs
- AutoInfixApply.hs.expected
- AutoInfixApplyMany.hs
- AutoInfixApplyMany.hs.expected
- AutoInfixInfix.hs
- AutoInfixInfix.hs.expected
- AutoPatSynUse.hs
- AutoPatSynUse.hs.expected
- AutoSplitGADT.hs
- AutoSplitGADT.hs.expected
- AutoThetaEqCtx.hs
- AutoThetaEqCtx.hs.expected
- AutoThetaEqGADT.hs
- AutoThetaEqGADT.hs.expected
- AutoThetaEqGADTDestruct.hs
- AutoThetaEqGADTDestruct.hs.expected
- AutoThetaFix.hs
- AutoThetaFix.hs.expected
- AutoThetaGADT.hs
- AutoThetaGADT.hs.expected
- AutoThetaGADTDestruct.hs
- AutoThetaGADTDestruct.hs.expected
- AutoThetaRankN.hs
- AutoThetaRankN.hs.expected
- AutoThetaRefl.hs
- AutoThetaRefl.hs.expected
- AutoThetaReflDestruct.hs
- AutoThetaReflDestruct.hs.expected
- AutoZip.hs
- AutoZip.hs.expected
- ConProviders.hs
- DestructAllAnd.hs
- DestructAllAnd.hs.expected
- DestructAllFunc.hs
- DestructAllFunc.hs.expected
- DestructAllMany.hs
- DestructAllMany.hs.expected
- DestructAllNonVarTopMatch.hs
- DestructAllNonVarTopMatch.hs.expected
- DestructAllProvider.hs
- Fgmap.hs
- Fgmap.hs.expected
- FmapBoth.hs
- FmapBoth.hs.expected
- FmapJoin.hs
- FmapJoin.hs.expected
- FmapJoinInLet.hs
- FmapJoinInLet.hs.expected
- GoldenApplicativeThen.hs
- GoldenArbitrary.hs
- GoldenArbitrary.hs.expected
- GoldenBigTuple.hs
- GoldenBigTuple.hs.expected
- GoldenEitherAuto.hs
- GoldenEitherAuto.hs.expected
- GoldenEitherHomomorphic.hs
- GoldenEitherHomomorphic.hs.expected
- GoldenFish.hs
- GoldenFmapTree.hs
- GoldenFmapTree.hs.expected
- GoldenFoldr.hs
- GoldenFoldr.hs.expected
- GoldenFromMaybe.hs
- GoldenFromMaybe.hs.expected
- GoldenGADTAuto.hs
- GoldenGADTAuto.hs.expected
- GoldenGADTDestruct.hs
- GoldenGADTDestruct.hs.expected
- GoldenGADTDestructCoercion.hs
- GoldenGADTDestructCoercion.hs.expected
- GoldenIdTypeFam.hs
- GoldenIdTypeFam.hs.expected
- GoldenIdentityFunctor.hs
- GoldenIdentityFunctor.hs.expected
- GoldenIntros.hs
- GoldenIntros.hs.expected
- GoldenJoinCont.hs
- GoldenJoinCont.hs.expected
- GoldenListFmap.hs
- GoldenListFmap.hs.expected
- GoldenNote.hs
- GoldenNote.hs.expected
- GoldenPureList.hs
- GoldenPureList.hs.expected
- GoldenSafeHead.hs
- GoldenSafeHead.hs.expected
- GoldenShow.hs
- GoldenShow.hs.expected
- GoldenShowCompose.hs
- GoldenShowCompose.hs.expected
- GoldenShowMapChar.hs
- GoldenShowMapChar.hs.expected
- GoldenSuperclass.hs
- GoldenSuperclass.hs.expected
- GoldenSwap.hs
- GoldenSwap.hs.expected
- GoldenSwapMany.hs
- GoldenSwapMany.hs.expected
- KnownBigSemigroup.hs
- KnownBigSemigroup.hs.expected
- KnownCounterfactualSemigroup.hs
- KnownCounterfactualSemigroup.hs.expected
- KnownDestructedSemigroup.hs
- KnownDestructedSemigroup.hs.expected
- KnownMissingMonoid.hs
- KnownMissingMonoid.hs.expected
- KnownMissingSemigroup.hs
- KnownMissingSemigroup.hs.expected
- KnownModuleInstanceSemigroup.hs
- KnownModuleInstanceSemigroup.hs.expected
- KnownMonoid.hs
- KnownMonoid.hs.expected
- KnownPolyMonoid.hs
- KnownPolyMonoid.hs.expected
- KnownThetaSemigroup.hs
- KnownThetaSemigroup.hs.expected
- LayoutBind.hs
- LayoutBind.hs.expected
- LayoutDollarApp.hs
- LayoutDollarApp.hs.expected
- LayoutLam.hs
- LayoutLam.hs.expected
- LayoutOpApp.hs
- LayoutOpApp.hs.expected
- LayoutSplitClass.hs
- LayoutSplitClass.hs.expected
- LayoutSplitGuard.hs
- LayoutSplitGuard.hs.expected
- LayoutSplitIn.hs
- LayoutSplitIn.hs.expected
- LayoutSplitLet.hs
- LayoutSplitLet.hs.expected
- LayoutSplitPatSyn.hs
- LayoutSplitPatSyn.hs.expected
- LayoutSplitPattern.hs
- LayoutSplitPattern.hs.expected
- LayoutSplitViewPat.hs
- LayoutSplitViewPat.hs.expected
- LayoutSplitWhere.hs
- LayoutSplitWhere.hs.expected
- MessageForallA.hs
- NewtypeRecord.hs
- NewtypeRecord.hs.expected
- ProvideAlreadyDestructed.hs
- ProvideLocalHyOnly.hs
- RecordCon.hs
- RecordCon.hs.expected
- RefineCon.hs
- RefineCon.hs.expected
- RefineGADT.hs
- RefineGADT.hs.expected
- RefineIntro.hs
- RefineIntro.hs.expected
- RefineReader.hs
- RefineReader.hs.expected
- SplitPattern.hs
- SplitPattern.hs.expected
- T1.hs
- T2.hs
- T3.hs
- UseConLeft.hs
- UseConLeft.hs.expected
- UseConPair.hs
- UseConPair.hs.expected
- UseConRight.hs
- UseConRight.hs.expected
- hie.yaml
- test.cabal