Hedi-0.1.1: Line oriented editor Source code Contents Index

Offset

Description

Operations involving Offset and Range through an Engine

Synopsis

jumpE :: Ctx m => Offset -> Editor m Engine rangeResolve :: Ctx m => Range -> Editor m (Int, Engine) doOffset :: Ctx m => Offset -> (a -> Editor m b) -> (Engine -> Maybe a) -> Editor m b editOffset :: Ctx m => Offset -> (Engine -> Maybe Engine) -> Editor m () doRange :: Ctx m => Range -> (a -> Editor m b) -> (Int -> Engine -> Maybe a) -> Editor m b editRange :: Ctx m => Range -> (Int -> Engine -> Maybe Engine) -> Editor m ()

Documentation

jumpE Source

:: Ctx m => Offset the new position for the cursor -> Editor m Engine the modified engine under the Editor move the cursor in the engine

rangeResolve Source

:: Ctx m => Range the range to focus -> Editor m (Int, Engine) the tuple (nelements,engine placed at first offset of range) From a range to the tuple (nelements,starting range element)

doOffset Source

:: Ctx m => Offset Offset for the action -> a -> Editor m b the final action -> Engine -> Maybe a the backend ation -> Editor m b .. a complete backend + Editor action on an Offset

editOffset Source

:: Ctx m => Offset Offset for the backend action -> Engine -> Maybe Engine the backend ation -> Editor m () modified monad a backend action ending in a save state for the file

doRange Source

:: Ctx m => Range the addressed range -> a -> Editor m b the closing Editor action -> Int -> Engine -> Maybe a the backend action -> Editor m b ... a complete backend + Editor action on a Range

editRange Source

:: Ctx m => Range the addressed range -> Int -> Engine -> Maybe Engine the backend action -> Editor m () modified monad

Produced by Haddock version 2.4.2