Basic types useful everywhere we play with buffers.
- data Direction
- reverseDir :: Direction -> Direction
- mayReverse :: Direction -> [a] -> [a]
- directionElim :: Direction -> a -> a -> a
- newtype Mark = Mark {}
- newtype BufferRef = BufferRef Int
- newtype Point = Point {}
- newtype Size = Size {}
- fromString :: String -> Rope
Documentation
Direction of movement inside a buffer
mayReverse :: Direction -> [a] -> [a]Source
reverse if Backward
directionElim :: Direction -> a -> a -> aSource
direction
is in the same style of maybe
or either
functions,
It takes one argument per direction (backward, then forward) and a
direction to select the output.
A mark in a buffer
Reference to a buffer.
A point in a buffer
Size of a buffer region
fromString :: String -> RopeSource