/usr/share/doc/libghc-maths-doc/html/Math-QuantumAlgebra-TensorCategory.html is in libghc-maths-doc 0.4.8-4build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 | <!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.TensorCategory</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-TensorCategory.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Math-QuantumAlgebra-TensorCategory.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>Safe</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Math.QuantumAlgebra.TensorCategory</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>A module defining classes and example instances of categories, monoidal categories and braided categories</p></div></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:MCategory" class="def">MCategory</a> c <span class="keyword">where</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#MCategory" class="link">Source</a> <a href="#t:MCategory" class="selflink">#</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Math-QuantumAlgebra-TensorCategory.html#v:id_">id_</a>, <a href="Math-QuantumAlgebra-TensorCategory.html#v:source">source</a>, <a href="Math-QuantumAlgebra-TensorCategory.html#v:target">target</a>, <a href="Math-QuantumAlgebra-TensorCategory.html#v:-62--62--62-">(>>>)</a></p></div><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">data</span> <a id="t:Ob" class="def">Ob</a> c :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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 id="t:Ar" class="def">Ar</a> c :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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 id="v:id_" class="def">id_</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> c -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> c <a href="src/Math-QuantumAlgebra-TensorCategory.html#id_" class="link">Source</a> <a href="#v:id_" class="selflink">#</a></p><p class="src"><a id="v:source" class="def">source</a>, <a id="v:target" class="def">target</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> c -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> c <a href="src/Math-QuantumAlgebra-TensorCategory.html#source" class="link">Source</a> <a href="#v:source" class="selflink">#</a></p><p class="src"><a id="v:-62--62--62-" class="def">(>>>)</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> c -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> c -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> c <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 class="subs instances"><p id="control.i:MCategory" class="caption collapser" onclick="toggleSection('i:MCategory')">Instances</p><div id="section.i:MCategory" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:MCategory:MCategory:1" class="instance expander" onclick="toggleSection('i:ic:MCategory:MCategory:1')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:MCategory">MCategory</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-182" class="link">Source</a> <a href="#t:MCategory" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:MCategory:MCategory:1" 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-TensorCategory.html#t:Cob2">Cob2</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</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:ic:MCategory:MCategory:2" class="instance expander" onclick="toggleSection('i:ic:MCategory:MCategory:2')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:MCategory">MCategory</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-130" class="link">Source</a> <a href="#t:MCategory" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:MCategory: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-TensorCategory.html#t:Braid">Braid</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</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:ic:MCategory:MCategory:3" class="instance expander" onclick="toggleSection('i:ic:MCategory:MCategory:3')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:MCategory">MCategory</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-93" class="link">Source</a> <a href="#t:MCategory" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:MCategory:MCategory:3" 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-TensorCategory.html#t:FinCard">FinCard</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</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:ic:MCategory:MCategory:4" class="instance expander" onclick="toggleSection('i:ic:MCategory:MCategory:4')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:MCategory">MCategory</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-66" class="link">Source</a> <a href="#t:MCategory" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:MCategory:MCategory:4" 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-TensorCategory.html#t:FinOrd">FinOrd</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</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:ic:MCategory:MCategory:5" class="instance expander" onclick="toggleSection('i:ic:MCategory:MCategory:5')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:MCategory">MCategory</a> <a href="Math-QuantumAlgebra-OrientedTangle.html#t:OrientedTangle">OrientedTangle</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-31" class="link">Source</a> <a href="#t:MCategory" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:MCategory:MCategory:5" 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-OrientedTangle.html#t:OrientedTangle">OrientedTangle</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-OrientedTangle.html#t:OrientedTangle">OrientedTangle</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-OrientedTangle.html#t:OrientedTangle">OrientedTangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-OrientedTangle.html#t:OrientedTangle">OrientedTangle</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-OrientedTangle.html#t:OrientedTangle">OrientedTangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-OrientedTangle.html#t:OrientedTangle">OrientedTangle</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-OrientedTangle.html#t:OrientedTangle">OrientedTangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-OrientedTangle.html#t:OrientedTangle">OrientedTangle</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-OrientedTangle.html#t:OrientedTangle">OrientedTangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-OrientedTangle.html#t:OrientedTangle">OrientedTangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-OrientedTangle.html#t:OrientedTangle">OrientedTangle</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:ic:MCategory:MCategory:6" class="instance expander" onclick="toggleSection('i:ic:MCategory:MCategory:6')"></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-TensorCategory.html#line-42" class="link">Source</a> <a href="#t:MCategory" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:MCategory:MCategory:6" 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.1.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.1.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:ic:MCategory:MCategory:7" class="instance expander" onclick="toggleSection('i:ic:MCategory:MCategory:7')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> k => <a href="Math-QuantumAlgebra-TensorCategory.html#t:MCategory">MCategory</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-166" class="link">Source</a> <a href="#t:MCategory" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:MCategory:MCategory:7" 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-TensorCategory.html#t:Vect">Vect</a> k) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) <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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) <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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) <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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) <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></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:MCategory">MCategory</a> a, <a href="Math-QuantumAlgebra-TensorCategory.html#t:MCategory">MCategory</a> b) => <a id="t:MFunctor" class="def">MFunctor</a> a b <span class="keyword">where</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#MFunctor" class="link">Source</a> <a href="#t:MFunctor" class="selflink">#</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Math-QuantumAlgebra-TensorCategory.html#v:fob">fob</a>, <a href="Math-QuantumAlgebra-TensorCategory.html#v:far">far</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:fob" class="def">fob</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> a -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> b <a href="src/Math-QuantumAlgebra-TensorCategory.html#fob" class="link">Source</a> <a href="#v:fob" class="selflink">#</a></p><p class="src"><a id="v:far" class="def">far</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> a -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> b <a href="src/Math-QuantumAlgebra-TensorCategory.html#far" class="link">Source</a> <a href="#v:far" class="selflink">#</a></p></div><div class="subs instances"><p id="control.i:MFunctor" class="caption collapser" onclick="toggleSection('i:MFunctor')">Instances</p><div id="section.i:MFunctor" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:MFunctor:MFunctor:1" class="instance expander" onclick="toggleSection('i:ic:MFunctor:MFunctor:1')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:MFunctor">MFunctor</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-157" class="link">Source</a> <a href="#t:MFunctor" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:MFunctor:MFunctor:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fob">fob</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#fob" class="link">Source</a> <a href="#v:fob" class="selflink">#</a></p><p class="src"><a href="#v:far">far</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#far" class="link">Source</a> <a href="#v:far" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:MFunctor:MFunctor:2" class="instance expander" onclick="toggleSection('i:ic:MFunctor:MFunctor:2')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:MFunctor">MFunctor</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-121" class="link">Source</a> <a href="#t:MFunctor" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:MFunctor:MFunctor:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fob">fob</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#fob" class="link">Source</a> <a href="#v:fob" class="selflink">#</a></p><p class="src"><a href="#v:far">far</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#far" class="link">Source</a> <a href="#v:far" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:MCategory">MCategory</a> c => <a id="t:Monoidal" class="def">Monoidal</a> c <span class="keyword">where</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#Monoidal" class="link">Source</a> <a href="#t:Monoidal" class="selflink">#</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Math-QuantumAlgebra-TensorCategory.html#v:tunit">tunit</a>, <a href="Math-QuantumAlgebra-TensorCategory.html#v:tob">tob</a>, <a href="Math-QuantumAlgebra-TensorCategory.html#v:tar">tar</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:tunit" class="def">tunit</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> c <a href="src/Math-QuantumAlgebra-TensorCategory.html#tunit" class="link">Source</a> <a href="#v:tunit" class="selflink">#</a></p><p class="src"><a id="v:tob" class="def">tob</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> c -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> c -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> c <a href="src/Math-QuantumAlgebra-TensorCategory.html#tob" class="link">Source</a> <a href="#v:tob" class="selflink">#</a></p><p class="src"><a id="v:tar" class="def">tar</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> c -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> c -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> c <a href="src/Math-QuantumAlgebra-TensorCategory.html#tar" class="link">Source</a> <a href="#v:tar" class="selflink">#</a></p></div><div class="subs instances"><p id="control.i:Monoidal" class="caption collapser" onclick="toggleSection('i:Monoidal')">Instances</p><div id="section.i:Monoidal" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Monoidal:Monoidal:1" class="instance expander" onclick="toggleSection('i:ic:Monoidal:Monoidal:1')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Monoidal">Monoidal</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-209" class="link">Source</a> <a href="#t:Monoidal" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Monoidal: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-TensorCategory.html#t:Cob2">Cob2</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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</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:ic:Monoidal:Monoidal:2" class="instance expander" onclick="toggleSection('i:ic:Monoidal:Monoidal:2')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Monoidal">Monoidal</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-148" class="link">Source</a> <a href="#t:Monoidal" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Monoidal:Monoidal:2" 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-TensorCategory.html#t:Braid">Braid</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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</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:ic:Monoidal:Monoidal:3" class="instance expander" onclick="toggleSection('i:ic:Monoidal:Monoidal:3')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Monoidal">Monoidal</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-104" class="link">Source</a> <a href="#t:Monoidal" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Monoidal:Monoidal:3" 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-TensorCategory.html#t:FinCard">FinCard</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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</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:ic:Monoidal:Monoidal:4" class="instance expander" onclick="toggleSection('i:ic:Monoidal:Monoidal:4')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Monoidal">Monoidal</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-77" class="link">Source</a> <a href="#t:Monoidal" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Monoidal:Monoidal:4" 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-TensorCategory.html#t:FinOrd">FinOrd</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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</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:ic:Monoidal:Monoidal:5" class="instance expander" onclick="toggleSection('i:ic:Monoidal:Monoidal:5')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Monoidal">Monoidal</a> <a href="Math-QuantumAlgebra-OrientedTangle.html#t:OrientedTangle">OrientedTangle</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-59" class="link">Source</a> <a href="#t:Monoidal" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Monoidal:Monoidal:5" 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-OrientedTangle.html#t:OrientedTangle">OrientedTangle</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-OrientedTangle.html#t:OrientedTangle">OrientedTangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-OrientedTangle.html#t:OrientedTangle">OrientedTangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-OrientedTangle.html#t:OrientedTangle">OrientedTangle</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-OrientedTangle.html#t:OrientedTangle">OrientedTangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-OrientedTangle.html#t:OrientedTangle">OrientedTangle</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-OrientedTangle.html#t:OrientedTangle">OrientedTangle</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:ic:Monoidal:Monoidal:6" class="instance expander" onclick="toggleSection('i:ic:Monoidal:Monoidal:6')"></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-TensorCategory.html#line-76" class="link">Source</a> <a href="#t:Monoidal" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Monoidal:Monoidal:6" 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></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Monoidal">Monoidal</a> c => <a id="t:StrictMonoidal" class="def">StrictMonoidal</a> c <a href="src/Math-QuantumAlgebra-TensorCategory.html#StrictMonoidal" class="link">Source</a> <a href="#t:StrictMonoidal" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Monoidal">Monoidal</a> c => <a id="t:WeakMonoidal" class="def">WeakMonoidal</a> c <span class="keyword">where</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#WeakMonoidal" class="link">Source</a> <a href="#t:WeakMonoidal" class="selflink">#</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Math-QuantumAlgebra-TensorCategory.html#v:assoc">assoc</a>, <a href="Math-QuantumAlgebra-TensorCategory.html#v:lunit">lunit</a>, <a href="Math-QuantumAlgebra-TensorCategory.html#v:runit">runit</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:assoc" class="def">assoc</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> c -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> c -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> c -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> c <a href="src/Math-QuantumAlgebra-TensorCategory.html#assoc" class="link">Source</a> <a href="#v:assoc" class="selflink">#</a></p><p class="src"><a id="v:lunit" class="def">lunit</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> c -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> c <a href="src/Math-QuantumAlgebra-TensorCategory.html#lunit" class="link">Source</a> <a href="#v:lunit" class="selflink">#</a></p><p class="src"><a id="v:runit" class="def">runit</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> c -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> c <a href="src/Math-QuantumAlgebra-TensorCategory.html#runit" class="link">Source</a> <a href="#v:runit" class="selflink">#</a></p></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Monoidal">Monoidal</a> c => <a id="t:Braided" class="def">Braided</a> c <span class="keyword">where</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#Braided" class="link">Source</a> <a href="#t:Braided" class="selflink">#</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Math-QuantumAlgebra-TensorCategory.html#v:twist">twist</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:twist" class="def">twist</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> c -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> c -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> c <a href="src/Math-QuantumAlgebra-TensorCategory.html#twist" class="link">Source</a> <a href="#v:twist" class="selflink">#</a></p></div><div class="subs instances"><p id="control.i:Braided" class="caption collapser" onclick="toggleSection('i:Braided')">Instances</p><div id="section.i:Braided" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Braided:Braided:1" class="instance expander" onclick="toggleSection('i:ic:Braided:Braided:1')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braided">Braided</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-153" class="link">Source</a> <a href="#t:Braided" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Braided:Braided:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:twist">twist</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#twist" class="link">Source</a> <a href="#v:twist" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braided">Braided</a> c => <a id="t:Symmetric" class="def">Symmetric</a> c <a href="src/Math-QuantumAlgebra-TensorCategory.html#Symmetric" class="link">Source</a> <a href="#t:Symmetric" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:FinOrd" class="def">FinOrd</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#FinOrd" class="link">Source</a> <a href="#t:FinOrd" class="selflink">#</a></p><div class="subs instances"><p id="control.i:FinOrd" class="caption collapser" onclick="toggleSection('i:FinOrd')">Instances</p><div id="section.i:FinOrd" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FinOrd:Monoidal:1" class="instance expander" onclick="toggleSection('i:id:FinOrd:Monoidal:1')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Monoidal">Monoidal</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-77" class="link">Source</a> <a href="#t:FinOrd" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinOrd: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-TensorCategory.html#t:FinOrd">FinOrd</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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</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:FinOrd:MCategory:2" class="instance expander" onclick="toggleSection('i:id:FinOrd:MCategory:2')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:MCategory">MCategory</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-66" class="link">Source</a> <a href="#t:FinOrd" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinOrd: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-TensorCategory.html#t:FinOrd">FinOrd</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</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:FinOrd:MFunctor:3" class="instance expander" onclick="toggleSection('i:id:FinOrd:MFunctor:3')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:MFunctor">MFunctor</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-121" class="link">Source</a> <a href="#t:FinOrd" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinOrd:MFunctor:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fob">fob</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#fob" class="link">Source</a> <a href="#v:fob" class="selflink">#</a></p><p class="src"><a href="#v:far">far</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#far" class="link">Source</a> <a href="#v:far" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FinOrd:Eq:4" class="instance expander" onclick="toggleSection('i:id:FinOrd:Eq:4')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-67" class="link">Source</a> <a href="#t:FinOrd" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinOrd: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:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:FinOrd:Eq:5" class="instance expander" onclick="toggleSection('i:id:FinOrd:Eq:5')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-69" class="link">Source</a> <a href="#t:FinOrd" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinOrd: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="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:FinOrd:Ord:6" class="instance expander" onclick="toggleSection('i:id:FinOrd:Ord:6')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-67" class="link">Source</a> <a href="#t:FinOrd" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinOrd: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:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</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:FinOrd:Ord:7" class="instance expander" onclick="toggleSection('i:id:FinOrd:Ord:7')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-69" class="link">Source</a> <a href="#t:FinOrd" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinOrd:Ord:7" 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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</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:FinOrd:Show:8" class="instance expander" onclick="toggleSection('i:id:FinOrd:Show:8')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-67" class="link">Source</a> <a href="#t:FinOrd" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinOrd: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.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:FinOrd:Show:9" class="instance expander" onclick="toggleSection('i:id:FinOrd:Show:9')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-69" class="link">Source</a> <a href="#t:FinOrd" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinOrd:Show:9" 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.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinOrd">FinOrd</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:FinOrd:Ob:10" class="instance expander" onclick="toggleSection('i:id:FinOrd:Ob:10')"></span> <span class="keyword">data</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-67" class="link">Source</a> <a href="#t:FinOrd" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinOrd:Ob:10" 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-TensorCategory.html#t:FinOrd">FinOrd</a> = <a id="v:FinOrdOb" class="def">FinOrdOb</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:FinOrd:Ar:11" class="instance expander" onclick="toggleSection('i:id:FinOrd:Ar:11')"></span> <span class="keyword">data</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-69" class="link">Source</a> <a href="#t:FinOrd" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinOrd:Ar:11" 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-TensorCategory.html#t:FinOrd">FinOrd</a> = <a id="v:FinOrdAr" class="def">FinOrdAr</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>]</div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:finOrdAr" class="def">finOrdAr</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>] -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#finOrdAr" class="link">Source</a> <a href="#v:finOrdAr" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:FinCard" class="def">FinCard</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#FinCard" class="link">Source</a> <a href="#t:FinCard" class="selflink">#</a></p><div class="subs instances"><p id="control.i:FinCard" class="caption collapser" onclick="toggleSection('i:FinCard')">Instances</p><div id="section.i:FinCard" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FinCard:Monoidal:1" class="instance expander" onclick="toggleSection('i:id:FinCard:Monoidal:1')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Monoidal">Monoidal</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-104" class="link">Source</a> <a href="#t:FinCard" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinCard: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-TensorCategory.html#t:FinCard">FinCard</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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</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:FinCard:MCategory:2" class="instance expander" onclick="toggleSection('i:id:FinCard:MCategory:2')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:MCategory">MCategory</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-93" class="link">Source</a> <a href="#t:FinCard" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinCard: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-TensorCategory.html#t:FinCard">FinCard</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</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:FinCard:MFunctor:3" class="instance expander" onclick="toggleSection('i:id:FinCard:MFunctor:3')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:MFunctor">MFunctor</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-157" class="link">Source</a> <a href="#t:FinCard" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinCard:MFunctor:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fob">fob</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#fob" class="link">Source</a> <a href="#v:fob" class="selflink">#</a></p><p class="src"><a href="#v:far">far</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#far" class="link">Source</a> <a href="#v:far" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FinCard:MFunctor:4" class="instance expander" onclick="toggleSection('i:id:FinCard:MFunctor:4')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:MFunctor">MFunctor</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-121" class="link">Source</a> <a href="#t:FinCard" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinCard:MFunctor:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fob">fob</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#fob" class="link">Source</a> <a href="#v:fob" class="selflink">#</a></p><p class="src"><a href="#v:far">far</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinOrd">FinOrd</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#far" class="link">Source</a> <a href="#v:far" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FinCard:Eq:5" class="instance expander" onclick="toggleSection('i:id:FinCard:Eq:5')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-94" class="link">Source</a> <a href="#t:FinCard" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinCard: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="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:FinCard:Eq:6" class="instance expander" onclick="toggleSection('i:id:FinCard:Eq:6')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-96" class="link">Source</a> <a href="#t:FinCard" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinCard: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="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:FinCard:Ord:7" class="instance expander" onclick="toggleSection('i:id:FinCard:Ord:7')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-94" class="link">Source</a> <a href="#t:FinCard" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinCard:Ord:7" 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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</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:FinCard:Ord:8" class="instance expander" onclick="toggleSection('i:id:FinCard:Ord:8')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-96" class="link">Source</a> <a href="#t:FinCard" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinCard:Ord:8" 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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</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:FinCard:Show:9" class="instance expander" onclick="toggleSection('i:id:FinCard:Show:9')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-94" class="link">Source</a> <a href="#t:FinCard" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinCard:Show:9" 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.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:FinCard:Show:10" class="instance expander" onclick="toggleSection('i:id:FinCard:Show:10')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-96" class="link">Source</a> <a href="#t:FinCard" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinCard:Show:10" 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.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:FinCard">FinCard</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:FinCard:Ob:11" class="instance expander" onclick="toggleSection('i:id:FinCard:Ob:11')"></span> <span class="keyword">data</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-94" class="link">Source</a> <a href="#t:FinCard" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinCard:Ob:11" 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-TensorCategory.html#t:FinCard">FinCard</a> = <a id="v:FinCardOb" class="def">FinCardOb</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:FinCard:Ar:12" class="instance expander" onclick="toggleSection('i:id:FinCard:Ar:12')"></span> <span class="keyword">data</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-96" class="link">Source</a> <a href="#t:FinCard" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FinCard:Ar:12" 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-TensorCategory.html#t:FinCard">FinCard</a> = <a id="v:FinCardAr" class="def">FinCardAr</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>]</div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:finCardAr" class="def">finCardAr</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>] -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#finCardAr" class="link">Source</a> <a href="#v:finCardAr" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:finPerm" class="def">finPerm</a> :: [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>] -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#finPerm" class="link">Source</a> <a href="#v:finPerm" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Braid" class="def">Braid</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#Braid" class="link">Source</a> <a href="#t:Braid" class="selflink">#</a></p><div class="subs instances"><p id="control.i:Braid" class="caption collapser" onclick="toggleSection('i:Braid')">Instances</p><div id="section.i:Braid" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Braid:Braided:1" class="instance expander" onclick="toggleSection('i:id:Braid:Braided:1')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braided">Braided</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-153" class="link">Source</a> <a href="#t:Braid" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Braid:Braided:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:twist">twist</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#twist" class="link">Source</a> <a href="#v:twist" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Braid:Monoidal:2" class="instance expander" onclick="toggleSection('i:id:Braid:Monoidal:2')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Monoidal">Monoidal</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-148" class="link">Source</a> <a href="#t:Braid" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Braid:Monoidal:2" 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-TensorCategory.html#t:Braid">Braid</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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</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:Braid:MCategory:3" class="instance expander" onclick="toggleSection('i:id:Braid:MCategory:3')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:MCategory">MCategory</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-130" class="link">Source</a> <a href="#t:Braid" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Braid:MCategory:3" 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-TensorCategory.html#t:Braid">Braid</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</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:Braid:MFunctor:4" class="instance expander" onclick="toggleSection('i:id:Braid:MFunctor:4')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:MFunctor">MFunctor</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-157" class="link">Source</a> <a href="#t:Braid" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Braid:MFunctor:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fob">fob</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#fob" class="link">Source</a> <a href="#v:fob" class="selflink">#</a></p><p class="src"><a href="#v:far">far</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:FinCard">FinCard</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#far" class="link">Source</a> <a href="#v:far" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Braid:Eq:5" class="instance expander" onclick="toggleSection('i:id:Braid:Eq:5')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-131" class="link">Source</a> <a href="#t:Braid" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Braid: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="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:Braid:Eq:6" class="instance expander" onclick="toggleSection('i:id:Braid:Eq:6')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-132" class="link">Source</a> <a href="#t:Braid" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Braid: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="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:Braid:Ord:7" class="instance expander" onclick="toggleSection('i:id:Braid:Ord:7')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-131" class="link">Source</a> <a href="#t:Braid" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Braid:Ord:7" 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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</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:Braid:Ord:8" class="instance expander" onclick="toggleSection('i:id:Braid:Ord:8')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-132" class="link">Source</a> <a href="#t:Braid" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Braid:Ord:8" 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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</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-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</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:Braid:Show:9" class="instance expander" onclick="toggleSection('i:id:Braid:Show:9')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-131" class="link">Source</a> <a href="#t:Braid" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Braid:Show:9" 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.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:Braid:Show:10" class="instance expander" onclick="toggleSection('i:id:Braid:Show:10')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-132" class="link">Source</a> <a href="#t:Braid" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Braid:Show:10" 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.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Braid">Braid</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:Braid:Ob:11" class="instance expander" onclick="toggleSection('i:id:Braid:Ob:11')"></span> <span class="keyword">data</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-131" class="link">Source</a> <a href="#t:Braid" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Braid:Ob:11" 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-TensorCategory.html#t:Braid">Braid</a> = <a id="v:BraidOb" class="def">BraidOb</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:Braid:Ar:12" class="instance expander" onclick="toggleSection('i:id:Braid:Ar:12')"></span> <span class="keyword">data</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-132" class="link">Source</a> <a href="#t:Braid" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Braid:Ar:12" 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-TensorCategory.html#t:Braid">Braid</a> = <a id="v:BraidAr" class="def">BraidAr</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>]</div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:t" class="def">t</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#t" class="link">Source</a> <a href="#v:t" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:t-39-" class="def">t'</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Braid">Braid</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#t%27" class="link">Source</a> <a href="#v:t-39-" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Vect" class="def">Vect</a> k <a href="src/Math-QuantumAlgebra-TensorCategory.html#Vect" class="link">Source</a> <a href="#t:Vect" class="selflink">#</a></p><div class="subs instances"><p id="control.i:Vect" class="caption collapser" onclick="toggleSection('i:Vect')">Instances</p><div id="section.i:Vect" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Vect:Eq:1" class="instance expander" onclick="toggleSection('i:id:Vect:Eq:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k))</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-167" class="link">Source</a> <a href="#t:Vect" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Vect: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-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:Vect:Eq:2" class="instance expander" onclick="toggleSection('i:id:Vect:Eq:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k))</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-168" class="link">Source</a> <a href="#t:Vect" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Vect: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="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:Vect:Ord:3" class="instance expander" onclick="toggleSection('i:id:Vect:Ord:3')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k))</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-167" class="link">Source</a> <a href="#t:Vect" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Vect:Ord:3" 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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) <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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) <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:Vect:Ord:4" class="instance expander" onclick="toggleSection('i:id:Vect:Ord:4')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k))</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-168" class="link">Source</a> <a href="#t:Vect" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Vect:Ord:4" 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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) <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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) <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:Vect:Show:5" class="instance expander" onclick="toggleSection('i:id:Vect:Show:5')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k))</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-167" class="link">Source</a> <a href="#t:Vect" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Vect:Show:5" 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.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k)] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:Vect:Show:6" class="instance expander" onclick="toggleSection('i:id:Vect:Show:6')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k))</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-168" class="link">Source</a> <a href="#t:Vect" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Vect:Show:6" 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.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k)] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:Vect:MCategory:7" class="instance expander" onclick="toggleSection('i:id:Vect:MCategory:7')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> k => <a href="Math-QuantumAlgebra-TensorCategory.html#t:MCategory">MCategory</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-166" class="link">Source</a> <a href="#t:Vect" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Vect:MCategory:7" 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-TensorCategory.html#t:Vect">Vect</a> k) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) <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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) <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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) <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-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k) <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:Vect:Ob:8" class="instance expander" onclick="toggleSection('i:id:Vect:Ob:8')"></span> <span class="keyword">data</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-167" class="link">Source</a> <a href="#t:Vect" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Vect:Ob:8" 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-TensorCategory.html#t:Vect">Vect</a> k) = <a id="v:VectOb" class="def">VectOb</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:Vect:Ar:9" class="instance expander" onclick="toggleSection('i:id:Vect:Ar:9')"></span> <span class="keyword">data</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Vect">Vect</a> k)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-168" class="link">Source</a> <a href="#t:Vect" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Vect:Ar:9" 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-TensorCategory.html#t:Vect">Vect</a> k) = <a id="v:VectAr" class="def">VectAr</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> [[<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>]]</div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Cob2" class="def">Cob2</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#Cob2" class="link">Source</a> <a href="#t:Cob2" class="selflink">#</a></p><div class="subs instances"><p id="control.i:Cob2" class="caption collapser" onclick="toggleSection('i:Cob2')">Instances</p><div id="section.i:Cob2" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Cob2:Monoidal:1" class="instance expander" onclick="toggleSection('i:id:Cob2:Monoidal:1')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Monoidal">Monoidal</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-209" class="link">Source</a> <a href="#t:Cob2" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Cob2: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-TensorCategory.html#t:Cob2">Cob2</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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</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:Cob2:MCategory:2" class="instance expander" onclick="toggleSection('i:id:Cob2:MCategory:2')"></span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:MCategory">MCategory</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-182" class="link">Source</a> <a href="#t:Cob2" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Cob2: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-TensorCategory.html#t:Cob2">Cob2</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</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:Cob2:Eq:3" class="instance expander" onclick="toggleSection('i:id:Cob2:Eq:3')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-183" class="link">Source</a> <a href="#t:Cob2" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Cob2: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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:Cob2:Eq:4" class="instance expander" onclick="toggleSection('i:id:Cob2:Eq:4')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-191" class="link">Source</a> <a href="#t:Cob2" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Cob2: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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:Cob2:Ord:5" class="instance expander" onclick="toggleSection('i:id:Cob2:Ord:5')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-183" class="link">Source</a> <a href="#t:Cob2" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Cob2: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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</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:Cob2:Ord:6" class="instance expander" onclick="toggleSection('i:id:Cob2:Ord:6')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-191" class="link">Source</a> <a href="#t:Cob2" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Cob2: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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</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:Cob2:Show:7" class="instance expander" onclick="toggleSection('i:id:Cob2:Show:7')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-183" class="link">Source</a> <a href="#t:Cob2" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Cob2: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.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:Cob2:Show:8" class="instance expander" onclick="toggleSection('i:id:Cob2:Show:8')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a>)</span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-191" class="link">Source</a> <a href="#t:Cob2" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Cob2: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.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-TensorCategory.html#t:Cob2">Cob2</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:Cob2:Ob:9" class="instance expander" onclick="toggleSection('i:id:Cob2:Ob:9')"></span> <span class="keyword">data</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ob">Ob</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-183" class="link">Source</a> <a href="#t:Cob2" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Cob2: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-TensorCategory.html#t:Cob2">Cob2</a> = <a id="v:O" class="def">O</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:Cob2:Ar:10" class="instance expander" onclick="toggleSection('i:id:Cob2:Ar:10')"></span> <span class="keyword">data</span> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a></span> <a href="src/Math-QuantumAlgebra-TensorCategory.html#line-184" class="link">Source</a> <a href="#t:Cob2" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Cob2: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-TensorCategory.html#t:Cob2">Cob2</a> <ul class="inst"><li class="inst">= <a id="v:Id" class="def">Id</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></li><li class="inst">| <a id="v:Unit" class="def">Unit</a></li><li class="inst">| <a id="v:Mult" class="def">Mult</a></li><li class="inst">| <a id="v:Counit" class="def">Counit</a></li><li class="inst">| <a id="v:Comult" class="def">Comult</a></li><li class="inst">| <a id="v:Par" class="def">Par</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a>) (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a>)</li><li class="inst">| <a id="v:Seq" class="def">Seq</a> (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a>) (<a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a>)</li></ul></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:rewrite" class="def">rewrite</a> :: <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> -> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Ar">Ar</a> <a href="Math-QuantumAlgebra-TensorCategory.html#t:Cob2">Cob2</a> <a href="src/Math-QuantumAlgebra-TensorCategory.html#rewrite" class="link">Source</a> <a href="#v:rewrite" 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.3</p></div></body></html>
|