|
|
|
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 |