Ide.Plugin.Tactic.KnownStrategies
knownStrategies :: TacticsM () Source #
known :: String -> TacticsM () -> TacticsM () Source #
deriveFmap :: TacticsM () Source #