<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Agda.TypeChecking.Pretty</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">Agda.TypeChecking.Pretty</p></div><div id="interface"><h1>Wrappers for pretty printing combinators
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-TypeChecking-Pretty.html#t:Doc" target="main">Doc</a> </p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:empty" target="main">empty</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:equals" target="main">equals</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:colon" target="main">colon</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:comma" target="main">comma</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:pretty" target="main">pretty</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:prettyA" target="main">prettyA</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:text" target="main">text</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:pwords" target="main">pwords</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:fwords" target="main">fwords</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:sep" target="main">sep</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:vcat" target="main">vcat</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:hsep" target="main">hsep</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:fsep" target="main">fsep</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:-36--36-" target="main">($$)</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:-60--43--62-" target="main">(<+>)</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:-60--62-" target="main">(<>)</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:-36--43--36-" target="main">($+$)</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:nest" target="main">nest</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:braces" target="main">braces</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:dbraces" target="main">dbraces</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:brackets" target="main">brackets</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:parens" target="main">parens</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:prettyList" target="main">prettyList</a></p></div><div class="top"><p class="src"><a href="Agda-TypeChecking-Pretty.html#v:punctuate" target="main">punctuate</a></p></div><h1>The PrettyTCM class
</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Agda-TypeChecking-Pretty.html#t:PrettyTCM" target="main">PrettyTCM</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-TypeChecking-Pretty.html#t:PrettyContext" target="main">PrettyContext</a> </p></div></div></body></html>
