Agda-2.2.10: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.TypeChecking.Pretty
Contents
Wrappers for pretty printing combinators
The PrettyTCM class
Synopsis
type Doc = Doc
comma :: MonadTCM tcm => tcm Doc
empty :: MonadTCM tcm => tcm Doc
class PrettyTCM a where
prettyTCM :: MonadTCM tcm => a -> tcm Doc
newtype PrettyContext = PrettyContext Context
Wrappers for pretty printing combinators
type Doc = DocSource
comma :: MonadTCM tcm => tcm DocSource
empty :: MonadTCM tcm => tcm DocSource
The PrettyTCM class
class PrettyTCM a whereSource
Methods
prettyTCM :: MonadTCM tcm => a -> tcm DocSource
newtype PrettyContext Source
Constructors
PrettyContext Context
Produced by Haddock version 2.6.1