Pretty

Pretty-printing utilities and styling for the UI.

Documentation

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

showCode

Arguments

:: Diff term

=> Name

viewport name

-> 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

data MyDoc

Constructors

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 :: Name -> Bool -> String -> Int -> (Int, [MyDoc]) -> Widget Name

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

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

highlightSearch

Arguments

:: Name

viewport name

-> Int

occurrences so far

-> String

the whole string (haystack)

-> String

the string to search for (needle)

-> (Widget Name, Int)

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