hls-tactics-plugin-1.0.0.0: Wingman plugin for Haskell Language Server
Safe HaskellNone
LanguageHaskell2010

Ide.Plugin.Tactic.KnownStrategies

Documentation

knownStrategies :: TacticsM () Source #

known :: String -> TacticsM () -> TacticsM () Source #

deriveFmap :: TacticsM () Source #