Safe Haskell | None |
---|---|
Language | Haskell2010 |
A plugin that uses tactics to synthesize code
Synopsis
Documentation
tacticTitle :: TacticCommand -> Text -> Text Source #
Generate a title for the command.
data TacticCommand Source #
The list of tactics exposed to the outside world. These are attached to
actual tactics via commandTactic
and are contextually provided to the
editor via commandProvider
.