<html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title >TypeFamilies2</title ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" >// window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies2.html");}; // </script ></head ><body ><div id="package-header" ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a ></li ><li ><a href="#" >Index</a ></li ></ul ><p class="caption empty" ></p ></div ><div id="content" ><div id="module-header" ><table class="info" ><tr ><th >Safe Haskell</th ><td >Safe</td ></tr ></table ><p class="caption" >TypeFamilies2</p ></div ><div id="synopsis" ><p id="control.syn" class="caption expander" onclick="toggleSection('syn')" >Synopsis</p ><ul id="section.syn" class="hide" onclick="toggleSection('syn')" ><li class="src short" ><span class="keyword" >data</span > <a href="#" >W</a ></li ><li class="src short" ><span class="keyword" >type family</span > <a href="#" >Foo</a > a</li ><li class="src short" ><span class="keyword" >data family</span > <a href="#" >Bar</a > a</li ></ul ></div ><div id="interface" ><h1 >Documentation</h1 ><div class="top" ><p class="src" ><span class="keyword" >data</span > <a id="t:W" class="def" >W</a > <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >Exported type</p ></div ><div class="subs instances" ><p id="control.i:W" class="caption collapser" onclick="toggleSection('i:W')" >Instances</p ><div id="section.i:W" class="show" ><table ><tr ><td class="src clearfix" ><span class="inst-left" ><span id="control.i:id:W:Bar:1" class="instance expander" onclick="toggleSection('i:id:W:Bar:1')" ></span > <span class="keyword" >data</span > <a href="#" >Bar</a > <a href="#" >W</a ></span > <a href="#" class="selflink" >#</a ></td ><td class="doc" ><p >Shown because BarX is still exported despite Z being hidden</p ></td ></tr ><tr ><td colspan="2" ><div id="section.i:id:W:Bar:1" class="inst-details hide" ><div class="src" ><span class="keyword" >data</span > <a href="#" >Bar</a > <a href="#" >W</a > = <a id="v:BarX" class="def" >BarX</a > Z</div ></div ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span id="control.i:id:W:Foo:2" class="instance expander" onclick="toggleSection('i:id:W:Foo:2')" ></span > <span class="keyword" >type</span > <a href="#" >Foo</a > <a href="#" >W</a ></span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" ></td ></tr ><tr ><td colspan="2" ><div id="section.i:id:W:Foo:2" class="inst-details hide" ><div class="src" ><span class="keyword" >type</span > <a href="#" >Foo</a > <a href="#" >W</a ></div ></div ></td ></tr ></table ></div ></div ></div ><div class="top" ><p class="src" ><span class="keyword" >type family</span > <a id="t:Foo" class="def" >Foo</a > a <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >Exported type family</p ></div ><div class="subs instances" ><p id="control.i:Foo" class="caption collapser" onclick="toggleSection('i:Foo')" >Instances</p ><div id="section.i:Foo" class="show" ><table ><tr ><td class="src clearfix" ><span class="inst-left" ><span id="control.i:if:Foo:Foo:1" class="instance expander" onclick="toggleSection('i:if:Foo:Foo:1')" ></span > <span class="keyword" >type</span > <a href="#" >Foo</a > <a href="#" >W</a ></span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" ></td ></tr ><tr ><td colspan="2" ><div id="section.i:if:Foo:Foo:1" class="inst-details hide" ><div class="src" ><span class="keyword" >type</span > <a href="#" >Foo</a > <a href="#" >W</a ></div ></div ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span id="control.i:if:Foo:Foo:2" class="instance expander" onclick="toggleSection('i:if:Foo:Foo:2')" ></span > <span class="keyword" >type</span > <a href="#" >Foo</a > <a href="#" >X</a ></span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" ></td ></tr ><tr ><td colspan="2" ><div id="section.i:if:Foo:Foo:2" class="inst-details hide" ><div class="src" ><span class="keyword" >type</span > <a href="#" >Foo</a > <a href="#" >X</a > = <a href="#" >Y</a ></div ></div ></td ></tr ></table ></div ></div ></div ><div class="top" ><p class="src" ><span class="keyword" >data family</span > <a id="t:Bar" class="def" >Bar</a > a <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >Exported data family</p ></div ><div class="subs instances" ><p id="control.i:Bar" class="caption collapser" onclick="toggleSection('i:Bar')" >Instances</p ><div id="section.i:Bar" class="show" ><table ><tr ><td class="src clearfix" ><span class="inst-left" ><span id="control.i:if:Bar:Bar:1" class="instance expander" onclick="toggleSection('i:if:Bar:Bar:1')" ></span > <span class="keyword" >data</span > <a href="#" >Bar</a > <a href="#" >W</a ></span > <a href="#" class="selflink" >#</a ></td ><td class="doc" ><p >Shown because BarX is still exported despite Z being hidden</p ></td ></tr ><tr ><td colspan="2" ><div id="section.i:if:Bar:Bar:1" class="inst-details hide" ><div class="src" ><span class="keyword" >data</span > <a href="#" >Bar</a > <a href="#" >W</a > = <a id="v:BarX" class="def" >BarX</a > Z</div ></div ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span id="control.i:if:Bar:Bar:2" class="instance expander" onclick="toggleSection('i:if:Bar:Bar:2')" ></span > <span class="keyword" >data</span > <a href="#" >Bar</a > <a href="#" >Y</a ></span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" ></td ></tr ><tr ><td colspan="2" ><div id="section.i:if:Bar:Bar:2" class="inst-details hide" ><div class="src" ><span class="keyword" >data</span > <a href="#" >Bar</a > <a href="#" >Y</a ></div ></div ></td ></tr ></table ></div ></div ></div ></div ></div ><div id="footer" ></div ></body ></html >