Functions for read-eval-do managing
- modified :: Ctx m w => Editor m w Bool
- resetpending :: Ctx m w => Editor m w ()
- evalSensible :: Ctx m w => Command -> Editor m w () -> Editor m w ()
- checkPendings :: Ctx m w => Editor m w () -> Editor m w ()
- commandMode :: Ctx m w => (String -> Either String CompleteCommand) -> (CompleteCommand -> Editor m w ()) -> Editor m w ()
- commandLoop :: Ctx m w => (String -> Either String CompleteCommand) -> (CompleteCommand -> Editor m w ()) -> Editor m w ()
- inputMode :: Ctx m w => Editor m w [String]
Documentation
resetpending :: Ctx m w => Editor m w ()Source
evalSensible :: Ctx m w => Command -> Editor m w () -> Editor m w ()Source
a wrapper for commands evaluation which can discard changes
checkPendings :: Ctx m w => Editor m w () -> Editor m w ()Source
a wrapper for commands evaluation which cannot discard changes
:: Ctx m w | |
=> (String -> Either String CompleteCommand) | the parser for the command on the line |
-> (CompleteCommand -> Editor m w ()) | the evaluator for the parsed command |
-> Editor m w () | updated beast |
a step in main mode for the editor
:: Ctx m w | |
=> (String -> Either String CompleteCommand) | the parser for the command on the line |
-> (CompleteCommand -> Editor m w ()) | the evaluator for the parsed command |
-> Editor m w () | updated beast |
looping in main mode with error log on output