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

Agda.TypeChecking.Pretty

Contents

Synopsis

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