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

Wingman.Auto

Synopsis

Documentation

auto :: TacticsM () Source #

Automatically solve a goal.