Idris2Doc : Text.PrettyPrint.Prettyprinter.Render.Terminal

Text.PrettyPrint.Prettyprinter.Render.Terminal

AnsiStyle : Type
  
bgColor : Color -> AnsiStyle
  
bold : AnsiStyle
  
color : Color -> AnsiStyle
  
italic : AnsiStyle
  
putDoc : Doc AnsiStyle -> IO ()
  
renderIO : SimpleDocStream AnsiStyle -> IO ()
  
renderString : SimpleDocStream AnsiStyle -> String
  
strike : AnsiStyle
  
underline : AnsiStyle