/
mini_Control-Lens-Iso.html
9 lines (9 loc) · 2.57 KB
/
mini_Control-Lens-Iso.html
1
2
3
4
5
6
7
8
9
<!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>Control.Lens.Iso</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">Control.Lens.Iso</p></div><div id="interface"><h1>Isomorphism Lenses
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="Control-Lens-Iso.html#t:Iso" target="main">Iso</a> a b c d</p></div><div class="top"><p class="src"><a href="Control-Lens-Iso.html#v:iso" target="main">iso</a></p></div><div class="top"><p class="src"><a href="Control-Lens-Iso.html#v:isos" target="main">isos</a></p></div><div class="top"><p class="src"><a href="Control-Lens-Iso.html#v:au" target="main">au</a></p></div><div class="top"><p class="src"><a href="Control-Lens-Iso.html#v:auf" target="main">auf</a></p></div><div class="top"><p class="src"><a href="Control-Lens-Iso.html#v:under" target="main">under</a></p></div><h1>Primitive isomorphisms
</h1><div class="top"><p class="src"><a href="Control-Lens-Iso.html#v:from" target="main">from</a></p></div><div class="top"><p class="src"><a href="Control-Lens-Iso.html#v:via" target="main">via</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Control-Lens-Iso.html#t:Isomorphism" target="main">Isomorphism</a> a b</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Control-Lens-Iso.html#t:Isomorphic" target="main">Isomorphic</a> k</p></div><h2>Common Isomorphisms
</h2><div class="top"><p class="src"><a href="Control-Lens-Iso.html#v:_const" target="main">_const</a></p></div><div class="top"><p class="src"><a href="Control-Lens-Iso.html#v:identity" target="main">identity</a></p></div><h1>Storing Isomorphisms
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Control-Lens-Iso.html#t:ReifiedIso" target="main">ReifiedIso</a> a b c d</p></div><h1>Simplicity
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="Control-Lens-Iso.html#t:SimpleIso" target="main">SimpleIso</a> a b</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Control-Lens-Iso.html#t:SimpleReifiedIso" target="main">SimpleReifiedIso</a> a b</p></div></div></body></html>