Agda-2.6.4.2: A dependently typed functional programming language and proof assistant
Safe HaskellNone
LanguageHaskell2010

Agda.Syntax.Common.Pretty.ANSI

Synopsis

Documentation

renderAnsiIO :: Doc -> IO () Source #

Render an annotated, pretty-printing Document into a string suitable for printing on VT100-compatible terminals.

putDoc :: (MonadIO m, HasOptions m) => Doc -> m () Source #