<!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.Sealed</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">Darcs.Witnesses.Sealed</p></div><div id="interface"><div class="top"><p class="src"><span class="keyword">data</span> <a href="Darcs-Witnesses-Sealed.html#t:Sealed" target="main">Sealed</a> a</p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Sealed.html#v:seal" target="main">seal</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Sealed.html#v:unseal" target="main">unseal</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Sealed.html#v:mapSeal" target="main">mapSeal</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Sealed.html#v:unsafeUnseal" target="main">unsafeUnseal</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Sealed.html#v:unsafeUnsealFlipped" target="main">unsafeUnsealFlipped</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Sealed.html#v:unsafeUnseal2" target="main">unsafeUnseal2</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Darcs-Witnesses-Sealed.html#t:Sealed2" target="main">Sealed2</a> a</p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Sealed.html#v:seal2" target="main">seal2</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Sealed.html#v:unseal2" target="main">unseal2</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Sealed.html#v:mapSeal2" target="main">mapSeal2</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Darcs-Witnesses-Sealed.html#t:FlippedSeal" target="main">FlippedSeal</a> a y</p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Sealed.html#v:flipSeal" target="main">flipSeal</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Sealed.html#v:unsealFlipped" target="main">unsealFlipped</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Sealed.html#v:mapFlipped" target="main">mapFlipped</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Sealed.html#v:unsealM" target="main">unsealM</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Sealed.html#v:liftSM" target="main">liftSM</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Darcs-Witnesses-Sealed.html#t:Gap" target="main">Gap</a> w</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Darcs-Witnesses-Sealed.html#t:FreeLeft" target="main">FreeLeft</a> p</p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Sealed.html#v:unFreeLeft" target="main">unFreeLeft</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Darcs-Witnesses-Sealed.html#t:FreeRight" target="main">FreeRight</a> p</p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Sealed.html#v:unFreeRight" target="main">unFreeRight</a></p></div></div></body></html>
