hermit-0.3.2.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe Haskell	None

HERMIT.Shell.Renderer

Documentation

showRenderers :: QueryFun Source

changeRenderer :: String -> ShellEffect Source

newtype UnicodeTerminal Source

Constructors

UnicodeTerminal (Handle -> Maybe PathH -> IO ())

Instances

Monoid UnicodeTerminal
RenderCode UnicodeTerminal
RenderSpecial UnicodeTerminal

shellRenderers :: [(String, Handle -> PrettyOptions -> Either String DocH -> IO ())]Source

unicodeConsole :: Handle -> PrettyOptions -> Either String DocH -> IO ()Source

doSGR :: [SGR] -> UnicodeTerminal Source

undoSGRWith :: [SGR] -> [Attr] -> UnicodeTerminal Source

setHighlight :: PathH -> Handle -> Maybe PathH -> IO ()Source