Agda-2.2.10: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
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
=
Doc
Source
comma
::
MonadTCM
tcm => tcm
Doc
Source
empty
::
MonadTCM
tcm => tcm
Doc
Source
The PrettyTCM class
class
PrettyTCM
a
where
Source
Methods
prettyTCM
::
MonadTCM
tcm => a -> tcm
Doc
Source
newtype
PrettyContext
Source
Constructors
PrettyContext
Context
Produced by
Haddock
version 2.6.1