<!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>Darcs.Witnesses.Show</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();setSynopsis("mini_Darcs-Witnesses-Show.html");}; //]]> </script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Darcs-Witnesses-Show.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">darcs-2.8.3: a distributed, interactive, smart revision control system</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>Safe-Infered</td></tr></table><p class="caption">Darcs.Witnesses.Show</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:ShowDict" class="def">ShowDict</a> a <span class="keyword">where</span><a href="src/Darcs-Witnesses-Show.html#ShowDict" class="link">Source</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:ShowDictClass" class="def">ShowDictClass</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Text-Show.html#t:Show">Show</a> a => <a href="Darcs-Witnesses-Show.html#t:ShowDict">ShowDict</a> a</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ShowDictRecord" class="def">ShowDictRecord</a> :: (<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> -> a -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Text-Show.html#t:ShowS">ShowS</a>) -> (a -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a>) -> ([a] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Text-Show.html#t:ShowS">ShowS</a>) -> <a href="Darcs-Witnesses-Show.html#t:ShowDict">ShowDict</a> a</td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><a name="v:showD" class="def">showD</a> :: <a href="Darcs-Witnesses-Show.html#t:ShowDict">ShowDict</a> a -> a -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a><a href="src/Darcs-Witnesses-Show.html#showD" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:showListD" class="def">showListD</a> :: <a href="Darcs-Witnesses-Show.html#t:ShowDict">ShowDict</a> a -> [a] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Text-Show.html#t:ShowS">ShowS</a><a href="src/Darcs-Witnesses-Show.html#showListD" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:showsPrecD" class="def">showsPrecD</a> :: <a href="Darcs-Witnesses-Show.html#t:ShowDict">ShowDict</a> a -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> -> a -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Text-Show.html#t:ShowS">ShowS</a><a href="src/Darcs-Witnesses-Show.html#showsPrecD" class="link">Source</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:Show1" class="def">Show1</a> a <span class="keyword">where</span><a href="src/Darcs-Witnesses-Show.html#Show1" class="link">Source</a></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:showDict1" class="def">showDict1</a> :: <a href="Darcs-Witnesses-Show.html#t:ShowDict">ShowDict</a> (a x)<a href="src/Darcs-Witnesses-Show.html#showDict1" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:Show1" class="caption collapser" onclick="toggleSection('i:Show1')">Instances</p><div id="section.i:Show1" class="show"><table><tr><td class="src"><a href="Darcs-Witnesses-Show.html#t:Show1">Show1</a> (<a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a> x)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Witnesses-Show.html#t:Show1">Show1</a> (<a href="Darcs-Patch-Prim-V3-Core.html#t:Prim">Prim</a> x)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> p, <a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> (<a href="Darcs-Patch-Prim-Class.html#t:PrimOf">PrimOf</a> p)) => <a href="Darcs-Witnesses-Show.html#t:Show1">Show1</a> (<a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> a => <a href="Darcs-Witnesses-Show.html#t:Show1">Show1</a> (<a href="Darcs-Witnesses-Ordered.html#t:RL">RL</a> a x)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> a => <a href="Darcs-Witnesses-Show.html#t:Show1">Show1</a> (<a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> a x)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim-Class.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Witnesses-Show.html#t:Show1">Show1</a> (<a href="Darcs-Patch-V1-Core.html#t:Patch">Patch</a> prim x)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Darcs-Patch-Format.html#t:PatchListFormat">PatchListFormat</a> p, <a href="Darcs-Patch-Show.html#t:ShowPatch">ShowPatch</a> p) => <a href="Darcs-Witnesses-Show.html#t:Show1">Show1</a> (<a href="Darcs-Patch-Named.html#t:Named">Named</a> p x)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> a, <a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> b) => <a href="Darcs-Witnesses-Show.html#t:Show1">Show1</a> (<a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> a b x)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:Show2" class="def">Show2</a> a <span class="keyword">where</span><a href="src/Darcs-Witnesses-Show.html#Show2" class="link">Source</a></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:showDict2" class="def">showDict2</a> :: <a href="Darcs-Witnesses-Show.html#t:ShowDict">ShowDict</a> (a x y)<a href="src/Darcs-Witnesses-Show.html#showDict2" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:Show2" class="caption collapser" onclick="toggleSection('i:Show2')">Instances</p><div id="section.i:Show2" class="show"><table><tr><td class="src"><a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> <a href="Darcs-Patch-Prim-V3-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> a => <a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> (<a href="Darcs-Witnesses-Ordered.html#t:RL">RL</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> a => <a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> (<a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim-Class.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> (<a href="Darcs-Patch-V1-Core.html#t:Patch">Patch</a> prim)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Darcs-Patch-Format.html#t:PatchListFormat">PatchListFormat</a> p, <a href="Darcs-Patch-Show.html#t:ShowPatch">ShowPatch</a> p) => <a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> (<a href="Darcs-Patch-Named.html#t:Named">Named</a> p)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim-Class.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> (<a href="Darcs-Patch-V2-Real.html#t:RealPatch">RealPatch</a> prim)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> a, <a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> b) => <a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> (<a href="Darcs-Witnesses-Ordered.html#t::-92--47-:">:\/:</a> a b)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> a, <a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> b) => <a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> (<a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> a b)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:show1" class="def">show1</a> :: <a href="Darcs-Witnesses-Show.html#t:Show1">Show1</a> a => a x -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a><a href="src/Darcs-Witnesses-Show.html#show1" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:showsPrec1" class="def">showsPrec1</a> :: <a href="Darcs-Witnesses-Show.html#t:Show1">Show1</a> a => <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> -> a x -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Text-Show.html#t:ShowS">ShowS</a><a href="src/Darcs-Witnesses-Show.html#showsPrec1" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:show2" class="def">show2</a> :: <a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> a => a x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a><a href="src/Darcs-Witnesses-Show.html#show2" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:showsPrec2" class="def">showsPrec2</a> :: <a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> a => <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> -> a x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Text-Show.html#t:ShowS">ShowS</a><a href="src/Darcs-Witnesses-Show.html#showsPrec2" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:showOp2" class="def">showOp2</a> :: (<a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> a, <a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> b) => <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a> -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> -> a w x -> b y z -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a> -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a><a href="src/Darcs-Witnesses-Show.html#showOp2" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:appPrec" class="def">appPrec</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a><a href="src/Darcs-Witnesses-Show.html#appPrec" class="link">Source</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.10.0</p></div></body></html>