Swarm.TUI.View.Util

Documentation

generateModal :: AppState -> ModalType -> Modal

Generate a fresh modal window of the requested type.

drawType :: Polytype -> Widget Name

Render the type of the current REPL input to be shown to the user.

drawMarkdown :: Document Syntax -> Widget Name

Draw markdown document with simple codebolditalic attributes.

TODO: #574 Code blocks should probably be handled separately.

drawLabeledTerrainSwatch :: TerrainType -> Widget Name

descriptionTitle :: Entity -> String

maxModalWindowWidth :: Int

Width cap for modal and error message windows

curMenuName :: AppState -> Maybe Text

Get the name of the current New Game menu.

quitMsg :: Menu -> Text

locationToString :: Location -> String

displayParagraphs :: [Text] -> Widget Name

Display a list of text-wrapped paragraphs with one blank line after each.

layoutParagraphs :: [Widget Name] -> Widget Name

Display a list of paragraphs with one blank line after each.

For the common case of `[Text]` use displayParagraphs.

data EllipsisSide

Constructors

Beginning

End

withEllipsis :: EllipsisSide -> Text -> Widget Name

maybeScroll :: (Ord n, Show n) => n -> Widget n -> Widget n

Make a widget scrolling if it is bigger than the available vertical space. Thanks to jtdaugherty for this code.