Agda-2.6.4: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
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 #