Idris2Doc : Text.PrettyPrint.Prettyprinter.Render.Terminal

Text.PrettyPrint.Prettyprinter.Render.Terminal

AnsiStyle : Type
bgColor : Color -> AnsiStyle
bold : AnsiStyle
color : Color -> AnsiStyle
italic : AnsiStyle
putDoc : DocAnsiStyle -> IOUnit
renderIO : SimpleDocStreamAnsiStyle -> IOUnit
renderString : SimpleDocStreamAnsiStyle -> String
strike : AnsiStyle
underline : AnsiStyle