Wingman.AbstractLSP.TacticActions

Documentation

makeTacticInteraction :: TacticCommand -> Interaction

An Interaction for a TacticCommand.

addTimeoutMessage :: RunTacticResults -> [ContinuationResult] -> [ContinuationResult]

seconds :: Num a => a

The number of microseconds in a second

mkUserFacingMessage :: [TacticError] -> UserFacingMessage

Transform some tactic errors into a UserFacingMessage.

graftHole :: SrcSpan -> RunTacticResults -> Graft (Either String) ParsedSource

Graft a RunTacticResults into the correct place in an AST. Correctly deals with top-level holes, in which we might need to fiddle with the Matchs that bind variables.

matchContextFixity :: HsMatchContext p -> Maybe LexicalFixity

Keep a fixity if one was present in the HsMatchContext.

graftDecl :: DynFlags -> SrcSpan -> Int -> (RdrName -> [Pat GhcPs] -> LHsDecl GhcPs) -> LMatch GhcPs (LHsExpr GhcPs) -> TransformT (Either String) [LMatch GhcPs (LHsExpr GhcPs)]

Helper function to route mergeFunBindMatches into the right place in an AST --- correctly dealing with inserting into instance declarations.