forked from qfpl/hpython
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathData-Type-Set.html
More file actions
1 lines (1 loc) · 4.61 KB
/
Data-Type-Set.html
File metadata and controls
1 lines (1 loc) · 4.61 KB
1
<!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>Data.Type.Set</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">hpython-0.1.0.1: Python language tools</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(C) CSIRO 2017-2019</td></tr><tr><th>License</th><td>BSD3</td></tr><tr><th>Maintainer</th><td>Isaac Elliott <[email protected]></td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Portability</th><td>non-portable</td></tr><tr><th>Safe Haskell</th><td>Safe</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Data.Type.Set</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>This module defines some helpful set-like functions for working with type-level lists.</p></div></div><div id="synopsis"><details id="syn"><summary>Synopsis</summary><ul class="details-toggle" data-details-id="syn"><li class="src short"><span class="keyword">type family</span> <a href="#t:Nub">Nub</a> t <span class="keyword">where ...</span></li><li class="src short"><span class="keyword">class</span> <a href="#t:Member">Member</a> a s</li></ul></details></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">type family</span> <a id="t:Nub" class="def">Nub</a> t <span class="keyword">where ...</span> <a href="#t:Nub" class="selflink">#</a></p><div class="doc"><p>Remove adjacent equal elements from a type-level list</p></div><div class="subs equations"><p class="caption">Equations</p><table><tr><td class="src"><a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> '[] = '[]</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> '[e] = '[e]</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (e ': (e ': s)) = <a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (e ': s)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (e ': (f ': s)) = e ': <a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (f ': s)</td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Member" class="def">Member</a> a s <a href="#t:Member" class="selflink">#</a></p><div class="doc"><p>Determine whether type <code>a</code> is a member of type-level list <code>s</code></p></div><div class="subs instances"><details id="i:Member" open="open"><summary>Instances</summary><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Member:Member:1"></span> <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> a2 s => <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> (a2 :: k) (b ': s :: [a1])</span> <a href="#t:Member" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Member:Member:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Type-Set.html">Data.Type.Set</a></p></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Member:Member:2"></span> <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> (a2 :: a1) (a2 ': s :: [a1])</span> <a href="#t:Member" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Member:Member:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Type-Set.html">Data.Type.Set</a></p></details></td></tr></table></details></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.20.0</p></div></body></html>