Add a space at the message end, for display overlayed over the level map. Also trims (does not wrap!) too long lines. In case of newlines, displays only the first line, but marks the message as partial.

data Report Source

The type of a set of messages to show at the screen at once.

Instances

Show Report
Binary Report

emptyReport :: Report Source

Empty set of messages.

nullReport :: Report -> Bool Source

Test if the set of messages is empty.

singletonReport :: Msg -> Report Source

Construct a singleton set of messages.

addMsg :: Report -> Msg -> Report Source

Add message to the end of report.

splitReport :: X -> Report -> Overlay Source

Split a messages into chunks that fit in one line. We assume the width of the messages line is the same as of level map.

renderReport :: Report -> Text Source

Render a report as a (possibly very long) string.

findInReport :: (ByteString -> Bool) -> Report -> Maybe ByteString Source

lastMsgOfReport :: Report -> (ByteString, Report)Source

data History Source

The history of reports.

Instances

Show History
Binary History

emptyHistory :: History Source

Empty history of reports.

lengthHistory :: History -> Int Source

singletonHistory :: Report -> History Source

Construct a singleton history of reports.

mergeHistory :: [(Msg, History)] -> History Source

addReport :: Report -> History -> History Source

Add a report to history, handling repetitions.

renderHistory :: History -> Overlay Source

Render history as many lines of text, wrapping if necessary.

takeHistory :: Int -> History -> History Source

Take the given prefix of reports from a history.

lastReportOfHistory :: History -> Maybe Report Source

data Overlay Source

A series of screen lines that may or may not fit the width nor height of the screen. An overlay may be transformed by adding the first line and/or by splitting into a slideshow of smaller overlays.

Instances

Eq Overlay
Show Overlay
Binary Overlay

emptyOverlay :: Overlay Source

truncateToOverlay :: Text -> Overlay Source

toOverlay :: [Text] -> Overlay Source

data Slideshow Source

A few overlays, displayed one by one upon keypress. When displayed, they are trimmed, not wrapped and any lines below the lower screen edge are not visible. If the boolean flag is set, the overlay is displayed over a blank screen, including the bottom lines.

Instances

Eq Slideshow
Show Slideshow
Monoid Slideshow

splitOverlay :: Bool -> Y -> Overlay -> Overlay -> Slideshow Source

Split an overlay into a slideshow in which each overlay, prefixed by msg and postfixed by moreMsg except for the last one, fits on the screen wrt height (but lines may be too wide).

toSlideshow :: Bool -> [[Text]] -> Slideshow Source

Declare the list of raw overlays to be fit for display on the screen. In particular, current Report is eiter empty or unimportant or contained in the overlays and if any vertical or horizontal trimming of the overlays happens, this is intended.

encodeLine :: [AttrChar] -> ScreenLine Source

encodeOverlay :: [[AttrChar]] -> Overlay Source

type ScreenLine = Vector Int32 Source

toScreenLine :: Text -> ScreenLine Source

splitText :: X -> Text -> [Text]Source

Split a string into lines. Avoids ending the line with a character other than whitespace or punctuation. Space characters are removed from the start, but never from the end of lines. Newlines are respected.