hls-tactics-plugin-0.5.1.0: Tactics plugin for Haskell Language Server
Safe HaskellNone
LanguageHaskell2010

Ide.Plugin.Tactic.Auto

Synopsis

Documentation

auto :: TacticsM () Source #

Automatically solve a goal.