Split main Tactics module (#1391)

* Agda splitting machinery

* Expand decls!

* Only very top-level lambda to args

* Preserve top-level args (but it doesnt work very well)

* Preserve existing patterns and matches when agdasplitting

* Add traceFX debug function

* Force a few iterations of splitAgda

* Cleanup imports

* Put wildcard patterns in for unused variables

* Update tests

* Agda-unfold on instance deps

* wildify at the very end of simplifying

* Haddock for top-level functions

* Move case splitting stuff into its own module

* Exactprint comments

* Haddock for casesplit

* Use PatCompat

* Remove HsDumpAst

* Use Pat, not LPat

* More massaging Pats

* Only unXPat on 8.0.8

* Haddock and cleanup -Wall

* Cleanup sus errors

* Fix parse errors in GHC > 8.8

* Update comment around unXPat

* Cleanup ExactPrint to split FunBind matches

* Minor haddock tweak

* Bad suggest, hlint

* I hate hlint with so much passion

* Pull out tactic providers

* Stick judgment and context into the RTR

* Add type for mkWorkspaceEdits

* Split up judgementForHole

* Pull LSP-specific stuff out of the main module

* Clean up tacticCmd

* Minor renaming

* Rename noteT to throwError; minor haddock

* Move a few more things into the LanguageServer

Author: isovector

plugins/hls-tactics-plugin/hls-tactics-plugin.cabal

@@ -33,6 +33,8 @@ library
     Ide.Plugin.Tactic.Judgements
     Ide.Plugin.Tactic.KnownStrategies
     Ide.Plugin.Tactic.KnownStrategies.QuickCheck
+    Ide.Plugin.Tactic.LanguageServer
+    Ide.Plugin.Tactic.LanguageServer.TacticProviders
     Ide.Plugin.Tactic.Machinery
     Ide.Plugin.Tactic.Naming
     Ide.Plugin.Tactic.Range