Agda-2.3.0: A dependently typed functional programming language and proof assistant

Agda.TypeChecking.Pretty

Contents

Synopsis

Wrappers for pretty printing combinators

type Doc = Doc

fsep :: [TCM Doc] -> TCM Doc

hsep :: [TCM Doc] -> TCM Doc

vcat :: [TCM Doc] -> TCM Doc

sep :: [TCM Doc] -> TCM Doc

(<>) :: TCM Doc -> TCM Doc -> TCM Doc

($$) :: TCM Doc -> TCM Doc -> TCM Doc

The PrettyTCM class