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

Wingman.Metaprogramming.Parser

Synopsis

Documentation

unary_occM :: Text -> (OccName -> Parser (TacticsM ())) -> Parser (TacticsM ()) Source #

Like unary_occ, but runs directly in the Parser monad.

attempt_it :: RealSrcLoc -> Context -> Judgement -> String -> IO (Either String String) Source #

Attempt to run a metaprogram tactic, returning the proof state, or the errors.

writeDocumentation :: IO () Source #

Automatically generate the metaprogram command reference.