-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathEta-Classes-Eq.html
8 lines (8 loc) · 63.6 KB
/
Eta-Classes-Eq.html
1
2
3
4
5
6
7
8
<!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>Eta.Classes.Eq</title><link href="ocean.css" 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">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Eta-Classes-Eq.html");};
//]]>
</script></head><body class="no-frame"><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 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">Eta.Classes.Eq</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>The <code><a href="Eta-Classes-Eq.html#t:Eq">Eq</a></code> class defines equality and inequality</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>1 == 1
</code></strong>True
<code class="prompt">>>> </code><strong class="userinput"><code>1 /= 1
</code></strong>False
</pre></div></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Eq" class="def">Eq</a> a <span class="keyword">where</span> <a href="#t:Eq" class="selflink">#</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Eta-Classes-Eq.html#v:-61--61-">(==)</a> | <a href="Eta-Classes-Eq.html#v:-47--61-">(/=)</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:-61--61-" class="def">(==)</a> :: a -> a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a id="v:-47--61-" class="def">(/=)</a> :: a -> a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div><div class="subs instances"><p id="control.i:Eq" class="caption collapser" onclick="toggleSection('i:Eq')">Instances</p><div id="section.i:Eq" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:1" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:1')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> <a href="Eta-Types-Bool.html#t:Bool">Bool</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Eta-Types-Bool.html#t:Bool">Bool</a> -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Eta-Types-Bool.html#t:Bool">Bool</a> -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:2" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:2')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> <a href="Eta-Types-Char.html#t:Char">Char</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Eta-Types-Char.html#t:Char">Char</a> -> <a href="Eta-Types-Char.html#t:Char">Char</a> -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Eta-Types-Char.html#t:Char">Char</a> -> <a href="Eta-Types-Char.html#t:Char">Char</a> -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:3" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:3')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> Double</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: Double -> Double -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: Double -> Double -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:4" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:4')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> Float</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: Float -> Float -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: Float -> Float -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:5" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:5')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> <a href="Eta-Types.html#t:Int">Int</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Eta-Types.html#t:Int">Int</a> -> <a href="Eta-Types.html#t:Int">Int</a> -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Eta-Types.html#t:Int">Int</a> -> <a href="Eta-Types.html#t:Int">Int</a> -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:6" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:6')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> <a href="Eta-Types.html#t:Int8">Int8</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Eta-Types.html#t:Int8">Int8</a> -> <a href="Eta-Types.html#t:Int8">Int8</a> -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Eta-Types.html#t:Int8">Int8</a> -> <a href="Eta-Types.html#t:Int8">Int8</a> -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:7" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:7')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> <a href="Eta-Types.html#t:Int16">Int16</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Eta-Types.html#t:Int16">Int16</a> -> <a href="Eta-Types.html#t:Int16">Int16</a> -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Eta-Types.html#t:Int16">Int16</a> -> <a href="Eta-Types.html#t:Int16">Int16</a> -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:8" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:8')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> <a href="Eta-Types.html#t:Int32">Int32</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Eta-Types.html#t:Int32">Int32</a> -> <a href="Eta-Types.html#t:Int32">Int32</a> -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Eta-Types.html#t:Int32">Int32</a> -> <a href="Eta-Types.html#t:Int32">Int32</a> -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:9" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:9')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> <a href="Eta-Types.html#t:Int64">Int64</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Eta-Types.html#t:Int64">Int64</a> -> <a href="Eta-Types.html#t:Int64">Int64</a> -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Eta-Types.html#t:Int64">Int64</a> -> <a href="Eta-Types.html#t:Int64">Int64</a> -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:10" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:10')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> Integer</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: Integer -> Integer -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: Integer -> Integer -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:11" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:11')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> <a href="Eta-Classes-Ord.html#t:Ordering">Ordering</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Eta-Classes-Ord.html#t:Ordering">Ordering</a> -> <a href="Eta-Classes-Ord.html#t:Ordering">Ordering</a> -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Eta-Classes-Ord.html#t:Ordering">Ordering</a> -> <a href="Eta-Classes-Ord.html#t:Ordering">Ordering</a> -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:12" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:12')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> Word</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:12" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: Word -> Word -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: Word -> Word -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:13" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:13')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> ()</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:13" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: () -> () -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: () -> () -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:14" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:14')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> TyCon</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:14" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: TyCon -> TyCon -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: TyCon -> TyCon -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:15" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:15')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> SrcLoc</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:15" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: SrcLoc -> SrcLoc -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: SrcLoc -> SrcLoc -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:16" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:16')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> GeneralCategory</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:16" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: GeneralCategory -> GeneralCategory -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: GeneralCategory -> GeneralCategory -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:17" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:17')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> BigNat</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:17" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: BigNat -> BigNat -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: BigNat -> BigNat -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:18" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:18')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> Any</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:18" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: Any -> Any -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: Any -> Any -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:19" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:19')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> All</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:19" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: All -> All -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: All -> All -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:20" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:20')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> SourceUnpackedness</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:20" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: SourceUnpackedness -> SourceUnpackedness -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: SourceUnpackedness -> SourceUnpackedness -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:21" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:21')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> SourceStrictness</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:21" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: SourceStrictness -> SourceStrictness -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: SourceStrictness -> SourceStrictness -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:22" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:22')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> Fixity</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:22" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: Fixity -> Fixity -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: Fixity -> Fixity -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:23" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:23')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> DecidedStrictness</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:23" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: DecidedStrictness -> DecidedStrictness -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: DecidedStrictness -> DecidedStrictness -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:24" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:24')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> Associativity</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:24" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: Associativity -> Associativity -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: Associativity -> Associativity -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:25" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:25')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> [a]</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:25" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: [a] -> [a] -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: [a] -> [a] -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:26" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:26')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (<a href="Eta-Types-Maybe.html#t:Maybe">Maybe</a> a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:26" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Eta-Types-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Types-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Eta-Types-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Types-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:27" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:27')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (Ratio a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:27" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: Ratio a -> Ratio a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: Ratio a -> Ratio a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:28" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:28')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (Ptr a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:28" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: Ptr a -> Ptr a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: Ptr a -> Ptr a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:29" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:29')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (FunPtr a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:29" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: FunPtr a -> FunPtr a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: FunPtr a -> FunPtr a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:30" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:30')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (V1 p)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:30" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: V1 p -> V1 p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: V1 p -> V1 p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:31" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:31')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (U1 p)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:31" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: U1 p -> U1 p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: U1 p -> U1 p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:32" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:32')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> p => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (Par1 p)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:32" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: Par1 p -> Par1 p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: Par1 p -> Par1 p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:33" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:33')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (Sum a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:33" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: Sum a -> Sum a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: Sum a -> Sum a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:34" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:34')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (Product a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:34" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: Product a -> Product a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: Product a -> Product a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:35" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:35')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (Last a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:35" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: Last a -> Last a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: Last a -> Last a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:36" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:36')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (First a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:36" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: First a -> First a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: First a -> First a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:37" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:37')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (Dual a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:37" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: Dual a -> Dual a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: Dual a -> Dual a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:38" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:38')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (ZipList a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:38" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: ZipList a -> ZipList a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: ZipList a -> ZipList a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:39" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:39')"></span> (<a href="Eta-Classes-Eq.html#t:Eq">Eq</a> b, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (<a href="Eta-Types-Either.html#t:Either">Either</a> a b)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:39" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Eta-Types-Either.html#t:Either">Either</a> a b -> <a href="Eta-Types-Either.html#t:Either">Either</a> a b -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Eta-Types-Either.html#t:Either">Either</a> a b -> <a href="Eta-Types-Either.html#t:Either">Either</a> a b -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:40" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:40')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (f p) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (Rec1 f p)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:40" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: Rec1 f p -> Rec1 f p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: Rec1 f p -> Rec1 f p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:41" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:41')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (URec <a href="Eta-Types-Char.html#t:Char">Char</a> p)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:41" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: URec <a href="Eta-Types-Char.html#t:Char">Char</a> p -> URec <a href="Eta-Types-Char.html#t:Char">Char</a> p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: URec <a href="Eta-Types-Char.html#t:Char">Char</a> p -> URec <a href="Eta-Types-Char.html#t:Char">Char</a> p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:42" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:42')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (URec Double p)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:42" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: URec Double p -> URec Double p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: URec Double p -> URec Double p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:43" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:43')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (URec Float p)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:43" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: URec Float p -> URec Float p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: URec Float p -> URec Float p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:44" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:44')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (URec <a href="Eta-Types.html#t:Int">Int</a> p)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:44" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: URec <a href="Eta-Types.html#t:Int">Int</a> p -> URec <a href="Eta-Types.html#t:Int">Int</a> p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: URec <a href="Eta-Types.html#t:Int">Int</a> p -> URec <a href="Eta-Types.html#t:Int">Int</a> p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:45" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:45')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (URec Word p)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:45" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: URec Word p -> URec Word p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: URec Word p -> URec Word p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:46" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:46')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (URec (Ptr ()) p)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:46" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: URec (Ptr ()) p -> URec (Ptr ()) p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: URec (Ptr ()) p -> URec (Ptr ()) p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:47" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:47')"></span> (<a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> b) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (a, b)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:47" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: (a, b) -> (a, b) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: (a, b) -> (a, b) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:48" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:48')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (Proxy k s)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:48" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: Proxy k s -> Proxy k s -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: Proxy k s -> Proxy k s -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:49" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:49')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> c => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (K1 i c p)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:49" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: K1 i c p -> K1 i c p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: K1 i c p -> K1 i c p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:50" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:50')"></span> (<a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (g p), <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (f p)) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> ((:+:) f g p)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:50" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: (f :+: g) p -> (f :+: g) p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: (f :+: g) p -> (f :+: g) p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:51" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:51')"></span> (<a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (g p), <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (f p)) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> ((:*:) f g p)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:51" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: (f :*: g) p -> (f :*: g) p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: (f :*: g) p -> (f :*: g) p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:52" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:52')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (f (g p)) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> ((:.:) f g p)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:52" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: (f :.: g) p -> (f :.: g) p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: (f :.: g) p -> (f :.: g) p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:53" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:53')"></span> (<a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> b, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> c) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (a, b, c)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:53" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: (a, b, c) -> (a, b, c) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: (a, b, c) -> (a, b, c) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:54" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:54')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (f a) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (Alt k f a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:54" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: Alt k f a -> Alt k f a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: Alt k f a -> Alt k f a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:55" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:55')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> ((:~:) k a b)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:55" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: (k :~: a) b -> (k :~: a) b -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: (k :~: a) b -> (k :~: a) b -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:56" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:56')"></span> <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (f p) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (M1 i c f p)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:56" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: M1 i c f p -> M1 i c f p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: M1 i c f p -> M1 i c f p -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:57" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:57')"></span> (<a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> b, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> c, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> d) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (a, b, c, d)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:57" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: (a, b, c, d) -> (a, b, c, d) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: (a, b, c, d) -> (a, b, c, d) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:58" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:58')"></span> (<a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> b, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> c, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> d, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> e) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (a, b, c, d, e)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:58" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: (a, b, c, d, e) -> (a, b, c, d, e) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: (a, b, c, d, e) -> (a, b, c, d, e) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:59" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:59')"></span> (<a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> b, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> c, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> d, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> e, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> f) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (a, b, c, d, e, f)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:59" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:60" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:60')"></span> (<a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> b, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> c, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> d, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> e, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> f, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> g) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (a, b, c, d, e, f, g)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:60" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:61" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:61')"></span> (<a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> b, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> c, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> d, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> e, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> f, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> g, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> h) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (a, b, c, d, e, f, g, h)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:61" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:62" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:62')"></span> (<a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> b, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> c, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> d, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> e, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> f, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> g, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> h, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> i) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (a, b, c, d, e, f, g, h, i)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:62" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:63" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:63')"></span> (<a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> b, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> c, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> d, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> e, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> f, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> g, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> h, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> i, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> j) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (a, b, c, d, e, f, g, h, i, j)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:63" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:64" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:64')"></span> (<a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> b, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> c, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> d, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> e, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> f, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> g, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> h, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> i, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> j, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> k) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (a, b, c, d, e, f, g, h, i, j, k)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:64" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:65" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:65')"></span> (<a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> b, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> c, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> d, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> e, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> f, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> g, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> h, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> i, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> j, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> k, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> l) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (a, b, c, d, e, f, g, h, i, j, k, l)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:65" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:66" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:66')"></span> (<a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> b, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> c, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> d, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> e, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> f, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> g, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> h, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> i, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> j, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> k, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> l, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> m) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (a, b, c, d, e, f, g, h, i, j, k, l, m)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:66" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:67" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:67')"></span> (<a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> b, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> c, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> d, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> e, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> f, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> g, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> h, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> i, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> j, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> k, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> l, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> m, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> n) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (a, b, c, d, e, f, g, h, i, j, k, l, m, n)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:67" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Eq:Eq:68" class="instance expander" onclick="toggleSection('i:ic:Eq:Eq:68')"></span> (<a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> b, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> c, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> d, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> e, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> f, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> g, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> h, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> i, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> j, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> k, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> l, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> m, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> n, <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> o) => <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Eq:Eq:68" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:-61--61-" class="def">(==)</a> :: <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a => a -> a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:-47--61-" class="def">(/=)</a> :: <a href="Eta-Classes-Eq.html#t:Eq">Eq</a> a => a -> a -> <a href="Eta-Types-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.4</p></div></body></html>