Agda-2.2.6: 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
show/hide Instances
newtype PrettyContext Source
Constructors
PrettyContext Context
show/hide Instances
Produced by Haddock version 2.4.2