Original Twitter threads: https://twitter.com/Anka213/status/1289724597735063552

Case splitting an equation (in Idris):

How this could be implemented in HLS:

• A code action provider to split equations with an empty rhs
• A completion provider with splitting suggestions for case [..] of

Tools that already do this:

• hackage.haskell.org/package/shplit
• https://hackage.haskell.org/package/ghc-mod-5.8.0.0/docs/GhcMod-Exe-CaseSplit.html