/usr/share/doc/libghc-maths-doc/html/Math-QuantumAlgebra-Tangle.html is in libghc-maths-doc 0.4.8-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 | <!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>Math.QuantumAlgebra.Tangle</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Math-QuantumAlgebra-Tangle.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Math-QuantumAlgebra-Tangle.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">HaskellForMaths-0.4.8: Combinatorics, group theory, commutative algebra, non-commutative algebra</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Math.QuantumAlgebra.Tangle</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#section.orphans">Orphan instances</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>A module defining the category of tangles, and representations into the category of vector spaces
(specifically, knot invariants).</p></div></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Tangle" class="def">Tangle</a> <a href="src/Math-QuantumAlgebra-Tangle.html#Tangle" class="link">Source</a> <a href="#t:Tangle" class="selflink">#</a></p><div class="subs instances"><p id="control.i:Tangle" class="caption collapser" onclick="toggleSection('i:Tangle')">Instances</p><div id="section.i:Tangle" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Tangle:Monoidal:1" class="instance expander" onclick="toggleSection('i:id:Tangle:Monoidal:1')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Monoidal">Monoidal</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a></span> <a href="src/Math-QuantumAlgebra-Tangle.html#line-76" class="link">Source</a> <a href="#t:Tangle" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Tangle:Monoidal:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:tunit">tunit</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#tunit" class="link">Source</a> <a href="#v:tunit" class="selflink">#</a></p><p class="src"><a href="#v:tob">tob</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#tob" class="link">Source</a> <a href="#v:tob" class="selflink">#</a></p><p class="src"><a href="#v:tar">tar</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#tar" class="link">Source</a> <a href="#v:tar" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Tangle:MCategory:2" class="instance expander" onclick="toggleSection('i:id:Tangle:MCategory:2')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:MCategory">MCategory</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a></span> <a href="src/Math-QuantumAlgebra-Tangle.html#line-42" class="link">Source</a> <a href="#t:Tangle" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Tangle:MCategory:2" class="inst-details hide"><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">data</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#Ob" class="link">Source</a> <a href="#t:Ob" class="selflink">#</a></p><p class="src"><span class="keyword">data</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#Ar" class="link">Source</a> <a href="#t:Ar" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:id_">id_</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#id_" class="link">Source</a> <a href="#v:id_" class="selflink">#</a></p><p class="src"><a href="#v:source">source</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#source" class="link">Source</a> <a href="#v:source" class="selflink">#</a></p><p class="src"><a href="#v:target">target</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#target" class="link">Source</a> <a href="#v:target" class="selflink">#</a></p><p class="src"><a href="#v:-62--62--62-">(>>>)</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#%3E%3E%3E" class="link">Source</a> <a href="#v:-62--62--62-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Tangle:Eq:3" class="instance expander" onclick="toggleSection('i:id:Tangle:Eq:3')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a>)</span> <a href="src/Math-QuantumAlgebra-Tangle.html#line-43" class="link">Source</a> <a href="#t:Tangle" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Tangle:Eq:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-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="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-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:id:Tangle:Eq:4" class="instance expander" onclick="toggleSection('i:id:Tangle:Eq:4')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a>)</span> <a href="src/Math-QuantumAlgebra-Tangle.html#line-53" class="link">Source</a> <a href="#t:Tangle" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Tangle:Eq:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-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="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-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:id:Tangle:Ord:5" class="instance expander" onclick="toggleSection('i:id:Tangle:Ord:5')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a>)</span> <a href="src/Math-QuantumAlgebra-Tangle.html#line-43" class="link">Source</a> <a href="#t:Tangle" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Tangle:Ord:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:compare">compare</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="#v:compare" class="selflink">#</a></p><p class="src"><a href="#v:-60-">(<)</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(<=)</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62-">(>)</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62-" class="selflink">#</a></p><p class="src"><a href="#v:-62--61-">(>=)</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62--61-" class="selflink">#</a></p><p class="src"><a href="#v:max">max</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> <a href="#v:max" class="selflink">#</a></p><p class="src"><a href="#v:min">min</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> <a href="#v:min" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Tangle:Ord:6" class="instance expander" onclick="toggleSection('i:id:Tangle:Ord:6')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a>)</span> <a href="src/Math-QuantumAlgebra-Tangle.html#line-53" class="link">Source</a> <a href="#t:Tangle" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Tangle:Ord:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:compare">compare</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="#v:compare" class="selflink">#</a></p><p class="src"><a href="#v:-60-">(<)</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(<=)</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62-">(>)</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62-" class="selflink">#</a></p><p class="src"><a href="#v:-62--61-">(>=)</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62--61-" class="selflink">#</a></p><p class="src"><a href="#v:max">max</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> <a href="#v:max" class="selflink">#</a></p><p class="src"><a href="#v:min">min</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> <a href="#v:min" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Tangle:Show:7" class="instance expander" onclick="toggleSection('i:id:Tangle:Show:7')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:Show">Show</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a>)</span> <a href="src/Math-QuantumAlgebra-Tangle.html#line-43" class="link">Source</a> <a href="#t:Tangle" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Tangle:Show:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Tangle:Show:8" class="instance expander" onclick="toggleSection('i:id:Tangle:Show:8')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:Show">Show</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a>)</span> <a href="src/Math-QuantumAlgebra-Tangle.html#line-53" class="link">Source</a> <a href="#t:Tangle" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Tangle:Show:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Tangle:Ob:9" class="instance expander" onclick="toggleSection('i:id:Tangle:Ob:9')"></span> <span class="keyword">data</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a></span> <a href="src/Math-QuantumAlgebra-Tangle.html#line-43" class="link">Source</a> <a href="#t:Tangle" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Tangle:Ob:9" class="inst-details hide"><div class="src"><span class="keyword">data</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> = <a id="v:OT" class="def">OT</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Tangle:Ar:10" class="instance expander" onclick="toggleSection('i:id:Tangle:Ar:10')"></span> <span class="keyword">data</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a></span> <a href="src/Math-QuantumAlgebra-Tangle.html#line-44" class="link">Source</a> <a href="#t:Tangle" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Tangle:Ar:10" class="inst-details hide"><div class="src"><span class="keyword">data</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> <ul class="inst"><li class="inst">= <a id="v:IdT" class="def">IdT</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></li><li class="inst">| <a id="v:CapT" class="def">CapT</a></li><li class="inst">| <a id="v:CupT" class="def">CupT</a></li><li class="inst">| <a id="v:OverT" class="def">OverT</a></li><li class="inst">| <a id="v:UnderT" class="def">UnderT</a></li><li class="inst">| <a id="v:SeqT" class="def">SeqT</a> [<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a>]</li><li class="inst">| <a id="v:ParT" class="def">ParT</a> [<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a>]</li></ul></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Oriented" class="def">Oriented</a> <a href="src/Math-QuantumAlgebra-Tangle.html#Oriented" class="link">Source</a> <a href="#t:Oriented" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Plus" class="def">Plus</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:Minus" class="def">Minus</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Oriented" class="caption collapser" onclick="toggleSection('i:Oriented')">Instances</p><div id="section.i:Oriented" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Oriented:Eq:1" class="instance expander" onclick="toggleSection('i:id:Oriented:Eq:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Eq.html#t:Eq">Eq</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a></span> <a href="src/Math-QuantumAlgebra-Tangle.html#line-86" class="link">Source</a> <a href="#t:Oriented" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Oriented: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="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-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="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-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:id:Oriented:Ord:2" class="instance expander" onclick="toggleSection('i:id:Oriented:Ord:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a></span> <a href="src/Math-QuantumAlgebra-Tangle.html#line-86" class="link">Source</a> <a href="#t:Oriented" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Oriented:Ord:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:compare">compare</a> :: <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="#v:compare" class="selflink">#</a></p><p class="src"><a href="#v:-60-">(<)</a> :: <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(<=)</a> :: <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62-">(>)</a> :: <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62-" class="selflink">#</a></p><p class="src"><a href="#v:-62--61-">(>=)</a> :: <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62--61-" class="selflink">#</a></p><p class="src"><a href="#v:max">max</a> :: <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> <a href="#v:max" class="selflink">#</a></p><p class="src"><a href="#v:min">min</a> :: <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> <a href="#v:min" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Oriented:Show:3" class="instance expander" onclick="toggleSection('i:id:Oriented:Show:3')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:Show">Show</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a></span> <a href="src/Math-QuantumAlgebra-Tangle.html#line-86" class="link">Source</a> <a href="#t:Oriented" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Oriented:Show:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:TangleRep" class="def">TangleRep</a> b = <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) b <a href="src/Math-QuantumAlgebra-Tangle.html#TangleRep" class="link">Source</a> <a href="#t:TangleRep" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:cap" class="def">cap</a> :: [<a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a>] -> <a href="Math-QuantumAlgebra-Tangle.html#t:TangleRep">TangleRep</a> [<a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a>] <a href="src/Math-QuantumAlgebra-Tangle.html#cap" class="link">Source</a> <a href="#v:cap" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:cup" class="def">cup</a> :: [<a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a>] -> <a href="Math-QuantumAlgebra-Tangle.html#t:TangleRep">TangleRep</a> [<a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a>] <a href="src/Math-QuantumAlgebra-Tangle.html#cup" class="link">Source</a> <a href="#v:cup" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:over" class="def">over</a> :: [<a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a>] -> <a href="Math-QuantumAlgebra-Tangle.html#t:TangleRep">TangleRep</a> [<a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a>] <a href="src/Math-QuantumAlgebra-Tangle.html#over" class="link">Source</a> <a href="#v:over" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:under" class="def">under</a> :: [<a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a>] -> <a href="Math-QuantumAlgebra-Tangle.html#t:TangleRep">TangleRep</a> [<a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a>] <a href="src/Math-QuantumAlgebra-Tangle.html#under" class="link">Source</a> <a href="#v:under" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:loop" class="def">loop</a> :: <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) [<a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a>] <a href="src/Math-QuantumAlgebra-Tangle.html#loop" class="link">Source</a> <a href="#v:loop" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:trefoil" class="def">trefoil</a> :: <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) [<a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a>] <a href="src/Math-QuantumAlgebra-Tangle.html#trefoil" class="link">Source</a> <a href="#v:trefoil" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:kauffman" class="def">kauffman</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> -> <a href="Math-QuantumAlgebra-Tangle.html#t:TangleRep">TangleRep</a> [<a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a>] -> <a href="Math-QuantumAlgebra-Tangle.html#t:TangleRep">TangleRep</a> [<a href="Math-QuantumAlgebra-Tangle.html#t:Oriented">Oriented</a>] <a href="src/Math-QuantumAlgebra-Tangle.html#kauffman" class="link">Source</a> <a href="#v:kauffman" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:loopT" class="def">loopT</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> <a href="src/Math-QuantumAlgebra-Tangle.html#loopT" class="link">Source</a> <a href="#v:loopT" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:trefoilT" class="def">trefoilT</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-Tangle.html#t:Tangle">Tangle</a> <a href="src/Math-QuantumAlgebra-Tangle.html#trefoilT" class="link">Source</a> <a href="#v:trefoilT" class="selflink">#</a></p></div><h1>Orphan instances</h1><div id="section.orphans" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:o:ic:Algebra:Algebra:1" class="instance expander" onclick="toggleSection('i:o:ic:Algebra:Algebra:1')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Eq.html#t:Eq">Eq</a> k, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> k, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a) => <a href="Math-Algebras-Structures.html#t:Algebra">Algebra</a> k [a]</span> <a href="src/Math-QuantumAlgebra-Tangle.html#line-29" class="link">Source</a> <a href="#v:-36-fAlgebrak-91--93-" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Algebra:Algebra:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unit">unit</a> :: k -> <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> k [a] <a href="src/Math-Algebras-Structures.html#unit" class="link">Source</a> <a href="#v:unit" class="selflink">#</a></p><p class="src"><a href="#v:mult">mult</a> :: <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> k (<a href="Math-Algebras-TensorProduct.html#t:Tensor">Tensor</a> [a] [a]) -> <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> k [a] <a href="src/Math-Algebras-Structures.html#mult" class="link">Source</a> <a href="#v:mult" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:o:ic:Mon:Mon:2" class="instance expander" onclick="toggleSection('i:o:ic:Mon:Mon:2')"></span> <a href="Math-Algebras-Structures.html#t:Mon">Mon</a> [a]</span> <a href="src/Math-QuantumAlgebra-Tangle.html#line-23" class="link">Source</a> <a href="#v:-36-fMon-91--93-" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Mon:Mon:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:munit">munit</a> :: [a] <a href="src/Math-Algebras-Structures.html#munit" class="link">Source</a> <a href="#v:munit" class="selflink">#</a></p><p class="src"><a href="#v:mmult">mmult</a> :: [a] -> [a] -> [a] <a href="src/Math-Algebras-Structures.html#mmult" class="link">Source</a> <a href="#v:mmult" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.2</p></div></body></html>
|