Agda

Safe Haskell	None
Language	Haskell2010

Agda.Syntax.Common.Pretty.ANSI

Synopsis

printTreeAnsi :: DocTree -> IO ()
putDocLn :: (MonadIO m, HasOptions m) => Doc -> m ()
putDocTree :: (MonadIO m, HasOptions m) => DocTree -> m ()
putDocTreeLn :: (MonadIO m, HasOptions m) => DocTree -> m ()

Documentation

printTreeAnsi :: DocTree -> IO () Source #

Print an annotated, pretty-printing DocTree onto a VT100-compatible terminal.

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

putDocTree :: (MonadIO m, HasOptions m) => DocTree -> m () Source #

putDocTreeLn :: (MonadIO m, HasOptions m) => DocTree -> m () Source #