/usr/share/doc/libghc-linear-doc/html/Linear-V.html is in libghc-linear-doc 1.20.7-1.
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.7: Linear Algebra</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">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 <ekmett@gmail.com></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.1.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.1.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 => <a href="Linear-V.html#t:V">V</a> n a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></li><li class="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.1.0/Data-Int.html#t:Int">Int</a> -> (<span class="keyword">forall</span> n. <a href="Linear-V.html#t:Dim">Dim</a> n => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Proxy.html#t:Proxy">Proxy</a> n -> r) -> 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 -> (<span class="keyword">forall</span> n. <a href="Linear-V.html#t:Dim">Dim</a> n => <a href="Linear-V.html#t:V">V</a> n a -> r) -> 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.1.0/Data-Int.html#t:Int">Int</a> -> (<span class="keyword">forall</span> n. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:KnownNat">KnownNat</a> n => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Proxy.html#t:Proxy">Proxy</a> n -> r) -> 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 -> (<span class="keyword">forall</span> n. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:KnownNat">KnownNat</a> n => <a href="Linear-V.html#t:V">V</a> n a -> r) -> 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 => <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Linear-V.html#t:V">V</a> n a)</li><li class="src short"><span class="keyword">class</span> <a href="#t:Finite">Finite</a> v <span class="keyword">where</span><ul class="subs"><li><span class="keyword">type</span> <a href="#t:Size">Size</a> (v :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a></li></ul></li><li class="src short"><a href="#v:_V">_V</a> :: (<a href="Linear-V.html#t:Finite">Finite</a> u, <a href="Linear-V.html#t:Finite">Finite</a> v) => <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Type.html#t:Iso">Iso</a> (<a href="Linear-V.html#t:V">V</a> (<a href="Linear-V.html#t:Size">Size</a> u) a) (<a href="Linear-V.html#t:V">V</a> (<a href="Linear-V.html#t:Size">Size</a> v) b) (u a) (v b)</li><li class="src short"><a href="#v:_V-39-">_V'</a> :: <a href="Linear-V.html#t:Finite">Finite</a> v => <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Type.html#t:Iso">Iso</a> (<a href="Linear-V.html#t:V">V</a> (<a href="Linear-V.html#t:Size">Size</a> v) a) (<a href="Linear-V.html#t:V">V</a> (<a href="Linear-V.html#t:Size">Size</a> v) b) (v a) (v b)</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"> </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"> </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.1.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-210" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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.1.0/Data-Int.html#t:Int">Int</a> -> a -> b) -> <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: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.1.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) => p a (f b) -> <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.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-253" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> a -> m) -> <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.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.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f) => p a (f a) -> <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Data-Int.html#t:Int">Int</a> -> a -> b -> b) -> b -> <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Data-Int.html#t:Int">Int</a> -> b -> a -> b) -> b -> <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Data-Int.html#t:Int">Int</a> -> a -> b -> b) -> b -> <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Data-Int.html#t:Int">Int</a> -> b -> a -> b) -> b -> <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.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-261" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> a -> f b) -> <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Data-Int.html#t:Int">Int</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f) => p a (f b) -> <a href="Linear-V.html#t:V">V</a> k n a -> 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-Mutable.html#t:Unbox">Unbox</a> a) => <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-572" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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 => <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) -> 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 => <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) -> 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) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.1.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/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="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.1.0/Control-Monad.html#t:Monad">Monad</a> 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="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> 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 => <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="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) -> 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) -> <a href="Linear-V.html#t:V">V</a> k n a -> b -> 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-Mutable.html#t:Unbox">Unbox</a> a) => <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-Mutable.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-543" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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-Mutable.html#t:MVector">MVector</a> s (<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.1.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.1.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.html#t:MVector">MVector</a> s (<a href="Linear-V.html#t:V">V</a> k n a) -> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.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-Mutable.html#t:MVector">MVector</a> s (<a href="Linear-V.html#t:V">V</a> k n a) -> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.html#t:MVector">MVector</a> s (<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.1.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 => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> m (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.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 => <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a) -> m () <a href="#v:basicInitialize" class="selflink">#</a></p><p class="src"><a href="#v:basicUnsafeReplicate">basicUnsafeReplicate</a> :: PrimMonad m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Linear-V.html#t:V">V</a> k n a -> m (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.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 => <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.html#t:MVector">MVector</a> (PrimState m) (<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.1.0/Data-Int.html#t:Int">Int</a> -> 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 => <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.html#t:MVector">MVector</a> (PrimState m) (<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.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Linear-V.html#t:V">V</a> k n a -> m () <a href="#v:basicUnsafeWrite" class="selflink">#</a></p><p class="src"><a href="#v:basicClear">basicClear</a> :: PrimMonad m => <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a) -> m () <a href="#v:basicClear" class="selflink">#</a></p><p class="src"><a href="#v:basicSet">basicSet</a> :: PrimMonad m => <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a) -> <a href="Linear-V.html#t:V">V</a> k n a -> m () <a href="#v:basicSet" class="selflink">#</a></p><p class="src"><a href="#v:basicUnsafeCopy">basicUnsafeCopy</a> :: PrimMonad m => <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a) -> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a) -> m () <a href="#v:basicUnsafeCopy" class="selflink">#</a></p><p class="src"><a href="#v:basicUnsafeMove">basicUnsafeMove</a> :: PrimMonad m => <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a) -> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.html#t:MVector">MVector</a> (PrimState m) (<a href="Linear-V.html#t:V">V</a> k n a) -> m () <a href="#v:basicUnsafeMove" class="selflink">#</a></p><p class="src"><a href="#v:basicUnsafeGrow">basicUnsafeGrow</a> :: PrimMonad m => <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.html#t:MVector">MVector</a> (PrimState m) (<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.1.0/Data-Int.html#t:Int">Int</a> -> m (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.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 => <a href="Linear-V.html#t:Dim">Dim</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-202" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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 -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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 => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-281" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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-">(>>=)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -> (a -> <a href="Linear-V.html#t:V">V</a> k n b) -> <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-">(>>)</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 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 -> <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.1.0/Data-String.html#t:String">String</a> -> <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.1.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-206" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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 -> b) -> <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:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Linear-V.html#t:V">V</a> k n b -> <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 => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-457" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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 -> <a href="Linear-V.html#t:V">V</a> k n a) -> <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 => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-269" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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 -> <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-">(<*>)</a> :: <a href="Linear-V.html#t:V">V</a> k n (a -> b) -> <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:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*>)</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 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-">(<*)</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 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.1.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-214" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="Linear-V.html#t:V">V</a> k n m -> 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.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> <a href="Linear-V.html#t:V">V</a> k n a -> m <a href="#v:foldMap" class="selflink">#</a></p><p class="src"><a href="#v:foldr">foldr</a> :: (a -> b -> b) -> b -> <a href="Linear-V.html#t:V">V</a> k n a -> b <a href="#v:foldr" class="selflink">#</a></p><p class="src"><a href="#v:foldr-39-">foldr'</a> :: (a -> b -> b) -> b -> <a href="Linear-V.html#t:V">V</a> k n a -> b <a href="#v:foldr-39-" class="selflink">#</a></p><p class="src"><a href="#v:foldl">foldl</a> :: (b -> a -> b) -> b -> <a href="Linear-V.html#t:V">V</a> k n a -> b <a href="#v:foldl" class="selflink">#</a></p><p class="src"><a href="#v:foldl-39-">foldl'</a> :: (b -> a -> b) -> b -> <a href="Linear-V.html#t:V">V</a> k n a -> b <a href="#v:foldl-39-" class="selflink">#</a></p><p class="src"><a href="#v:foldr1">foldr1</a> :: (a -> a -> a) -> <a href="Linear-V.html#t:V">V</a> k n a -> a <a href="#v:foldr1" class="selflink">#</a></p><p class="src"><a href="#v:foldl1">foldl1</a> :: (a -> a -> a) -> <a href="Linear-V.html#t:V">V</a> k n a -> 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 -> [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 -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v: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 -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.1.0/Data-Eq.html#t:Eq">Eq</a> a => 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.1.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.1.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Prelude.html#t:Num">Num</a> a => <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Prelude.html#t:Num">Num</a> a => <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.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-257" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => (a -> f b) -> <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => <a href="Linear-V.html#t:V">V</a> k n (f a) -> 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.1.0/Control-Monad.html#t:Monad">Monad</a> m => (a -> m b) -> <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="Linear-V.html#t:V">V</a> k n (m a) -> 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.1.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-156" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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.1.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.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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 -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.1.0/GHC-Generics.html#t:Rep1">Rep1</a> (<a href="Linear-V.html#t:V">V</a> k n) a -> <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 => <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-358" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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.1.0/Data-Functor.html#t:Functor">Functor</a> f => f (<a href="Linear-V.html#t:V">V</a> k n a) -> <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.1.0/Data-Functor.html#t:Functor">Functor</a> f => (a -> <a href="Linear-V.html#t:V">V</a> k n b) -> f a -> <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.1.0/Control-Monad.html#t:Monad">Monad</a> m => m (<a href="Linear-V.html#t:V">V</a> k n a) -> <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.1.0/Control-Monad.html#t:Monad">Monad</a> m => (a -> <a href="Linear-V.html#t:V">V</a> k n b) -> m a -> <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 => <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-437" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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) -> a) -> <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 -> <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 <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.1.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-508" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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 -> b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</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 href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.1.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-514" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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 -> b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</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 href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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 => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-524" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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.1.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> [a] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/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.1.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> [a] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.1.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-521" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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.1.0/Data-Int.html#t:Int">Int</a> -> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a>) -> ([a] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a>) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</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.1.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.1.0/Data-Int.html#t:Int">Int</a> -> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a>) -> ([a] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a>) -> [<a href="Linear-V.html#t:V">V</a> k n a] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v: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 => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-453" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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 -> <a href="Linear-V.html#t:V">V</a> k n b -> <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 -> b -> c) -> <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="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) -> (<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 => <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-491" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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 => (a -> m ()) -> <a href="Linear-V.html#t:V">V</a> k n a -> 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 => m a -> 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-265" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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-">(<.>)</a> :: <a href="Linear-V.html#t:V">V</a> k n (a -> b) -> <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:-60-.-62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62-">(.>)</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 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-.">(<.)</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 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-276" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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-">(>>-)</a> :: <a href="Linear-V.html#t:V">V</a> k n a -> (a -> <a href="Linear-V.html#t:V">V</a> k n b) -> <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) -> <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 => <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-288" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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.1.0/Prelude.html#t:Num">Num</a> a => <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.1.0/Prelude.html#t:Num">Num</a> a => <a href="Linear-V.html#t:V">V</a> k n a -> <a href="Linear-V.html#t:V">V</a> k n a -> <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.1.0/Prelude.html#t:Num">Num</a> a => <a href="Linear-V.html#t:V">V</a> k n a -> <a href="Linear-V.html#t:V">V</a> k n a -> <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.1.0/Prelude.html#t:Num">Num</a> a => a -> <a href="Linear-V.html#t:V">V</a> k n a -> <a href="Linear-V.html#t:V">V</a> k n a -> <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 -> a -> a) -> <a href="Linear-V.html#t:V">V</a> k n a -> <a href="Linear-V.html#t:V">V</a> k n a -> <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 -> b -> c) -> <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="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 => <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-379" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </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.1.0/Prelude.html#t:Num">Num</a> a => <a href="Linear-V.html#t:V">V</a> k n a -> <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Prelude.html#t:Num">Num</a> a => <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Prelude.html#t:Num">Num</a> a => <a href="Linear-V.html#t:V">V</a> k n a -> <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Numeric.html#t:Floating">Floating</a> a => <a href="Linear-V.html#t:V">V</a> k n a -> <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Numeric.html#t:Floating">Floating</a> a => <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Numeric.html#t:Floating">Floating</a> a => <a href="Linear-V.html#t:V">V</a> k n a -> <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:Finite:26" class="instance expander" onclick="toggleSection('i:id:V:Finite:26')"></span> <a href="Linear-V.html#t:Finite">Finite</a> (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> n)</span> <a href="src/Linear-V.html#line-146" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Finite:26" 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-V.html#t:Size">Size</a> (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> n :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> <a href="src/Linear-V.html#Size" class="link">Source</a> <a href="#t:Size" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toV">toV</a> :: <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> n a -> <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> n)) a <a href="src/Linear-V.html#toV" class="link">Source</a> <a href="#v:toV" class="selflink">#</a></p><p class="src"><a href="#v:fromV">fromV</a> :: <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> n)) a -> <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> n a <a href="src/Linear-V.html#fromV" class="link">Source</a> <a href="#v:fromV" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Trace:27" class="instance expander" onclick="toggleSection('i:id:V:Trace:27')"></span> <a href="Linear-V.html#t:Dim">Dim</a> k n => <a href="Linear-Trace.html#t:Trace">Trace</a> (<a href="Linear-V.html#t:V">V</a> k n)</span> <a href="src/Linear-Trace.html#line-87" class="link">Source</a> <a href="#t:Trace" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Trace:27" 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.1.0/Prelude.html#t:Num">Num</a> a => <a href="Linear-V.html#t:V">V</a> k n (<a href="Linear-V.html#t:V">V</a> k n a) -> 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> k n (<a href="Linear-V.html#t:V">V</a> k n a) -> <a href="Linear-V.html#t:V">V</a> k 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:28" class="instance expander" onclick="toggleSection('i:id:V:Affine:28')"></span> <a href="Linear-V.html#t:Dim">Dim</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> n => <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.1.0/Data-Kind.html#t:-42-">*</a> n)</span> <a href="src/Linear-Affine.html#line-134" class="link">Source</a> <a href="#t:Affine" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Affine:28" 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.1.0/Data-Kind.html#t:-42-">*</a> n :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="src/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.1.0/Prelude.html#t:Num">Num</a> a => <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> n a -> <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> n a -> <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.1.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.1.0/Prelude.html#t:Num">Num</a> a => <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> n a -> <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.1.0/Data-Kind.html#t:-42-">*</a> n) a -> <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.1.0/Prelude.html#t:Num">Num</a> a => <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> n a -> <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.1.0/Data-Kind.html#t:-42-">*</a> n) a -> <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:29" class="instance expander" onclick="toggleSection('i:id:V:Bounded:29')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Bounded">Bounded</a> 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.1.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-464" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Bounded:29" 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:30" class="instance expander" onclick="toggleSection('i:id:V:Eq:30')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> a => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-152" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Eq:30" 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 -> <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.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Linear-V.html#t:V">V</a> k n 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.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Floating:31" class="instance expander" onclick="toggleSection('i:id:V:Floating: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.1.0/Numeric.html#t:Floating">Floating</a> a) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-320" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Floating:31" 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 -> <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 -> <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 -> <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 -> <a href="Linear-V.html#t:V">V</a> k n a -> <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 -> <a href="Linear-V.html#t:V">V</a> k n a -> <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 -> <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 -> <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 -> <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 -> <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 -> <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 -> <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 -> <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 -> <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 -> <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 -> <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 -> <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 -> <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 -> <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 -> <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 -> <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 -> <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:32" class="instance expander" onclick="toggleSection('i:id:V:Fractional:32')"></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.1.0/Prelude.html#t:Fractional">Fractional</a> a) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-312" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Fractional:32" 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 -> <a href="Linear-V.html#t:V">V</a> k n a -> <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 -> <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.1.0/Prelude.html#t:Rational">Rational</a> -> <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:33" class="instance expander" onclick="toggleSection('i:id:V:Data:33')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.1.0/Data-Data.html#t:Data">Data</a> a) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-482" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Data:33" 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.1.0/Data-Data.html#t:Data">Data</a> d => c (d -> b) -> d -> c b) -> (<span class="keyword">forall</span> g. g -> c g) -> <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Data-Data.html#t:Data">Data</a> b => c (b -> r) -> c r) -> (<span class="keyword">forall</span> r. r -> c r) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Data.html#t:Constr">Constr</a> -> 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 -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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 -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) t => (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Data.html#t:Data">Data</a> d => c (t d)) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) t => (<span class="keyword">forall</span> d e. (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Data.html#t:Data">Data</a> d, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Data.html#t:Data">Data</a> e) => c (t d e)) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.1.0/Data-Data.html#t:Data">Data</a> b => b -> b) -> <a href="Linear-V.html#t:V">V</a> k n a -> <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 -> r' -> r) -> r -> (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Data.html#t:Data">Data</a> d => d -> r') -> <a href="Linear-V.html#t:V">V</a> k n a -> r <a href="#v:gmapQl" class="selflink">#</a></p><p class="src"><a href="#v:gmapQr">gmapQr</a> :: (r' -> r -> r) -> r -> (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Data.html#t:Data">Data</a> d => d -> r') -> <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Data-Data.html#t:Data">Data</a> d => d -> u) -> <a href="Linear-V.html#t:V">V</a> k n a -> [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.1.0/Data-Int.html#t:Int">Int</a> -> (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Data.html#t:Data">Data</a> d => d -> u) -> <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Control-Monad.html#t:Monad">Monad</a> m => (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Data.html#t:Data">Data</a> d => d -> m d) -> <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m => (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Data.html#t:Data">Data</a> d => d -> m d) -> <a href="Linear-V.html#t:V">V</a> k n a -> 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.1.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m => (<span class="keyword">forall</span> d. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Data.html#t:Data">Data</a> d => d -> m d) -> <a href="Linear-V.html#t:V">V</a> k n a -> 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:34" class="instance expander" onclick="toggleSection('i:id:V:Num:34')"></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.1.0/Prelude.html#t:Num">Num</a> a) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-296" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Num:34" 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 -> <a href="Linear-V.html#t:V">V</a> k n a -> <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 -> <a href="Linear-V.html#t:V">V</a> k n a -> <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 -> <a href="Linear-V.html#t:V">V</a> k n a -> <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 -> <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 -> <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 -> <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.1.0/Prelude.html#t:Integer">Integer</a> -> <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:35" class="instance expander" onclick="toggleSection('i:id:V:Ord:35')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-152" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Ord:35" 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 -> <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.1.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="#v:compare" class="selflink">#</a></p><p class="src"><a href="#v:-60-">(<)</a> :: <a href="Linear-V.html#t:V">V</a> k n 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.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(<=)</a> :: <a href="Linear-V.html#t:V">V</a> k n 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.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62-">(>)</a> :: <a href="Linear-V.html#t:V">V</a> k n 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.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62-" class="selflink">#</a></p><p class="src"><a href="#v:-62--61-">(>=)</a> :: <a href="Linear-V.html#t:V">V</a> k n 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.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62--61-" class="selflink">#</a></p><p class="src"><a href="#v:max">max</a> :: <a href="Linear-V.html#t:V">V</a> k n a -> <a href="Linear-V.html#t:V">V</a> k n a -> <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 -> <a href="Linear-V.html#t:V">V</a> k n a -> <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:36" class="instance expander" onclick="toggleSection('i:id:V:Read:36')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Read.html#t:Read">Read</a> a => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-152" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Read:36" 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.1.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.1.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.1.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.1.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:37" class="instance expander" onclick="toggleSection('i:id:V:Show:37')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> a => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-152" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Show:37" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Linear-V.html#t:V">V</a> k n a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Linear-V.html#t:V">V</a> k n a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Linear-V.html#t:V">V</a> k n a] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Generic:38" class="instance expander" onclick="toggleSection('i:id:V:Generic:38')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-153" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Generic:38" 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.1.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.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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 -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.1.0/GHC-Generics.html#t:Rep">Rep</a> (<a href="Linear-V.html#t:V">V</a> k n a) x -> <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:39" class="instance expander" onclick="toggleSection('i:id:V:Storable:39')"></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.1.0/Foreign-Storable.html#t:Storable">Storable</a> a) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-362" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Storable:39" 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 -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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 -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.1.0/Foreign-Ptr.html#t:Ptr">Ptr</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.1.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.1.0/Foreign-Ptr.html#t:Ptr">Ptr</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.1.0/Data-Int.html#t:Int">Int</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.1.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.1.0/Foreign-Ptr.html#t:Ptr">Ptr</a> b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/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.1.0/Foreign-Ptr.html#t:Ptr">Ptr</a> b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</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.1.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.1.0/Foreign-Ptr.html#t:Ptr">Ptr</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.1.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.1.0/Foreign-Ptr.html#t:Ptr">Ptr</a> (<a href="Linear-V.html#t:V">V</a> k n 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.1.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:40" class="instance expander" onclick="toggleSection('i:id:V:Binary:40')"></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) => <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-499" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Binary:40" 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 -> <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] -> <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:41" class="instance expander" onclick="toggleSection('i:id:V:Serial:41')"></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) => <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-495" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Serial:41" 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 => <a href="Linear-V.html#t:V">V</a> k n a -> 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 => 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:42" class="instance expander" onclick="toggleSection('i:id:V:Serialize:42')"></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) => <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-503" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Serialize:42" 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:43" class="instance expander" onclick="toggleSection('i:id:V:NFData:43')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/deepseq-1.4.2.0/Control-DeepSeq.html#t:NFData">NFData</a> a => <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-152" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:NFData:43" 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 -> () <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:44" class="instance expander" onclick="toggleSection('i:id:V:Unbox:44')"></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-Mutable.html#t:Unbox">Unbox</a> a) => <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.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-541" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Unbox:44" class="inst-details hide"></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Ixed:45" class="instance expander" onclick="toggleSection('i:id:V:Ixed:45')"></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-447" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Ixed:45" 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) -> <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:46" class="instance expander" onclick="toggleSection('i:id:V:Epsilon:46')"></span> (<a href="Linear-V.html#t:Dim">Dim</a> k n, <a href="Linear-Epsilon.html#t:Epsilon">Epsilon</a> a) => <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-375" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Epsilon:46" 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 -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:47" class="instance expander" onclick="toggleSection('i:id:V:Each:47')"></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-460" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Each:47" 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:48" class="instance expander" onclick="toggleSection('i:id:V:MVector:48')"></span> <span class="keyword">data</span> <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.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-540" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:MVector:48" 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-Mutable.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.1.0/Data-Int.html#t:Int">Int</a> !(<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed-Mutable.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:49" class="instance expander" onclick="toggleSection('i:id:V:Rep1:49')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-152" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Rep1:49" 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.1.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.1.0/GHC-Generics.html#t:D1">D1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaData">MetaData</a> "V" "Linear.V" "linear-1.20.7-CvaXC2ebC1zHQ7FJwFrAk8" <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:True">True</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:C1">C1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaCons">MetaCons</a> "V" <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:PrefixI">PrefixI</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:True">True</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:S1">S1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaSel">MetaSel</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#v:Just">Just</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a> "toVector") <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceUnpackedness">NoSourceUnpackedness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceStrictness">NoSourceStrictness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:DecidedLazy">DecidedLazy</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:50" class="instance expander" onclick="toggleSection('i:id:V:Rep:50')"></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-438" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Rep:50" 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.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Size:51" class="instance expander" onclick="toggleSection('i:id:V:Size:51')"></span> <span class="keyword">type</span> <a href="Linear-V.html#t:Size">Size</a> (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> n)</span> <a href="src/Linear-V.html#line-147" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Size:51" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="Linear-V.html#t:Size">Size</a> (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> n) = n</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:Diff:52" class="instance expander" onclick="toggleSection('i:id:V:Diff:52')"></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.1.0/Data-Kind.html#t:-42-">*</a> n)</span> <a href="src/Linear-Affine.html#line-134" class="link">Source</a> <a href="#t:Diff" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Diff:52" 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.1.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.1.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:53" class="instance expander" onclick="toggleSection('i:id:V:Rep:53')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-152" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Rep:53" 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.1.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.1.0/GHC-Generics.html#t:D1">D1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaData">MetaData</a> "V" "Linear.V" "linear-1.20.7-CvaXC2ebC1zHQ7FJwFrAk8" <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:True">True</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:C1">C1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaCons">MetaCons</a> "V" <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:PrefixI">PrefixI</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:True">True</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:S1">S1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaSel">MetaSel</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#v:Just">Just</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a> "toVector") <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceUnpackedness">NoSourceUnpackedness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceStrictness">NoSourceStrictness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:DecidedLazy">DecidedLazy</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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:54" class="instance expander" onclick="toggleSection('i:id:V:Vector:54')"></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-539" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Vector:54" 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.1.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:55" class="instance expander" onclick="toggleSection('i:id:V:Index:55')"></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-444" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:Index:55" 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.1.0/Data-Int.html#t:Int">Int</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:V:IxValue:56" class="instance expander" onclick="toggleSection('i:id:V:IxValue:56')"></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-445" class="link">Source</a> <a href="#t:V" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:V:IxValue:56" 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.1.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.1.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 "Functional Pearl: Implicit Configurations" 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 => <a href="Linear-V.html#t:V">V</a> n a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> <a href="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 -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.1.0/GHC-TypeLits.html#t:KnownNat">KnownNat</a> n => <a href="Linear-V.html#t:Dim">Dim</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> n</span> <a href="src/Linear-V.html#line-165" class="link">Source</a> <a href="#t:Dim" class="selflink">#</a></td><td class="doc empty"> </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 -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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 => <a href="Linear-V.html#t:Dim">Dim</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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-202" class="link">Source</a> <a href="#t:Dim" class="selflink">#</a></td><td class="doc empty"> </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 -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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.1.0/Data-Int.html#t:Int">Int</a> -> (<span class="keyword">forall</span> n. <a href="Linear-V.html#t:Dim">Dim</a> n => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Proxy.html#t:Proxy">Proxy</a> n -> r) -> 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 -> (<span class="keyword">forall</span> n. <a href="Linear-V.html#t:Dim">Dim</a> n => <a href="Linear-V.html#t:V">V</a> n a -> r) -> 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.1.0/Data-Int.html#t:Int">Int</a> -> (<span class="keyword">forall</span> n. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:KnownNat">KnownNat</a> n => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Proxy.html#t:Proxy">Proxy</a> n -> r) -> 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 -> (<span class="keyword">forall</span> n. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:KnownNat">KnownNat</a> n => <a href="Linear-V.html#t:V">V</a> n a -> r) -> 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 => <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.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 class="top"><p class="src"><span class="keyword">class</span> <a id="t:Finite" class="def">Finite</a> v <span class="keyword">where</span> <a href="src/Linear-V.html#Finite" class="link">Source</a> <a href="#t:Finite" class="selflink">#</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Linear-V.html#v:fromV">fromV</a></p></div><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a id="t:Size" class="def">Size</a> (v :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> <a href="src/Linear-V.html#Size" class="link">Source</a> <a href="#t:Size" class="selflink">#</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:toV" class="def">toV</a> :: v a -> <a href="Linear-V.html#t:V">V</a> (<a href="Linear-V.html#t:Size">Size</a> v) a <a href="src/Linear-V.html#toV" class="link">Source</a> <a href="#v:toV" class="selflink">#</a></p><p class="src"><a id="v:toV" class="def">toV</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Foldable.html#t:Foldable">Foldable</a> v => v a -> <a href="Linear-V.html#t:V">V</a> (<a href="Linear-V.html#t:Size">Size</a> v) a <a href="src/Linear-V.html#toV" class="link">Source</a> <a href="#v:toV" class="selflink">#</a></p><p class="src"><a id="v:fromV" class="def">fromV</a> :: <a href="Linear-V.html#t:V">V</a> (<a href="Linear-V.html#t:Size">Size</a> v) a -> v a <a href="src/Linear-V.html#fromV" class="link">Source</a> <a href="#v:fromV" class="selflink">#</a></p></div><div class="subs instances"><p id="control.i:Finite" class="caption collapser" onclick="toggleSection('i:Finite')">Instances</p><div id="section.i:Finite" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Finite:Finite:1" class="instance expander" onclick="toggleSection('i:ic:Finite:Finite:1')"></span> <a href="Linear-V.html#t:Finite">Finite</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Complex.html#t:Complex">Complex</a></span> <a href="src/Linear-V.html#line-135" class="link">Source</a> <a href="#t:Finite" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Finite:Finite:1" 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-V.html#t:Size">Size</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Complex.html#t:Complex">Complex</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> <a href="src/Linear-V.html#Size" class="link">Source</a> <a href="#t:Size" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toV">toV</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Complex.html#t:Complex">Complex</a> a -> <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Complex.html#t:Complex">Complex</a>) a <a href="src/Linear-V.html#toV" class="link">Source</a> <a href="#v:toV" class="selflink">#</a></p><p class="src"><a href="#v:fromV">fromV</a> :: <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Complex.html#t:Complex">Complex</a>) a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Complex.html#t:Complex">Complex</a> a <a href="src/Linear-V.html#fromV" class="link">Source</a> <a href="#v:fromV" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Finite:Finite:2" class="instance expander" onclick="toggleSection('i:ic:Finite:Finite:2')"></span> <a href="Linear-V.html#t:Finite">Finite</a> <a href="Linear-V0.html#t:V0">V0</a></span> <a href="src/Linear-V.html#line-104" class="link">Source</a> <a href="#t:Finite" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Finite:Finite:2" 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-V.html#t:Size">Size</a> (<a href="Linear-V0.html#t:V0">V0</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> <a href="src/Linear-V.html#Size" class="link">Source</a> <a href="#t:Size" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toV">toV</a> :: <a href="Linear-V0.html#t:V0">V0</a> a -> <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> <a href="Linear-V0.html#t:V0">V0</a>) a <a href="src/Linear-V.html#toV" class="link">Source</a> <a href="#v:toV" class="selflink">#</a></p><p class="src"><a href="#v:fromV">fromV</a> :: <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> <a href="Linear-V0.html#t:V0">V0</a>) a -> <a href="Linear-V0.html#t:V0">V0</a> a <a href="src/Linear-V.html#fromV" class="link">Source</a> <a href="#v:fromV" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Finite:Finite:3" class="instance expander" onclick="toggleSection('i:ic:Finite:Finite:3')"></span> <a href="Linear-V.html#t:Finite">Finite</a> <a href="Linear-V1.html#t:V1">V1</a></span> <a href="src/Linear-V.html#line-122" class="link">Source</a> <a href="#t:Finite" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Finite:Finite:3" 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-V.html#t:Size">Size</a> (<a href="Linear-V1.html#t:V1">V1</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> <a href="src/Linear-V.html#Size" class="link">Source</a> <a href="#t:Size" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toV">toV</a> :: <a href="Linear-V1.html#t:V1">V1</a> a -> <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> <a href="Linear-V1.html#t:V1">V1</a>) a <a href="src/Linear-V.html#toV" class="link">Source</a> <a href="#v:toV" class="selflink">#</a></p><p class="src"><a href="#v:fromV">fromV</a> :: <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> <a href="Linear-V1.html#t:V1">V1</a>) a -> <a href="Linear-V1.html#t:V1">V1</a> a <a href="src/Linear-V.html#fromV" class="link">Source</a> <a href="#v:fromV" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Finite:Finite:4" class="instance expander" onclick="toggleSection('i:ic:Finite:Finite:4')"></span> <a href="Linear-V.html#t:Finite">Finite</a> <a href="Linear-V2.html#t:V2">V2</a></span> <a href="src/Linear-V.html#line-117" class="link">Source</a> <a href="#t:Finite" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Finite:Finite:4" 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-V.html#t:Size">Size</a> (<a href="Linear-V2.html#t:V2">V2</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> <a href="src/Linear-V.html#Size" class="link">Source</a> <a href="#t:Size" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toV">toV</a> :: <a href="Linear-V2.html#t:V2">V2</a> a -> <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> <a href="Linear-V2.html#t:V2">V2</a>) a <a href="src/Linear-V.html#toV" class="link">Source</a> <a href="#v:toV" class="selflink">#</a></p><p class="src"><a href="#v:fromV">fromV</a> :: <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> <a href="Linear-V2.html#t:V2">V2</a>) a -> <a href="Linear-V2.html#t:V2">V2</a> a <a href="src/Linear-V.html#fromV" class="link">Source</a> <a href="#v:fromV" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Finite:Finite:5" class="instance expander" onclick="toggleSection('i:ic:Finite:Finite:5')"></span> <a href="Linear-V.html#t:Finite">Finite</a> <a href="Linear-V3.html#t:V3">V3</a></span> <a href="src/Linear-V.html#line-101" class="link">Source</a> <a href="#t:Finite" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Finite:Finite:5" 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-V.html#t:Size">Size</a> (<a href="Linear-V3.html#t:V3">V3</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> <a href="src/Linear-V.html#Size" class="link">Source</a> <a href="#t:Size" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toV">toV</a> :: <a href="Linear-V3.html#t:V3">V3</a> a -> <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> <a href="Linear-V3.html#t:V3">V3</a>) a <a href="src/Linear-V.html#toV" class="link">Source</a> <a href="#v:toV" class="selflink">#</a></p><p class="src"><a href="#v:fromV">fromV</a> :: <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> <a href="Linear-V3.html#t:V3">V3</a>) a -> <a href="Linear-V3.html#t:V3">V3</a> a <a href="src/Linear-V.html#fromV" class="link">Source</a> <a href="#v:fromV" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Finite:Finite:6" class="instance expander" onclick="toggleSection('i:ic:Finite:Finite:6')"></span> <a href="Linear-V.html#t:Finite">Finite</a> <a href="Linear-V4.html#t:V4">V4</a></span> <a href="src/Linear-V.html#line-108" class="link">Source</a> <a href="#t:Finite" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Finite:Finite:6" 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-V.html#t:Size">Size</a> (<a href="Linear-V4.html#t:V4">V4</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> <a href="src/Linear-V.html#Size" class="link">Source</a> <a href="#t:Size" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toV">toV</a> :: <a href="Linear-V4.html#t:V4">V4</a> a -> <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> <a href="Linear-V4.html#t:V4">V4</a>) a <a href="src/Linear-V.html#toV" class="link">Source</a> <a href="#v:toV" class="selflink">#</a></p><p class="src"><a href="#v:fromV">fromV</a> :: <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> <a href="Linear-V4.html#t:V4">V4</a>) a -> <a href="Linear-V4.html#t:V4">V4</a> a <a href="src/Linear-V.html#fromV" class="link">Source</a> <a href="#v:fromV" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Finite:Finite:7" class="instance expander" onclick="toggleSection('i:ic:Finite:Finite:7')"></span> <a href="Linear-V.html#t:Finite">Finite</a> <a href="Linear-Plucker.html#t:Plucker">Plucker</a></span> <a href="src/Linear-V.html#line-114" class="link">Source</a> <a href="#t:Finite" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Finite:Finite:7" 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-V.html#t:Size">Size</a> (<a href="Linear-Plucker.html#t:Plucker">Plucker</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> <a href="src/Linear-V.html#Size" class="link">Source</a> <a href="#t:Size" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toV">toV</a> :: <a href="Linear-Plucker.html#t:Plucker">Plucker</a> a -> <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> <a href="Linear-Plucker.html#t:Plucker">Plucker</a>) a <a href="src/Linear-V.html#toV" class="link">Source</a> <a href="#v:toV" class="selflink">#</a></p><p class="src"><a href="#v:fromV">fromV</a> :: <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> <a href="Linear-Plucker.html#t:Plucker">Plucker</a>) a -> <a href="Linear-Plucker.html#t:Plucker">Plucker</a> a <a href="src/Linear-V.html#fromV" class="link">Source</a> <a href="#v:fromV" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Finite:Finite:8" class="instance expander" onclick="toggleSection('i:ic:Finite:Finite:8')"></span> <a href="Linear-V.html#t:Finite">Finite</a> <a href="Linear-Quaternion.html#t:Quaternion">Quaternion</a></span> <a href="src/Linear-V.html#line-106" class="link">Source</a> <a href="#t:Finite" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Finite:Finite:8" 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-V.html#t:Size">Size</a> (<a href="Linear-Quaternion.html#t:Quaternion">Quaternion</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> <a href="src/Linear-V.html#Size" class="link">Source</a> <a href="#t:Size" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toV">toV</a> :: <a href="Linear-Quaternion.html#t:Quaternion">Quaternion</a> a -> <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> <a href="Linear-Quaternion.html#t:Quaternion">Quaternion</a>) a <a href="src/Linear-V.html#toV" class="link">Source</a> <a href="#v:toV" class="selflink">#</a></p><p class="src"><a href="#v:fromV">fromV</a> :: <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> <a href="Linear-Quaternion.html#t:Quaternion">Quaternion</a>) a -> <a href="Linear-Quaternion.html#t:Quaternion">Quaternion</a> a <a href="src/Linear-V.html#fromV" class="link">Source</a> <a href="#v:fromV" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Finite:Finite:9" class="instance expander" onclick="toggleSection('i:ic:Finite:Finite:9')"></span> <a href="Linear-V.html#t:Finite">Finite</a> f => <a href="Linear-V.html#t:Finite">Finite</a> (<a href="Linear-Affine.html#t:Point">Point</a> f)</span> <a href="src/Linear-V.html#line-156" class="link">Source</a> <a href="#t:Finite" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Finite:Finite:9" 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-V.html#t:Size">Size</a> (<a href="Linear-Affine.html#t:Point">Point</a> f :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> <a href="src/Linear-V.html#Size" class="link">Source</a> <a href="#t:Size" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toV">toV</a> :: <a href="Linear-Affine.html#t:Point">Point</a> f a -> <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> (<a href="Linear-Affine.html#t:Point">Point</a> f)) a <a href="src/Linear-V.html#toV" class="link">Source</a> <a href="#v:toV" class="selflink">#</a></p><p class="src"><a href="#v:fromV">fromV</a> :: <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> (<a href="Linear-Affine.html#t:Point">Point</a> f)) a -> <a href="Linear-Affine.html#t:Point">Point</a> f a <a href="src/Linear-V.html#fromV" class="link">Source</a> <a href="#v:fromV" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Finite:Finite:10" class="instance expander" onclick="toggleSection('i:ic:Finite:Finite:10')"></span> <a href="Linear-V.html#t:Finite">Finite</a> (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> n)</span> <a href="src/Linear-V.html#line-146" class="link">Source</a> <a href="#t:Finite" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Finite:Finite:10" 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-V.html#t:Size">Size</a> (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> n :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> <a href="src/Linear-V.html#Size" class="link">Source</a> <a href="#t:Size" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toV">toV</a> :: <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> n a -> <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> n)) a <a href="src/Linear-V.html#toV" class="link">Source</a> <a href="#v:toV" class="selflink">#</a></p><p class="src"><a href="#v:fromV">fromV</a> :: <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> (<a href="Linear-V.html#t:Size">Size</a> (<a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> n)) a -> <a href="Linear-V.html#t:V">V</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> n a <a href="src/Linear-V.html#fromV" class="link">Source</a> <a href="#v:fromV" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:_V" class="def">_V</a> :: (<a href="Linear-V.html#t:Finite">Finite</a> u, <a href="Linear-V.html#t:Finite">Finite</a> v) => <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Type.html#t:Iso">Iso</a> (<a href="Linear-V.html#t:V">V</a> (<a href="Linear-V.html#t:Size">Size</a> u) a) (<a href="Linear-V.html#t:V">V</a> (<a href="Linear-V.html#t:Size">Size</a> v) b) (u a) (v b) <a href="src/Linear-V.html#_V" class="link">Source</a> <a href="#v:_V" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:_V-39-" class="def">_V'</a> :: <a href="Linear-V.html#t:Finite">Finite</a> v => <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Type.html#t:Iso">Iso</a> (<a href="Linear-V.html#t:V">V</a> (<a href="Linear-V.html#t:Size">Size</a> v) a) (<a href="Linear-V.html#t:V">V</a> (<a href="Linear-V.html#t:Size">Size</a> v) b) (v a) (v b) <a href="src/Linear-V.html#_V%27" class="link">Source</a> <a href="#v:_V-39-" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>
|