Pretty

Pretty-printing utilities and styling for the TUI.

Rendering.

countOcc

Arguments

:: Diff term

=> Options term

options for Clash's pretty-printer

-> String

the string to search for

-> term

code to search in

-> Int

total number of occurrences

Count number of occurrences of a given search string in a given expression.

showCode

Arguments

:: Diff term

=> Bool

whether to scroll to focused region

-> Int

maximum line width

-> Options term

options for Clash's pretty-printer

-> [Ctx term]

the current context

-> String

the string to search for

-> term

code to display

-> Widget Name

the Brick widget to display

Render the given expression as a Widget.

data MyDoc

A simpler document type, specific to our use-case.

Constructors

MString String

MLine Int

MMod [String] MyDoc

data Item

Constructors

Stx

Ctx

myForm :: forall term. Diff term => [Ctx term] -> SimpleDocStream (Ann term) -> [MyDoc]

Convert a document stream into our simpler data type.

split :: [MyDoc] -> [(Int, [MyDoc])]

Split into individual lines (of some indendation).

render :: Bool -> String -> Int -> (Int, [MyDoc]) -> Widget Name

Render a single line in Brick (highlighting when marked).

Styling.

defaultTheme :: [(String, Attr)] -> Theme

The default theme.

modify :: Bool -> [String] -> Widget n -> Widget n

Add a list of stylistic modifications to a Widget.

highlightSearch

Arguments

:: Int

occurrences so far

-> String

the whole string (haystack)

-> String

the string to search for (needle)

-> (Widget Name, Int)

Highlight searched occurrences inside the given Widget.

emph :: String -> Widget n

Styling for emphasized strings.

title :: String -> Widget n

Styling for titles.

withBorder :: String -> Widget n -> Widget n

Render a given widget inside a box with unicode border.

withBorderSelected :: String -> Widget n -> Widget n

Render a given widget inside a box with unicode and bold border.

withBorderStyle :: BorderStyle -> String -> Widget n -> Widget n

Render given Widget inside a box with the given title and border style.

fillSize :: Int -> String -> String

Fill requested word size with spaces (if necessary).

vBoxSpaced :: [Widget n] -> Widget n

A variant of vBox that adds spaces in-between.

hBoxSpaced :: Int -> [Widget n] -> Widget n

A variant of hBox that adds spaces in-between.