Pretty

Pretty-printing utilities and styling for the UI.

Documentation

showCode

Arguments

:: Diff term

=> Bool

whether to scroll to focused region

-> Int

maximum line width

-> Options term

options for Clash's pretty-printer

-> String

the string to search for

-> [Ctx term]

the current context

-> term

code to display

-> Widget n

the Brick widget to display

data MyDoc

Constructors

MChar Char

MString String

MLine Int

MMod [String] MyDoc

data Item

Constructors

Stx

Ctx

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

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

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

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

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

highlightSearch :: String -> String -> Widget n

emph :: String -> Widget n

title :: String -> Widget n

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

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

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

fillSize :: Int -> String -> String

vBoxSpaced :: [Widget n] -> Widget n

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