|
|
|
| Description |
| Utilities shared by various UIs
|
|
| Synopsis |
|
| indexedAnnotatedStreamB :: Point -> BufferM [(Point, Char)] | | | applyHeights :: Traversable t => [Int] -> t Window -> t Window | | | spliceAnnots :: [(Point, Char)] -> [Span String] -> [(Point, Char)] | | | strokePicture :: [Span (Endo a)] -> [(Point, a -> a)] | | | paintStrokes :: (a -> a) -> a -> [(Point, a -> a)] -> [(Point, a)] -> [(Point, a)] | | | paintPicture :: a -> [[Span (Endo a)]] -> [(Point, a)] | | | attributesPictureB :: UIStyle -> Maybe SearchExp -> Region -> [[Span StyleName]] -> BufferM [(Point, Attributes)] | | | attributesPictureAndSelB :: UIStyle -> Maybe SearchExp -> Region -> BufferM [(Point, Attributes)] | | | arrangeItems :: [String] -> Int -> Int -> [String] | | | arrangeItems' :: [String] -> Int -> Int -> (Int, [String]) |
|
|
| Documentation |
|
|
|
|
|
|
|
|
| Turn a sequence of (from,style,to) strokes into a sequence
of picture points (from,style), taking special care to
ensure that the points are strictly increasing and introducing
padding segments where neccessary.
Precondition: Strokes are ordered and not overlapping.
|
|
|
| Paint the given stroke-picture on top of an existing picture
|
|
|
|
|
|
|
|
|
| Arrange a list of items in columns over maximum maxNumberOfLines lines
|
|
|
| Arrange a list of items in columns over numberOfLines lines.
|
|
| Produced by Haddock version 2.6.1 |
