Agda-2.3.0: A dependently typed functional programming language and proof assistant
Agda.TypeChecking.Pretty
Contents
Synopsis
type Doc = DocSource
empty, comma :: TCM DocSource
text :: String -> TCM DocSource
sep, vcat, hsep, fsep :: [TCM Doc] -> TCM DocSource
($$), (<+>), (<>) :: TCM Doc -> TCM Doc -> TCM DocSource
class PrettyTCM a whereSource
Methods
prettyTCM :: a -> TCM DocSource
Instances
newtype PrettyContext Source
Constructors