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
.
Auto | |
Intros | |
Destruct | |
DestructPun | |
Homomorphism | |
DestructLambdaCase | |
HomomorphismLambdaCase | |
DestructAll | |
UseDataCon | |
Refine | |
BeginMetaprogram | |
RunMetaprogram |