This file is indexed.

/usr/share/doc/libghc-linear-doc/html/Linear-V.html is in libghc-linear-doc 1.20.5-3.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
3
4
5
6
7
8
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Linear.V</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_Linear-V.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Linear-V.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">linear-1.20.5: Linear Algebra</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Copyright</th><td>(C) 2012-2015 Edward Kmett</td></tr><tr><th>License</th><td>BSD-style (see the file LICENSE)</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Portability</th><td>non-portable</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Linear.V</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>n-D Vectors</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">newtype</span> <a href="#t:V">V</a> n a = <a href="#v:V">V</a> {<ul class="subs"><li><a href="#v:toVector">toVector</a> :: <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a</li></ul>}</li><li class="src short"><a href="#v:int">int</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></li><li class="src short"><a href="#v:dim">dim</a> :: <span class="keyword">forall</span> n a. <a href="Linear-V.html#t:Dim">Dim</a> n =&gt; <a href="Linear-V.html#t:V">V</a> n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><span class="keyword">class</span> <a href="#t:Dim">Dim</a> n <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><a href="#v:reifyDim">reifyDim</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; (<span class="keyword">forall</span> n. <a href="Linear-V.html#t:Dim">Dim</a> n =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Proxy.html#t:Proxy">Proxy</a> n -&gt; r) -&gt; r</li><li class="src short"><a href="#v:reifyVector">reifyVector</a> :: <span class="keyword">forall</span> a r. <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a -&gt; (<span class="keyword">forall</span> n. <a href="Linear-V.html#t:Dim">Dim</a> n =&gt; <a href="Linear-V.html#t:V">V</a> n a -&gt; r) -&gt; r</li><li class="src short"><a href="#v:reifyDimNat">reifyDimNat</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; (<span class="keyword">forall</span> n. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-TypeLits.html#t:KnownNat">KnownNat</a> n =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Proxy.html#t:Proxy">Proxy</a> n -&gt; r) -&gt; r</li><li class="src short"><a href="#v:reifyVectorNat">reifyVectorNat</a> :: <span class="keyword">forall</span> a r. <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a -&gt; (<span class="keyword">forall</span> n. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-TypeLits.html#t:KnownNat">KnownNat</a> n =&gt; <a href="Linear-V.html#t:V">V</a> n a -&gt; r) -&gt; r</li><li class="src short"><a href="#v:fromVector">fromVector</a> :: <span class="keyword">forall</span> n a. <a href="Linear-V.html#t:Dim">Dim</a> n =&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Linear-V.html#t:V">V</a> n a)</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:V" class="def">V</a> n a <a href="src/Linear-V.html#V" class="link">Source</a> <a href="#t:V" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:V" class="def">V</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:toVector" class="def">toVector</a> :: <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a</dfn><div class="doc empty">&nbsp;</div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:V" class="caption collapser" onclick="toggleSection('i:V')">Instances</p><div id="section.i:V" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:FunctorWithIndex:1" class="instance expander" onclick="toggleSection('i:id:V:FunctorWithIndex:1')"></span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Indexed.html#t:FunctorWithIndex">FunctorWithIndex</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-177" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:FunctorWithIndex:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:imap">imap</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; a -&gt; b) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n b <a href="#v:imap" class="selflink">#</a></p><p class="src"><a href="#v:imapped">imapped</a> :: (<a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Internal-Indexed.html#t:Indexable">Indexable</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> p, <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Internal-Setter.html#t:Settable">Settable</a> f) =&gt; p a (f b) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; f (<a href="Linear-V.html#t:V">V</a> k n b) <a href="#v:imapped" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:FoldableWithIndex:2" class="instance expander" onclick="toggleSection('i:id:V:FoldableWithIndex:2')"></span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Indexed.html#t:FoldableWithIndex">FoldableWithIndex</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-221" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:FoldableWithIndex:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ifoldMap">ifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Monoid.html#t:Monoid">Monoid</a> m =&gt; (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; a -&gt; m) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; m <a href="#v:ifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:ifolded">ifolded</a> :: (<a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Internal-Indexed.html#t:Indexable">Indexable</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> p, <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Getter.html#t:Contravariant">Contravariant</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Applicative.html#t:Applicative">Applicative</a> f) =&gt; p a (f a) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; f (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:ifolded" class="selflink">#</a></p><p class="src"><a href="#v:ifoldr">ifoldr</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; a -&gt; b -&gt; b) -&gt; b -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; b <a href="#v:ifoldr" class="selflink">#</a></p><p class="src"><a href="#v:ifoldl">ifoldl</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; b -&gt; a -&gt; b) -&gt; b -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; b <a href="#v:ifoldl" class="selflink">#</a></p><p class="src"><a href="#v:ifoldr-39-">ifoldr'</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; a -&gt; b -&gt; b) -&gt; b -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; b <a href="#v:ifoldr-39-" class="selflink">#</a></p><p class="src"><a href="#v:ifoldl-39-">ifoldl'</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; b -&gt; a -&gt; b) -&gt; b -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; b <a href="#v:ifoldl-39-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:TraversableWithIndex:3" class="instance expander" onclick="toggleSection('i:id:V:TraversableWithIndex:3')"></span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Indexed.html#t:TraversableWithIndex">TraversableWithIndex</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-229" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:TraversableWithIndex:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:itraverse">itraverse</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Applicative.html#t:Applicative">Applicative</a> f =&gt; (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; a -&gt; f b) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; f (<a href="Linear-V.html#t:V">V</a> k n b) <a href="#v:itraverse" class="selflink">#</a></p><p class="src"><a href="#v:itraversed">itraversed</a> :: (<a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Internal-Indexed.html#t:Indexable">Indexable</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Applicative.html#t:Applicative">Applicative</a> f) =&gt; p a (f b) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; f (<a href="Linear-V.html#t:V">V</a> k n b) <a href="#v:itraversed" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Vector:4" class="instance expander" onclick="toggleSection('i:id:V:Vector:4')"></span> (<a href="Linear-V.html#t:Dim">Dim</a> k n, <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Unbox">Unbox</a> a) =&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Generic.html#t:Vector">Vector</a> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-540" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Vector:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:basicUnsafeFreeze">basicUnsafeFreeze</a> :: PrimMonad m =&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Generic.html#t:Mutable">Mutable</a> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; m (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> (<a href="Linear-V.html#t:V">V</a> k n a)) <a href="#v:basicUnsafeFreeze" class="selflink">#</a></p><p class="src"><a href="#v:basicUnsafeThaw">basicUnsafeThaw</a> :: PrimMonad m =&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; m (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Generic.html#t:Mutable">Mutable</a> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a)) <a href="#v:basicUnsafeThaw" class="selflink">#</a></p><p class="src"><a href="#v:basicLength">basicLength</a> :: <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> <a href="#v:basicLength" class="selflink">#</a></p><p class="src"><a href="#v:basicUnsafeSlice">basicUnsafeSlice</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:basicUnsafeSlice" class="selflink">#</a></p><p class="src"><a href="#v:basicUnsafeIndexM">basicUnsafeIndexM</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:Monad">Monad</a> m =&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; m (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:basicUnsafeIndexM" class="selflink">#</a></p><p class="src"><a href="#v:basicUnsafeCopy">basicUnsafeCopy</a> :: PrimMonad m =&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Generic.html#t:Mutable">Mutable</a> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; m () <a href="#v:basicUnsafeCopy" class="selflink">#</a></p><p class="src"><a href="#v:elemseq">elemseq</a> :: <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; b -&gt; b <a href="#v:elemseq" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:MVector:5" class="instance expander" onclick="toggleSection('i:id:V:MVector:5')"></span> (<a href="Linear-V.html#t:Dim">Dim</a> k n, <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Unbox">Unbox</a> a) =&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Generic-Mutable-Base.html#t:MVector">MVector</a> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-511" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:MVector:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:basicLength">basicLength</a> :: <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> s (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> <a href="#v:basicLength" class="selflink">#</a></p><p class="src"><a href="#v:basicUnsafeSlice">basicUnsafeSlice</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> s (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> s (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:basicUnsafeSlice" class="selflink">#</a></p><p class="src"><a href="#v:basicOverlaps">basicOverlaps</a> :: <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> s (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> s (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:basicOverlaps" class="selflink">#</a></p><p class="src"><a href="#v:basicUnsafeNew">basicUnsafeNew</a> :: PrimMonad m =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; m (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a)) <a href="#v:basicUnsafeNew" class="selflink">#</a></p><p class="src"><a href="#v:basicInitialize">basicInitialize</a> :: PrimMonad m =&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; m () <a href="#v:basicInitialize" class="selflink">#</a></p><p class="src"><a href="#v:basicUnsafeReplicate">basicUnsafeReplicate</a> :: PrimMonad m =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; m (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a)) <a href="#v:basicUnsafeReplicate" class="selflink">#</a></p><p class="src"><a href="#v:basicUnsafeRead">basicUnsafeRead</a> :: PrimMonad m =&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; m (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:basicUnsafeRead" class="selflink">#</a></p><p class="src"><a href="#v:basicUnsafeWrite">basicUnsafeWrite</a> :: PrimMonad m =&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; m () <a href="#v:basicUnsafeWrite" class="selflink">#</a></p><p class="src"><a href="#v:basicClear">basicClear</a> :: PrimMonad m =&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; m () <a href="#v:basicClear" class="selflink">#</a></p><p class="src"><a href="#v:basicSet">basicSet</a> :: PrimMonad m =&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; m () <a href="#v:basicSet" class="selflink">#</a></p><p class="src"><a href="#v:basicUnsafeCopy">basicUnsafeCopy</a> :: PrimMonad m =&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; m () <a href="#v:basicUnsafeCopy" class="selflink">#</a></p><p class="src"><a href="#v:basicUnsafeMove">basicUnsafeMove</a> :: PrimMonad m =&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; m () <a href="#v:basicUnsafeMove" class="selflink">#</a></p><p class="src"><a href="#v:basicUnsafeGrow">basicUnsafeGrow</a> :: PrimMonad m =&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; m (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a)) <a href="#v:basicUnsafeGrow" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Dim:6" class="instance expander" onclick="toggleSection('i:id:V:Dim:6')"></span> <a href="Linear-V.html#t:Dim">Dim</a> k n =&gt; <a href="Linear-V.html#t:Dim">Dim</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-169" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Dim:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:reflectDim">reflectDim</a> :: p n -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> <a href="src/Linear-V.html#reflectDim" class="link">Source</a> <a href="#v:reflectDim" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Monad:7" class="instance expander" onclick="toggleSection('i:id:V:Monad:7')"></span> <a href="Linear-V.html#t:Dim">Dim</a> k n =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:Monad">Monad</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-249" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Monad:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-62--62--61-">(&gt;&gt;=)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; (a -&gt; <a href="Linear-V.html#t:V">V</a> k n b) -&gt; <a href="Linear-V.html#t:V">V</a> k n b <a href="#v:-62--62--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62--62-">(&gt;&gt;)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n b -&gt; <a href="Linear-V.html#t:V">V</a> k n b <a href="#v:-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:return">return</a> :: a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:return" class="selflink">#</a></p><p class="src"><a href="#v:fail">fail</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:fail" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Functor:8" class="instance expander" onclick="toggleSection('i:id:V:Functor:8')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-173" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Functor:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -&gt; b) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(&lt;$)</a> :: a -&gt; <a href="Linear-V.html#t:V">V</a> k n b -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:MonadFix:9" class="instance expander" onclick="toggleSection('i:id:V:MonadFix:9')"></span> <a href="Linear-V.html#t:Dim">Dim</a> k n =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad-Fix.html#t:MonadFix">MonadFix</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-425" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:MonadFix:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mfix">mfix</a> :: (a -&gt; <a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:mfix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Applicative:10" class="instance expander" onclick="toggleSection('i:id:V:Applicative:10')"></span> <a href="Linear-V.html#t:Dim">Dim</a> k n =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-237" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Applicative:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pure">pure</a> :: a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(&lt;*&gt;)</a> :: <a href="Linear-V.html#t:V">V</a> k n (a -&gt; b) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n b <a href="#v:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*&gt;)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n b -&gt; <a href="Linear-V.html#t:V">V</a> k n b <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(&lt;*)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n b -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:-60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Foldable:11" class="instance expander" onclick="toggleSection('i:id:V:Foldable:11')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Foldable.html#t:Foldable">Foldable</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-181" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Foldable:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fold">fold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Monoid.html#t:Monoid">Monoid</a> m =&gt; <a href="Linear-V.html#t:V">V</a> k n m -&gt; m <a href="#v:fold" class="selflink">#</a></p><p class="src"><a href="#v:foldMap">foldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Monoid.html#t:Monoid">Monoid</a> m =&gt; (a -&gt; m) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; m <a href="#v:foldMap" class="selflink">#</a></p><p class="src"><a href="#v:foldr">foldr</a> :: (a -&gt; b -&gt; b) -&gt; b -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; b <a href="#v:foldr" class="selflink">#</a></p><p class="src"><a href="#v:foldr-39-">foldr'</a> :: (a -&gt; b -&gt; b) -&gt; b -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; b <a href="#v:foldr-39-" class="selflink">#</a></p><p class="src"><a href="#v:foldl">foldl</a> :: (b -&gt; a -&gt; b) -&gt; b -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; b <a href="#v:foldl" class="selflink">#</a></p><p class="src"><a href="#v:foldl-39-">foldl'</a> :: (b -&gt; a -&gt; b) -&gt; b -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; b <a href="#v:foldl-39-" class="selflink">#</a></p><p class="src"><a href="#v:foldr1">foldr1</a> :: (a -&gt; a -&gt; a) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; a <a href="#v:foldr1" class="selflink">#</a></p><p class="src"><a href="#v:foldl1">foldl1</a> :: (a -&gt; a -&gt; a) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; a <a href="#v:foldl1" class="selflink">#</a></p><p class="src"><a href="#v:toList">toList</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; [a] <a href="#v:toList" class="selflink">#</a></p><p class="src"><a href="#v:null">null</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:null" class="selflink">#</a></p><p class="src"><a href="#v:length">length</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> <a href="#v:length" class="selflink">#</a></p><p class="src"><a href="#v:elem">elem</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Eq.html#t:Eq">Eq</a> a =&gt; a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:elem" class="selflink">#</a></p><p class="src"><a href="#v:maximum">maximum</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a =&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; a <a href="#v:maximum" class="selflink">#</a></p><p class="src"><a href="#v:minimum">minimum</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a =&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; a <a href="#v:minimum" class="selflink">#</a></p><p class="src"><a href="#v:sum">sum</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> a =&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; a <a href="#v:sum" class="selflink">#</a></p><p class="src"><a href="#v:product">product</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> a =&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; a <a href="#v:product" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Traversable:12" class="instance expander" onclick="toggleSection('i:id:V:Traversable:12')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Traversable.html#t:Traversable">Traversable</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-225" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Traversable:12" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:traverse">traverse</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Applicative.html#t:Applicative">Applicative</a> f =&gt; (a -&gt; f b) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; f (<a href="Linear-V.html#t:V">V</a> k n b) <a href="#v:traverse" class="selflink">#</a></p><p class="src"><a href="#v:sequenceA">sequenceA</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Applicative.html#t:Applicative">Applicative</a> f =&gt; <a href="Linear-V.html#t:V">V</a> k n (f a) -&gt; f (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:sequenceA" class="selflink">#</a></p><p class="src"><a href="#v:mapM">mapM</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:Monad">Monad</a> m =&gt; (a -&gt; m b) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; m (<a href="Linear-V.html#t:V">V</a> k n b) <a href="#v:mapM" class="selflink">#</a></p><p class="src"><a href="#v:sequence">sequence</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:Monad">Monad</a> m =&gt; <a href="Linear-V.html#t:V">V</a> k n (m a) -&gt; m (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:sequence" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Generic1:13" class="instance expander" onclick="toggleSection('i:id:V:Generic1:13')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic1">Generic1</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-124" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Generic1:13" class="inst-details hide"><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep1">Rep1</a> (<a href="Linear-V.html#t:V">V</a> k n :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> <a href="#t:Rep1" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:from1">from1</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep1">Rep1</a> (<a href="Linear-V.html#t:V">V</a> k n) a <a href="#v:from1" class="selflink">#</a></p><p class="src"><a href="#v:to1">to1</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep1">Rep1</a> (<a href="Linear-V.html#t:V">V</a> k n) a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:to1" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Distributive:14" class="instance expander" onclick="toggleSection('i:id:V:Distributive:14')"></span> <a href="Linear-V.html#t:Dim">Dim</a> k n =&gt; <a href="file:///usr/share/doc/libghc-distributive-doc/html/Data-Distributive.html#t:Distributive">Distributive</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-326" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Distributive:14" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:distribute">distribute</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> f =&gt; f (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="Linear-V.html#t:V">V</a> k n (f a) <a href="#v:distribute" class="selflink">#</a></p><p class="src"><a href="#v:collect">collect</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> f =&gt; (a -&gt; <a href="Linear-V.html#t:V">V</a> k n b) -&gt; f a -&gt; <a href="Linear-V.html#t:V">V</a> k n (f b) <a href="#v:collect" class="selflink">#</a></p><p class="src"><a href="#v:distributeM">distributeM</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:Monad">Monad</a> m =&gt; m (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="Linear-V.html#t:V">V</a> k n (m a) <a href="#v:distributeM" class="selflink">#</a></p><p class="src"><a href="#v:collectM">collectM</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:Monad">Monad</a> m =&gt; (a -&gt; <a href="Linear-V.html#t:V">V</a> k n b) -&gt; m a -&gt; <a href="Linear-V.html#t:V">V</a> k n (m b) <a href="#v:collectM" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Representable:15" class="instance expander" onclick="toggleSection('i:id:V:Representable:15')"></span> <a href="Linear-V.html#t:Dim">Dim</a> k n =&gt; <a href="file:///usr/share/doc/libghc-adjunctions-doc/html/Data-Functor-Rep.html#t:Representable">Representable</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-405" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Representable:15" class="inst-details hide"><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-adjunctions-doc/html/Data-Functor-Rep.html#t:Rep">Rep</a> (<a href="Linear-V.html#t:V">V</a> k n :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> <a href="#t:Rep" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:tabulate">tabulate</a> :: (<a href="file:///usr/share/doc/libghc-adjunctions-doc/html/Data-Functor-Rep.html#t:Rep">Rep</a> (<a href="Linear-V.html#t:V">V</a> k n) -&gt; a) -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:tabulate" class="selflink">#</a></p><p class="src"><a href="#v:index">index</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/libghc-adjunctions-doc/html/Data-Functor-Rep.html#t:Rep">Rep</a> (<a href="Linear-V.html#t:V">V</a> k n) -&gt; a <a href="#v:index" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Eq1:16" class="instance expander" onclick="toggleSection('i:id:V:Eq1:16')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Classes.html#t:Eq1">Eq1</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-476" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Eq1:16" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftEq">liftEq</a> :: (a -&gt; b -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a>) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n b -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:liftEq" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Ord1:17" class="instance expander" onclick="toggleSection('i:id:V:Ord1:17')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Classes.html#t:Ord1">Ord1</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-482" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Ord1:17" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftCompare">liftCompare</a> :: (a -&gt; b -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ordering">Ordering</a>) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n b -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="#v:liftCompare" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Read1:18" class="instance expander" onclick="toggleSection('i:id:V:Read1:18')"></span> <a href="Linear-V.html#t:Dim">Dim</a> k n =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Classes.html#t:Read1">Read1</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-492" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Read1:18" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftReadsPrec">liftReadsPrec</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> a) -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> [a] -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:liftReadsPrec" class="selflink">#</a></p><p class="src"><a href="#v:liftReadList">liftReadList</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> a) -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> [a] -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> [<a href="Linear-V.html#t:V">V</a> k n a] <a href="#v:liftReadList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Show1:19" class="instance expander" onclick="toggleSection('i:id:V:Show1:19')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Classes.html#t:Show1">Show1</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-489" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Show1:19" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftShowsPrec">liftShowsPrec</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a>) -&gt; ([a] -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a>) -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:liftShowsPrec" class="selflink">#</a></p><p class="src"><a href="#v:liftShowList">liftShowList</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a>) -&gt; ([a] -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a>) -&gt; [<a href="Linear-V.html#t:V">V</a> k n a] -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:liftShowList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:MonadZip:20" class="instance expander" onclick="toggleSection('i:id:V:MonadZip:20')"></span> <a href="Linear-V.html#t:Dim">Dim</a> k n =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad-Zip.html#t:MonadZip">MonadZip</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-421" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:MonadZip:20" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mzip">mzip</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n b -&gt; <a href="Linear-V.html#t:V">V</a> k n (a, b) <a href="#v:mzip" class="selflink">#</a></p><p class="src"><a href="#v:mzipWith">mzipWith</a> :: (a -&gt; b -&gt; c) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n b -&gt; <a href="Linear-V.html#t:V">V</a> k n c <a href="#v:mzipWith" class="selflink">#</a></p><p class="src"><a href="#v:munzip">munzip</a> :: <a href="Linear-V.html#t:V">V</a> k n (a, b) -&gt; (<a href="Linear-V.html#t:V">V</a> k n a, <a href="Linear-V.html#t:V">V</a> k n b) <a href="#v:munzip" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Serial1:21" class="instance expander" onclick="toggleSection('i:id:V:Serial1:21')"></span> <a href="Linear-V.html#t:Dim">Dim</a> k n =&gt; <a href="file:///usr/share/doc/libghc-bytes-doc/html/Data-Bytes-Serial.html#t:Serial1">Serial1</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-459" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Serial1:21" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:serializeWith">serializeWith</a> :: <a href="file:///usr/share/doc/libghc-bytes-doc/html/Data-Bytes-Put.html#t:MonadPut">MonadPut</a> m =&gt; (a -&gt; m ()) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; m () <a href="#v:serializeWith" class="selflink">#</a></p><p class="src"><a href="#v:deserializeWith">deserializeWith</a> :: <a href="file:///usr/share/doc/libghc-bytes-doc/html/Data-Bytes-Get.html#t:MonadGet">MonadGet</a> m =&gt; m a -&gt; m (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:deserializeWith" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Apply:22" class="instance expander" onclick="toggleSection('i:id:V:Apply:22')"></span> <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-233" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Apply:22" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60-.-62-">(&lt;.&gt;)</a> :: <a href="Linear-V.html#t:V">V</a> k n (a -&gt; b) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n b <a href="#v:-60-.-62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62-">(.&gt;)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n b -&gt; <a href="Linear-V.html#t:V">V</a> k n b <a href="#v:.-62-" class="selflink">#</a></p><p class="src"><a href="#v:-60-.">(&lt;.)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n b -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:-60-." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Bind:23" class="instance expander" onclick="toggleSection('i:id:V:Bind:23')"></span> <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Bind.html#t:Bind">Bind</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-244" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Bind:23" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-62--62--45-">(&gt;&gt;-)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; (a -&gt; <a href="Linear-V.html#t:V">V</a> k n b) -&gt; <a href="Linear-V.html#t:V">V</a> k n b <a href="#v:-62--62--45-" class="selflink">#</a></p><p class="src"><a href="#v:join">join</a> :: <a href="Linear-V.html#t:V">V</a> k n (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:join" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Additive:24" class="instance expander" onclick="toggleSection('i:id:V:Additive:24')"></span> <a href="Linear-V.html#t:Dim">Dim</a> k n =&gt; <a href="Linear-Vector.html#t:Additive">Additive</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-256" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Additive:24" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> a =&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="src/Linear-Vector.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p><p class="src"><a href="#v:-94--43--94-">(^+^)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> a =&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="src/Linear-Vector.html#%5E%2B%5E" class="link">Source</a> <a href="#v:-94--43--94-" class="selflink">#</a></p><p class="src"><a href="#v:-94--45--94-">(^-^)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> a =&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="src/Linear-Vector.html#%5E-%5E" class="link">Source</a> <a href="#v:-94--45--94-" class="selflink">#</a></p><p class="src"><a href="#v:lerp">lerp</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> a =&gt; a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="src/Linear-Vector.html#lerp" class="link">Source</a> <a href="#v:lerp" class="selflink">#</a></p><p class="src"><a href="#v:liftU2">liftU2</a> :: (a -&gt; a -&gt; a) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="src/Linear-Vector.html#liftU2" class="link">Source</a> <a href="#v:liftU2" class="selflink">#</a></p><p class="src"><a href="#v:liftI2">liftI2</a> :: (a -&gt; b -&gt; c) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n b -&gt; <a href="Linear-V.html#t:V">V</a> k n c <a href="src/Linear-Vector.html#liftI2" class="link">Source</a> <a href="#v:liftI2" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Metric:25" class="instance expander" onclick="toggleSection('i:id:V:Metric:25')"></span> <a href="Linear-V.html#t:Dim">Dim</a> k n =&gt; <a href="Linear-Metric.html#t:Metric">Metric</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-347" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Metric:25" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:dot">dot</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> a =&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; a <a href="src/Linear-Metric.html#dot" class="link">Source</a> <a href="#v:dot" class="selflink">#</a></p><p class="src"><a href="#v:quadrance">quadrance</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> a =&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; a <a href="src/Linear-Metric.html#quadrance" class="link">Source</a> <a href="#v:quadrance" class="selflink">#</a></p><p class="src"><a href="#v:qd">qd</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> a =&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; a <a href="src/Linear-Metric.html#qd" class="link">Source</a> <a href="#v:qd" class="selflink">#</a></p><p class="src"><a href="#v:distance">distance</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Numeric.html#t:Floating">Floating</a> a =&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; a <a href="src/Linear-Metric.html#distance" class="link">Source</a> <a href="#v:distance" class="selflink">#</a></p><p class="src"><a href="#v:norm">norm</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Numeric.html#t:Floating">Floating</a> a =&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; a <a href="src/Linear-Metric.html#norm" class="link">Source</a> <a href="#v:norm" class="selflink">#</a></p><p class="src"><a href="#v:signorm">signorm</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Numeric.html#t:Floating">Floating</a> a =&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="src/Linear-Metric.html#signorm" class="link">Source</a> <a href="#v:signorm" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Trace:26" class="instance expander" onclick="toggleSection('i:id:V:Trace:26')"></span> <a href="Linear-V.html#t:Dim">Dim</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n =&gt; <a href="Linear-Trace.html#t:Trace">Trace</a> (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n)</span> <a href="src/Linear-Trace.html#line-84" class="link">Source</a> <a href="#t:Trace" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Trace:26" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:trace">trace</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> a =&gt; <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n a) -&gt; a <a href="src/Linear-Trace.html#trace" class="link">Source</a> <a href="#v:trace" class="selflink">#</a></p><p class="src"><a href="#v:diagonal">diagonal</a> :: <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n a) -&gt; <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n a <a href="src/Linear-Trace.html#diagonal" class="link">Source</a> <a href="#v:diagonal" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Affine:27" class="instance expander" onclick="toggleSection('i:id:V:Affine:27')"></span> <a href="Linear-V.html#t:Dim">Dim</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n =&gt; <a href="Linear-Affine.html#t:Affine">Affine</a> (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n)</span> <a href="src/Linear-Affine.html#line-131" class="link">Source</a> <a href="#t:Affine" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Affine:27" class="inst-details hide"><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="Linear-Affine.html#t:Diff">Diff</a> (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> <a href="src/Linear-Affine.html#Diff" class="link">Source</a> <a href="#t:Diff" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:.-45-.">(.-.)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> a =&gt; <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n a -&gt; <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n a -&gt; <a href="Linear-Affine.html#t:Diff">Diff</a> (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n) a <a href="src/Linear-Affine.html#.-." class="link">Source</a> <a href="#v:.-45-." class="selflink">#</a></p><p class="src"><a href="#v:.-43--94-">(.+^)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> a =&gt; <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n a -&gt; <a href="Linear-Affine.html#t:Diff">Diff</a> (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n) a -&gt; <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n a <a href="src/Linear-Affine.html#.%2B%5E" class="link">Source</a> <a href="#v:.-43--94-" class="selflink">#</a></p><p class="src"><a href="#v:.-45--94-">(.-^)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> a =&gt; <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n a -&gt; <a href="Linear-Affine.html#t:Diff">Diff</a> (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n) a -&gt; <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n a <a href="src/Linear-Affine.html#.-%5E" class="link">Source</a> <a href="#v:.-45--94-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Bounded:28" class="instance expander" onclick="toggleSection('i:id:V:Bounded:28')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Bounded">Bounded</a> a, <a href="Linear-V.html#t:Dim">Dim</a> k n) =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Bounded">Bounded</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-432" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Bounded:28" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:minBound">minBound</a> :: <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:minBound" class="selflink">#</a></p><p class="src"><a href="#v:maxBound">maxBound</a> :: <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:maxBound" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Eq:29" class="instance expander" onclick="toggleSection('i:id:V:Eq:29')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Eq.html#t:Eq">Eq</a> a =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-120" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Eq:29" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Floating:30" class="instance expander" onclick="toggleSection('i:id:V:Floating:30')"></span> (<a href="Linear-V.html#t:Dim">Dim</a> k n, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Numeric.html#t:Floating">Floating</a> a) =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Numeric.html#t:Floating">Floating</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-288" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Floating:30" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pi">pi</a> :: <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:pi" class="selflink">#</a></p><p class="src"><a href="#v:exp">exp</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:exp" class="selflink">#</a></p><p class="src"><a href="#v:log">log</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:log" class="selflink">#</a></p><p class="src"><a href="#v:sqrt">sqrt</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:sqrt" class="selflink">#</a></p><p class="src"><a href="#v:-42--42-">(**)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:-42--42-" class="selflink">#</a></p><p class="src"><a href="#v:logBase">logBase</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:logBase" class="selflink">#</a></p><p class="src"><a href="#v:sin">sin</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:sin" class="selflink">#</a></p><p class="src"><a href="#v:cos">cos</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:cos" class="selflink">#</a></p><p class="src"><a href="#v:tan">tan</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:tan" class="selflink">#</a></p><p class="src"><a href="#v:asin">asin</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:asin" class="selflink">#</a></p><p class="src"><a href="#v:acos">acos</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:acos" class="selflink">#</a></p><p class="src"><a href="#v:atan">atan</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:atan" class="selflink">#</a></p><p class="src"><a href="#v:sinh">sinh</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:sinh" class="selflink">#</a></p><p class="src"><a href="#v:cosh">cosh</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:cosh" class="selflink">#</a></p><p class="src"><a href="#v:tanh">tanh</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:tanh" class="selflink">#</a></p><p class="src"><a href="#v:asinh">asinh</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:asinh" class="selflink">#</a></p><p class="src"><a href="#v:acosh">acosh</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:acosh" class="selflink">#</a></p><p class="src"><a href="#v:atanh">atanh</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:atanh" class="selflink">#</a></p><p class="src"><a href="#v:log1p">log1p</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:log1p" class="selflink">#</a></p><p class="src"><a href="#v:expm1">expm1</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:expm1" class="selflink">#</a></p><p class="src"><a href="#v:log1pexp">log1pexp</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:log1pexp" class="selflink">#</a></p><p class="src"><a href="#v:log1mexp">log1mexp</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:log1mexp" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Fractional:31" class="instance expander" onclick="toggleSection('i:id:V:Fractional:31')"></span> (<a href="Linear-V.html#t:Dim">Dim</a> k n, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Fractional">Fractional</a> a) =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Fractional">Fractional</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-280" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Fractional:31" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-47-">(/)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:-47-" class="selflink">#</a></p><p class="src"><a href="#v:recip">recip</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:recip" class="selflink">#</a></p><p class="src"><a href="#v:fromRational">fromRational</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Rational">Rational</a> -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:fromRational" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Data:32" class="instance expander" onclick="toggleSection('i:id:V:Data:32')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a>) (<a href="Linear-V.html#t:V">V</a> k n), <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> (<a href="Linear-V.html#t:V">V</a> k n a), <a href="Linear-V.html#t:Dim">Dim</a> k n, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> a) =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-450" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Data:32" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:gfoldl">gfoldl</a> :: (<span class="keyword">forall</span> d b. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d =&gt; c (d -&gt; b) -&gt; d -&gt; c b) -&gt; (<span class="keyword">forall</span> g. g -&gt; c g) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; c (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:gfoldl" class="selflink">#</a></p><p class="src"><a href="#v:gunfold">gunfold</a> :: (<span class="keyword">forall</span> b r. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> b =&gt; c (b -&gt; r) -&gt; c r) -&gt; (<span class="keyword">forall</span> r. r -&gt; c r) -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Constr">Constr</a> -&gt; c (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:gunfold" class="selflink">#</a></p><p class="src"><a href="#v:toConstr">toConstr</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Constr">Constr</a> <a href="#v:toConstr" class="selflink">#</a></p><p class="src"><a href="#v:dataTypeOf">dataTypeOf</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:DataType">DataType</a> <a href="#v:dataTypeOf" class="selflink">#</a></p><p class="src"><a href="#v:dataCast1">dataCast1</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a>) t =&gt; (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d =&gt; c (t d)) -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (c (<a href="Linear-V.html#t:V">V</a> k n a)) <a href="#v:dataCast1" class="selflink">#</a></p><p class="src"><a href="#v:dataCast2">dataCast2</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a>) t =&gt; (<span class="keyword">forall</span> d e. (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> e) =&gt; c (t d e)) -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (c (<a href="Linear-V.html#t:V">V</a> k n a)) <a href="#v:dataCast2" class="selflink">#</a></p><p class="src"><a href="#v:gmapT">gmapT</a> :: (<span class="keyword">forall</span> b. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> b =&gt; b -&gt; b) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:gmapT" class="selflink">#</a></p><p class="src"><a href="#v:gmapQl">gmapQl</a> :: (r -&gt; r' -&gt; r) -&gt; r -&gt; (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d =&gt; d -&gt; r') -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; r <a href="#v:gmapQl" class="selflink">#</a></p><p class="src"><a href="#v:gmapQr">gmapQr</a> :: (r' -&gt; r -&gt; r) -&gt; r -&gt; (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d =&gt; d -&gt; r') -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; r <a href="#v:gmapQr" class="selflink">#</a></p><p class="src"><a href="#v:gmapQ">gmapQ</a> :: (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d =&gt; d -&gt; u) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; [u] <a href="#v:gmapQ" class="selflink">#</a></p><p class="src"><a href="#v:gmapQi">gmapQi</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d =&gt; d -&gt; u) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; u <a href="#v:gmapQi" class="selflink">#</a></p><p class="src"><a href="#v:gmapM">gmapM</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:Monad">Monad</a> m =&gt; (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d =&gt; d -&gt; m d) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; m (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:gmapM" class="selflink">#</a></p><p class="src"><a href="#v:gmapMp">gmapMp</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m =&gt; (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d =&gt; d -&gt; m d) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; m (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:gmapMp" class="selflink">#</a></p><p class="src"><a href="#v:gmapMo">gmapMo</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m =&gt; (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Data.html#t:Data">Data</a> d =&gt; d -&gt; m d) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; m (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:gmapMo" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Num:33" class="instance expander" onclick="toggleSection('i:id:V:Num:33')"></span> (<a href="Linear-V.html#t:Dim">Dim</a> k n, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> a) =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-264" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Num:33" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-43-">(+)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:-43-" class="selflink">#</a></p><p class="src"><a href="#v:-45-">(-)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:-45-" class="selflink">#</a></p><p class="src"><a href="#v:-42-">(*)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:-42-" class="selflink">#</a></p><p class="src"><a href="#v:negate">negate</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:negate" class="selflink">#</a></p><p class="src"><a href="#v:abs">abs</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:abs" class="selflink">#</a></p><p class="src"><a href="#v:signum">signum</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:signum" class="selflink">#</a></p><p class="src"><a href="#v:fromInteger">fromInteger</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integer">Integer</a> -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:fromInteger" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Ord:34" class="instance expander" onclick="toggleSection('i:id:V:Ord:34')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-120" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Ord:34" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:compare">compare</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="#v:compare" class="selflink">#</a></p><p class="src"><a href="#v:-60-">(&lt;)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(&lt;=)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62-">(&gt;)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62-" class="selflink">#</a></p><p class="src"><a href="#v:-62--61-">(&gt;=)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62--61-" class="selflink">#</a></p><p class="src"><a href="#v:max">max</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:max" class="selflink">#</a></p><p class="src"><a href="#v:min">min</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="Linear-V.html#t:V">V</a> k n 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:V:Read:35" class="instance expander" onclick="toggleSection('i:id:V:Read:35')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Read.html#t:Read">Read</a> a =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Read.html#t:Read">Read</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-120" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Read:35" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:readsPrec">readsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:readsPrec" class="selflink">#</a></p><p class="src"><a href="#v:readList">readList</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> [<a href="Linear-V.html#t:V">V</a> k n a] <a href="#v:readList" class="selflink">#</a></p><p class="src"><a href="#v:readPrec">readPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:readPrec" class="selflink">#</a></p><p class="src"><a href="#v:readListPrec">readListPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> [<a href="Linear-V.html#t:V">V</a> k n a] <a href="#v:readListPrec" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Show:36" class="instance expander" onclick="toggleSection('i:id:V:Show:36')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:Show">Show</a> a =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:Show">Show</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-120" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Show:36" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Linear-V.html#t:V">V</a> k n a] -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Generic:37" class="instance expander" onclick="toggleSection('i:id:V:Generic:37')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Generic">Generic</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-121" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Generic:37" class="inst-details hide"><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> (<a href="Linear-V.html#t:V">V</a> k n a) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> <a href="#t:Rep" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:from">from</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> (<a href="Linear-V.html#t:V">V</a> k n a) x <a href="#v:from" class="selflink">#</a></p><p class="src"><a href="#v:to">to</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> (<a href="Linear-V.html#t:V">V</a> k n a) x -&gt; <a href="Linear-V.html#t:V">V</a> k n a <a href="#v:to" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Storable:38" class="instance expander" onclick="toggleSection('i:id:V:Storable:38')"></span> (<a href="Linear-V.html#t:Dim">Dim</a> k n, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Foreign-Storable.html#t:Storable">Storable</a> a) =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Foreign-Storable.html#t:Storable">Storable</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-330" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Storable:38" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:sizeOf">sizeOf</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> <a href="#v:sizeOf" class="selflink">#</a></p><p class="src"><a href="#v:alignment">alignment</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> <a href="#v:alignment" class="selflink">#</a></p><p class="src"><a href="#v:peekElemOff">peekElemOff</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Foreign-Ptr.html#t:Ptr">Ptr</a> (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/System-IO.html#t:IO">IO</a> (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:peekElemOff" class="selflink">#</a></p><p class="src"><a href="#v:pokeElemOff">pokeElemOff</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Foreign-Ptr.html#t:Ptr">Ptr</a> (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/System-IO.html#t:IO">IO</a> () <a href="#v:pokeElemOff" class="selflink">#</a></p><p class="src"><a href="#v:peekByteOff">peekByteOff</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Foreign-Ptr.html#t:Ptr">Ptr</a> b -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/System-IO.html#t:IO">IO</a> (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:peekByteOff" class="selflink">#</a></p><p class="src"><a href="#v:pokeByteOff">pokeByteOff</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Foreign-Ptr.html#t:Ptr">Ptr</a> b -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/System-IO.html#t:IO">IO</a> () <a href="#v:pokeByteOff" class="selflink">#</a></p><p class="src"><a href="#v:peek">peek</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Foreign-Ptr.html#t:Ptr">Ptr</a> (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/System-IO.html#t:IO">IO</a> (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:peek" class="selflink">#</a></p><p class="src"><a href="#v:poke">poke</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Foreign-Ptr.html#t:Ptr">Ptr</a> (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/System-IO.html#t:IO">IO</a> () <a href="#v:poke" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Binary:39" class="instance expander" onclick="toggleSection('i:id:V:Binary:39')"></span> (<a href="Linear-V.html#t:Dim">Dim</a> k n, <a href="file:///usr/share/doc/ghc-doc/html/libraries/binary-0.8.3.0/Data-Binary.html#t:Binary">Binary</a> a) =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/binary-0.8.3.0/Data-Binary.html#t:Binary">Binary</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-467" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Binary:39" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:put">put</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/binary-0.8.3.0/Data-Binary-Put.html#t:Put">Put</a> <a href="#v:put" class="selflink">#</a></p><p class="src"><a href="#v:get">get</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/binary-0.8.3.0/Data-Binary-Get-Internal.html#t:Get">Get</a> (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:get" class="selflink">#</a></p><p class="src"><a href="#v:putList">putList</a> :: [<a href="Linear-V.html#t:V">V</a> k n a] -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/binary-0.8.3.0/Data-Binary-Put.html#t:Put">Put</a> <a href="#v:putList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Serial:40" class="instance expander" onclick="toggleSection('i:id:V:Serial:40')"></span> (<a href="Linear-V.html#t:Dim">Dim</a> k n, <a href="file:///usr/share/doc/libghc-bytes-doc/html/Data-Bytes-Serial.html#t:Serial">Serial</a> a) =&gt; <a href="file:///usr/share/doc/libghc-bytes-doc/html/Data-Bytes-Serial.html#t:Serial">Serial</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-463" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Serial:40" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:serialize">serialize</a> :: <a href="file:///usr/share/doc/libghc-bytes-doc/html/Data-Bytes-Put.html#t:MonadPut">MonadPut</a> m =&gt; <a href="Linear-V.html#t:V">V</a> k n a -&gt; m () <a href="#v:serialize" class="selflink">#</a></p><p class="src"><a href="#v:deserialize">deserialize</a> :: <a href="file:///usr/share/doc/libghc-bytes-doc/html/Data-Bytes-Get.html#t:MonadGet">MonadGet</a> m =&gt; m (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:deserialize" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Serialize:41" class="instance expander" onclick="toggleSection('i:id:V:Serialize:41')"></span> (<a href="Linear-V.html#t:Dim">Dim</a> k n, <a href="file:///usr/share/doc/libghc-cereal-doc/html/Data-Serialize.html#t:Serialize">Serialize</a> a) =&gt; <a href="file:///usr/share/doc/libghc-cereal-doc/html/Data-Serialize.html#t:Serialize">Serialize</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-471" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Serialize:41" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:put">put</a> :: <a href="file:///usr/share/doc/libghc-cereal-doc/html/Data-Serialize-Put.html#t:Putter">Putter</a> (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:put" class="selflink">#</a></p><p class="src"><a href="#v:get">get</a> :: <a href="file:///usr/share/doc/libghc-cereal-doc/html/Data-Serialize-Get.html#t:Get">Get</a> (<a href="Linear-V.html#t:V">V</a> k n a) <a href="#v:get" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:NFData:42" class="instance expander" onclick="toggleSection('i:id:V:NFData:42')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/deepseq-1.4.2.0/Control-DeepSeq.html#t:NFData">NFData</a> a =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/deepseq-1.4.2.0/Control-DeepSeq.html#t:NFData">NFData</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-120" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:NFData:42" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:rnf">rnf</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; () <a href="#v:rnf" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Unbox:43" class="instance expander" onclick="toggleSection('i:id:V:Unbox:43')"></span> (<a href="Linear-V.html#t:Dim">Dim</a> k n, <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Unbox">Unbox</a> a) =&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Unbox">Unbox</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-509" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Unbox:43" class="inst-details hide"></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Ixed:44" class="instance expander" onclick="toggleSection('i:id:V:Ixed:44')"></span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-At.html#t:Ixed">Ixed</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-415" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Ixed:44" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ix">ix</a> :: <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-At.html#t:Index">Index</a> (<a href="Linear-V.html#t:V">V</a> k n a) -&gt; <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Type.html#t:Traversal-39-">Traversal'</a> (<a href="Linear-V.html#t:V">V</a> k n a) (<a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="Linear-V.html#t:V">V</a> k n a)) <a href="#v:ix" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Epsilon:45" class="instance expander" onclick="toggleSection('i:id:V:Epsilon:45')"></span> (<a href="Linear-V.html#t:Dim">Dim</a> k n, <a href="Linear-Epsilon.html#t:Epsilon">Epsilon</a> a) =&gt; <a href="Linear-Epsilon.html#t:Epsilon">Epsilon</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-343" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Epsilon:45" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:nearZero">nearZero</a> :: <a href="Linear-V.html#t:V">V</a> k n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Linear-Epsilon.html#nearZero" class="link">Source</a> <a href="#v:nearZero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Each:46" class="instance expander" onclick="toggleSection('i:id:V:Each:46')"></span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Each.html#t:Each">Each</a> (<a href="Linear-V.html#t:V">V</a> k n a) (<a href="Linear-V.html#t:V">V</a> k n b) a b</span> <a href="src/Linear-V.html#line-428" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Each:46" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:each">each</a> :: <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Type.html#t:Traversal">Traversal</a> (<a href="Linear-V.html#t:V">V</a> k n a) (<a href="Linear-V.html#t:V">V</a> k n b) a b <a href="#v:each" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:MVector:47" class="instance expander" onclick="toggleSection('i:id:V:MVector:47')"></span> <span class="keyword">data</span> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> s (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-508" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:MVector:47" class="inst-details hide"><div class="src"><span class="keyword">data</span> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> s (<a href="Linear-V.html#t:V">V</a> k n a) = <a id="v:MV_VN" class="def">MV_VN</a> !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> !(<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:MVector">MVector</a> s a)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Rep1:48" class="instance expander" onclick="toggleSection('i:id:V:Rep1:48')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep1">Rep1</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-120" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Rep1:48" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep1">Rep1</a> (<a href="Linear-V.html#t:V">V</a> k n) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:D1">D1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#v:MetaData">MetaData</a> &quot;V&quot; &quot;Linear.V&quot; &quot;linear-1.20.5-6VVCfhyb4Bg7I2CD62sxYV&quot; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#v:True">True</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:C1">C1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#v:MetaCons">MetaCons</a> &quot;V&quot; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#v:PrefixI">PrefixI</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#v:True">True</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:S1">S1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#v:MetaSel">MetaSel</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Maybe.html#v:Just">Just</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-TypeLits.html#t:Symbol">Symbol</a> &quot;toVector&quot;) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#v:NoSourceUnpackedness">NoSourceUnpackedness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#v:NoSourceStrictness">NoSourceStrictness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#v:DecidedLazy">DecidedLazy</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rec1">Rec1</a> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a>)))</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Rep:49" class="instance expander" onclick="toggleSection('i:id:V:Rep:49')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-adjunctions-doc/html/Data-Functor-Rep.html#t:Rep">Rep</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-V.html#line-406" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Rep:49" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-adjunctions-doc/html/Data-Functor-Rep.html#t:Rep">Rep</a> (<a href="Linear-V.html#t:V">V</a> k n) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Diff:50" class="instance expander" onclick="toggleSection('i:id:V:Diff:50')"></span> <span class="keyword">type</span> <a href="Linear-Affine.html#t:Diff">Diff</a> (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n)</span> <a href="src/Linear-Affine.html#line-131" class="link">Source</a> <a href="#t:Diff" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Diff:50" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Linear-Affine.html#t:Diff">Diff</a> (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n) = <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> n</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Rep:51" class="instance expander" onclick="toggleSection('i:id:V:Rep:51')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-120" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Rep:51" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rep">Rep</a> (<a href="Linear-V.html#t:V">V</a> k n a) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:D1">D1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#v:MetaData">MetaData</a> &quot;V&quot; &quot;Linear.V&quot; &quot;linear-1.20.5-6VVCfhyb4Bg7I2CD62sxYV&quot; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#v:True">True</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:C1">C1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#v:MetaCons">MetaCons</a> &quot;V&quot; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#v:PrefixI">PrefixI</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#v:True">True</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:S1">S1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#v:MetaSel">MetaSel</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Maybe.html#v:Just">Just</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-TypeLits.html#t:Symbol">Symbol</a> &quot;toVector&quot;) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#v:NoSourceUnpackedness">NoSourceUnpackedness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#v:NoSourceStrictness">NoSourceStrictness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#v:DecidedLazy">DecidedLazy</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-Generics.html#t:Rec0">Rec0</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a))))</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Vector:52" class="instance expander" onclick="toggleSection('i:id:V:Vector:52')"></span> <span class="keyword">data</span> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-507" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Vector:52" class="inst-details hide"><div class="src"><span class="keyword">data</span> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> (<a href="Linear-V.html#t:V">V</a> k n a) = <a id="v:V_VN" class="def">V_VN</a> !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> !(<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> a)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Index:53" class="instance expander" onclick="toggleSection('i:id:V:Index:53')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-At.html#t:Index">Index</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-412" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:Index:53" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-At.html#t:Index">Index</a> (<a href="Linear-V.html#t:V">V</a> k n a) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:IxValue:54" class="instance expander" onclick="toggleSection('i:id:V:IxValue:54')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-413" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:id:V:IxValue:54" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-At.html#t:IxValue">IxValue</a> (<a href="Linear-V.html#t:V">V</a> k n a) = a</div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:int" class="def">int</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> <a href="#v:int" class="selflink">#</a></p><div class="doc"><p>This can be used to generate a template haskell splice for a type level version of a given <code><a href="Linear-V.html#v:int">int</a></code>.</p><p>This does not use GHC TypeLits, instead it generates a numeric type by hand similar to the ones used
 in the &quot;Functional Pearl: Implicit Configurations&quot; paper by Oleg Kiselyov and Chung-Chieh Shan.</p><p><code>instance Num (Q Exp)</code> provided in this package allows writing <code>$(3)</code>
 instead of <code>$(int 3)</code>. Sometimes the two will produce the same
 representation (if compiled without the <code>-DUSE_TYPE_LITS</code> preprocessor
 directive).</p></div></div><div class="top"><p class="src"><a id="v:dim" class="def">dim</a> :: <span class="keyword">forall</span> n a. <a href="Linear-V.html#t:Dim">Dim</a> n =&gt; <a href="Linear-V.html#t:V">V</a> n a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> <a href="src/Linear-V.html#dim" class="link">Source</a> <a href="#v:dim" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Dim" class="def">Dim</a> n <span class="keyword">where</span> <a href="src/Linear-V.html#Dim" class="link">Source</a> <a href="#t:Dim" class="selflink">#</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Linear-V.html#v:reflectDim">reflectDim</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:reflectDim" class="def">reflectDim</a> :: p n -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> <a href="src/Linear-V.html#reflectDim" class="link">Source</a> <a href="#v:reflectDim" class="selflink">#</a></p></div><div class="subs instances"><p id="control.i:Dim" class="caption collapser" onclick="toggleSection('i:Dim')">Instances</p><div id="section.i:Dim" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Dim:Dim:1" class="instance expander" onclick="toggleSection('i:ic:Dim:Dim:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-TypeLits.html#t:KnownNat">KnownNat</a> n =&gt; <a href="Linear-V.html#t:Dim">Dim</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-TypeLits.html#t:Nat">Nat</a> n</span> <a href="src/Linear-V.html#line-132" class="link">Source</a> <a href="#t:Dim" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:ic:Dim:Dim:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:reflectDim">reflectDim</a> :: p n -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> <a href="src/Linear-V.html#reflectDim" class="link">Source</a> <a href="#v:reflectDim" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Dim:Dim:2" class="instance expander" onclick="toggleSection('i:ic:Dim:Dim:2')"></span> <a href="Linear-V.html#t:Dim">Dim</a> k n =&gt; <a href="Linear-V.html#t:Dim">Dim</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> (<a href="Linear-V.html#t:V">V</a> k n a)</span> <a href="src/Linear-V.html#line-169" class="link">Source</a> <a href="#t:Dim" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:ic:Dim:Dim:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:reflectDim">reflectDim</a> :: p n -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> <a href="src/Linear-V.html#reflectDim" class="link">Source</a> <a href="#v:reflectDim" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:reifyDim" class="def">reifyDim</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; (<span class="keyword">forall</span> n. <a href="Linear-V.html#t:Dim">Dim</a> n =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Proxy.html#t:Proxy">Proxy</a> n -&gt; r) -&gt; r <a href="src/Linear-V.html#reifyDim" class="link">Source</a> <a href="#v:reifyDim" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:reifyVector" class="def">reifyVector</a> :: <span class="keyword">forall</span> a r. <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a -&gt; (<span class="keyword">forall</span> n. <a href="Linear-V.html#t:Dim">Dim</a> n =&gt; <a href="Linear-V.html#t:V">V</a> n a -&gt; r) -&gt; r <a href="src/Linear-V.html#reifyVector" class="link">Source</a> <a href="#v:reifyVector" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:reifyDimNat" class="def">reifyDimNat</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -&gt; (<span class="keyword">forall</span> n. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-TypeLits.html#t:KnownNat">KnownNat</a> n =&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Proxy.html#t:Proxy">Proxy</a> n -&gt; r) -&gt; r <a href="src/Linear-V.html#reifyDimNat" class="link">Source</a> <a href="#v:reifyDimNat" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:reifyVectorNat" class="def">reifyVectorNat</a> :: <span class="keyword">forall</span> a r. <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a -&gt; (<span class="keyword">forall</span> n. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/GHC-TypeLits.html#t:KnownNat">KnownNat</a> n =&gt; <a href="Linear-V.html#t:V">V</a> n a -&gt; r) -&gt; r <a href="src/Linear-V.html#reifyVectorNat" class="link">Source</a> <a href="#v:reifyVectorNat" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:fromVector" class="def">fromVector</a> :: <span class="keyword">forall</span> n a. <a href="Linear-V.html#t:Dim">Dim</a> n =&gt; <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Linear-V.html#t:V">V</a> n a) <a href="src/Linear-V.html#fromVector" class="link">Source</a> <a href="#v:fromVector" 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.2</p></div></body></html>