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

Safe HaskellNone
LanguageHaskell98

Agda.Compiler.MAlonzo.Pretty

Synopsis

Documentation

prettyPrint :: (Pretty a, TransformBi ModuleName (Wrap a)) => a -> String Source

Encodes module names just before pretty-printing.

newtype Wrap a Source

A wrapper type used to avoid orphan instances.

Constructors

Wrap 

Fields

unwrap :: a
 

Instances

TransformBi ModuleName (Wrap QName) Source 
TransformBi ModuleName (Wrap ModuleName) Source 
TransformBi ModuleName (Wrap Module) Source 
TransformBi ModuleName (Wrap Exp) Source