| License | BSD-3-Clause |
|---|---|
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Swarm.TUI.View.Util
Description
Synopsis
- generateModal :: AppState -> ModalType -> Modal
- drawType :: Polytype -> Widget Name
- drawMarkdown :: Document Syntax -> Widget Name
- drawLabeledTerrainSwatch :: TerrainType -> Widget Name
- descriptionTitle :: Entity -> String
- maxModalWindowWidth :: Int
- curMenuName :: AppState -> Maybe Text
- quitMsg :: Menu -> Text
- locationToString :: Location -> String
- displayParagraphs :: [Text] -> Widget Name
- layoutParagraphs :: [Widget Name] -> Widget Name
- data EllipsisSide
- withEllipsis :: EllipsisSide -> Text -> Widget Name
- maybeScroll :: (Ord n, Show n) => n -> Widget n -> Widget n
Documentation
generateModal :: AppState -> ModalType -> Modal Source #
Generate a fresh modal window of the requested type.
drawType :: Polytype -> Widget Name Source #
Render the type of the current REPL input to be shown to the user.
drawMarkdown :: Document Syntax -> Widget Name Source #
Draw markdown document with simple codebolditalic attributes.
TODO: #574 Code blocks should probably be handled separately.
descriptionTitle :: Entity -> String Source #
maxModalWindowWidth :: Int Source #
Width cap for modal and error message windows
locationToString :: Location -> String Source #
displayParagraphs :: [Text] -> Widget Name Source #
Display a list of text-wrapped paragraphs with one blank line after each.
layoutParagraphs :: [Widget Name] -> Widget Name Source #
Display a list of paragraphs with one blank line after each.
For the common case of `[Text]` use displayParagraphs.
data EllipsisSide Source #
withEllipsis :: EllipsisSide -> Text -> Widget Name Source #