/usr/share/doc/libghc-diagrams-lib-doc/html/Diagrams-LinearMap.html is in libghc-diagrams-lib-doc 1.3.1.4-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 | <!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>Diagrams.LinearMap</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_Diagrams-LinearMap.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Diagrams-LinearMap.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">diagrams-lib-1.3.1.4: Embedded domain-specific language for declarative graphics</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Copyright</th><td>(c) 2014-2015 diagrams team (see LICENSE)</td></tr><tr><th>License</th><td>BSD-style (see LICENSE)</td></tr><tr><th>Maintainer</th><td>diagrams-discuss@googlegroups.com</td></tr><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Diagrams.LinearMap</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Linear maps</a><ul><li><a href="#g:2">Applying linear maps</a></li></ul></li><li><a href="#g:3">Affine maps</a><ul><li><a href="#g:4">Constructing affine maps</a></li></ul></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Linear maps. Unlike <code><a href="Diagrams-Transform.html#t:Transformation">Transformation</a></code>s these are not restricted to the
same space. In practice these are used for projections in
<a href="Diagrams-ThreeD-Projection.html">Diagrams.ThreeD.Projection</a>. Unless you want to work with
projections you're probably better off using <code><a href="Diagrams.html#v:Transform">Transform</a></code>.</p><p>Currently only path-like things can be projected. In the future we
hope to support projecting diagrams.</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:LinearMap">LinearMap</a> v u n = <a href="#v:LinearMap">LinearMap</a> {<ul class="subs"><li><a href="#v:lapply">lapply</a> :: v n -> u n</li></ul>}</li><li class="src short"><span class="keyword">class</span> <a href="#t:LinearMappable">LinearMappable</a> a b <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><a href="#v:linmap">linmap</a> :: (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:InSpace">InSpace</a> v n a, <a href="Diagrams-LinearMap.html#t:LinearMappable">LinearMappable</a> a b, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> b ~ n) => <a href="Diagrams-LinearMap.html#t:LinearMap">LinearMap</a> v (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> b) n -> a -> b</li><li class="src short"><span class="keyword">data</span> <a href="#t:AffineMap">AffineMap</a> v u n = <a href="#v:AffineMap">AffineMap</a> (<a href="Diagrams-LinearMap.html#t:LinearMap">LinearMap</a> v u n) (u n)</li><li class="src short"><span class="keyword">class</span> (<a href="Diagrams-LinearMap.html#t:LinearMappable">LinearMappable</a> a b, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> a ~ <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> b) => <a href="#t:AffineMappable">AffineMappable</a> a b <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><a href="#v:mkAffineMap">mkAffineMap</a> :: (v n -> u n) -> u n -> <a href="Diagrams-LinearMap.html#t:AffineMap">AffineMap</a> v u n</li><li class="src short"><a href="#v:toAffineMap">toAffineMap</a> :: <a href="Diagrams-Transform.html#t:Transformation">Transformation</a> v n -> <a href="Diagrams-LinearMap.html#t:AffineMap">AffineMap</a> v v n</li></ul></div><div id="interface"><h1 id="g:1">Linear maps</h1><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:LinearMap" class="def">LinearMap</a> v u n <a href="src/Diagrams-LinearMap.html#LinearMap" class="link">Source</a> <a href="#t:LinearMap" class="selflink">#</a></p><div class="doc"><p>Type for holding linear maps. Note that these are not affine transforms so
attemping apply a translation with <code><a href="Diagrams-LinearMap.html#t:LinearMap">LinearMap</a></code> will likely produce incorrect
results.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:LinearMap" class="def">LinearMap</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:lapply" class="def">lapply</a> :: v n -> u n</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:LinearMappable" class="def">LinearMappable</a> a b <span class="keyword">where</span> <a href="src/Diagrams-LinearMap.html#LinearMappable" class="link">Source</a> <a href="#t:LinearMappable" class="selflink">#</a></p><div class="doc"><p>Class of things that have vectors that can be mapped over.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Diagrams-LinearMap.html#v:vmap">vmap</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:vmap" class="def">vmap</a> :: (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> a -> <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> b) -> a -> b <a href="src/Diagrams-LinearMap.html#vmap" class="link">Source</a> <a href="#v:vmap" class="selflink">#</a></p><div class="doc"><p>Apply a linear map to an object. If the map is not linear,
behaviour will likely be wrong.</p></div></div><div class="subs instances"><p id="control.i:LinearMappable" class="caption collapser" onclick="toggleSection('i:LinearMappable')">Instances</p><div id="section.i:LinearMappable" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:LinearMappable:LinearMappable:1" class="instance expander" onclick="toggleSection('i:ic:LinearMappable:LinearMappable:1')"></span> (<a href="Diagrams-LinearMap.html#t:LinearMappable">LinearMappable</a> a b, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Located.html#t:Located">Located</a> b)) => <a href="Diagrams-LinearMap.html#t:LinearMappable">LinearMappable</a> (<a href="Diagrams-Located.html#t:Located">Located</a> a) r</span> <a href="src/Diagrams-LinearMap.html#line-123" class="link">Source</a> <a href="#t:LinearMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:LinearMappable:LinearMappable:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:vmap">vmap</a> :: (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> (<a href="Diagrams-Located.html#t:Located">Located</a> a) -> <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> r) -> <a href="Diagrams-Located.html#t:Located">Located</a> a -> r <a href="src/Diagrams-LinearMap.html#vmap" class="link">Source</a> <a href="#v:vmap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:LinearMappable:LinearMappable:2" class="instance expander" onclick="toggleSection('i:ic:LinearMappable:LinearMappable:2')"></span> (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Segment.html#t:FixedSegment">FixedSegment</a> u m) => <a href="Diagrams-LinearMap.html#t:LinearMappable">LinearMappable</a> (<a href="Diagrams-Segment.html#t:FixedSegment">FixedSegment</a> v n) r</span> <a href="src/Diagrams-LinearMap.html#line-117" class="link">Source</a> <a href="#t:LinearMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:LinearMappable:LinearMappable:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:vmap">vmap</a> :: (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> (<a href="Diagrams-Segment.html#t:FixedSegment">FixedSegment</a> v n) -> <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> r) -> <a href="Diagrams-Segment.html#t:FixedSegment">FixedSegment</a> v n -> r <a href="src/Diagrams-LinearMap.html#vmap" class="link">Source</a> <a href="#v:vmap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:LinearMappable:LinearMappable:3" class="instance expander" onclick="toggleSection('i:ic:LinearMappable:LinearMappable:3')"></span> (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> u, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> m, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Trail.html#t:Trail">Trail</a> u m)) => <a href="Diagrams-LinearMap.html#t:LinearMappable">LinearMappable</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n) r</span> <a href="src/Diagrams-LinearMap.html#line-107" class="link">Source</a> <a href="#t:LinearMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:LinearMappable:LinearMappable:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:vmap">vmap</a> :: (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n) -> <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> r) -> <a href="Diagrams-Trail.html#t:Trail">Trail</a> v n -> r <a href="src/Diagrams-LinearMap.html#vmap" class="link">Source</a> <a href="#v:vmap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:LinearMappable:LinearMappable:4" class="instance expander" onclick="toggleSection('i:ic:LinearMappable:LinearMappable:4')"></span> (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> u, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> m, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Trail.html#t:SegTree">SegTree</a> u m)) => <a href="Diagrams-LinearMap.html#t:LinearMappable">LinearMappable</a> (<a href="Diagrams-Trail.html#t:SegTree">SegTree</a> v n) r</span> <a href="src/Diagrams-LinearMap.html#line-96" class="link">Source</a> <a href="#t:LinearMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:LinearMappable:LinearMappable:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:vmap">vmap</a> :: (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> (<a href="Diagrams-Trail.html#t:SegTree">SegTree</a> v n) -> <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> r) -> <a href="Diagrams-Trail.html#t:SegTree">SegTree</a> v n -> r <a href="src/Diagrams-LinearMap.html#vmap" class="link">Source</a> <a href="#v:vmap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:LinearMappable:LinearMappable:5" class="instance expander" onclick="toggleSection('i:ic:LinearMappable:LinearMappable:5')"></span> (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> u, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> m, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Path.html#t:Path">Path</a> u m)) => <a href="Diagrams-LinearMap.html#t:LinearMappable">LinearMappable</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) r</span> <a href="src/Diagrams-LinearMap.html#line-127" class="link">Source</a> <a href="#t:LinearMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:LinearMappable:LinearMappable:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:vmap">vmap</a> :: (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) -> <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> r) -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> r <a href="src/Diagrams-LinearMap.html#vmap" class="link">Source</a> <a href="#v:vmap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:LinearMappable:LinearMappable:6" class="instance expander" onclick="toggleSection('i:ic:LinearMappable:LinearMappable:6')"></span> <a href="Diagrams-LinearMap.html#t:LinearMappable">LinearMappable</a> (<a href="Diagrams-Points.html#t:Point">Point</a> v n) (<a href="Diagrams-Points.html#t:Point">Point</a> u m)</span> <a href="src/Diagrams-LinearMap.html#line-113" class="link">Source</a> <a href="#t:LinearMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:LinearMappable:LinearMappable:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:vmap">vmap</a> :: (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> (<a href="Diagrams-Points.html#t:Point">Point</a> v n) -> <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> (<a href="Diagrams-Points.html#t:Point">Point</a> u m)) -> <a href="Diagrams-Points.html#t:Point">Point</a> v n -> <a href="Diagrams-Points.html#t:Point">Point</a> u m <a href="src/Diagrams-LinearMap.html#vmap" class="link">Source</a> <a href="#v:vmap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:LinearMappable:LinearMappable:7" class="instance expander" onclick="toggleSection('i:ic:LinearMappable:LinearMappable:7')"></span> (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Segment.html#t:Segment">Segment</a> c u m) => <a href="Diagrams-LinearMap.html#t:LinearMappable">LinearMappable</a> (<a href="Diagrams-Segment.html#t:Segment">Segment</a> c v n) r</span> <a href="src/Diagrams-LinearMap.html#line-91" class="link">Source</a> <a href="#t:LinearMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:LinearMappable:LinearMappable:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:vmap">vmap</a> :: (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> (<a href="Diagrams-Segment.html#t:Segment">Segment</a> c v n) -> <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> r) -> <a href="Diagrams-Segment.html#t:Segment">Segment</a> c v n -> r <a href="src/Diagrams-LinearMap.html#vmap" class="link">Source</a> <a href="#v:vmap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:LinearMappable:LinearMappable:8" class="instance expander" onclick="toggleSection('i:ic:LinearMappable:LinearMappable:8')"></span> (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Segment.html#t:Offset">Offset</a> c u m) => <a href="Diagrams-LinearMap.html#t:LinearMappable">LinearMappable</a> (<a href="Diagrams-Segment.html#t:Offset">Offset</a> c v n) r</span> <a href="src/Diagrams-LinearMap.html#line-86" class="link">Source</a> <a href="#t:LinearMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:LinearMappable:LinearMappable:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:vmap">vmap</a> :: (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> (<a href="Diagrams-Segment.html#t:Offset">Offset</a> c v n) -> <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> r) -> <a href="Diagrams-Segment.html#t:Offset">Offset</a> c v n -> r <a href="src/Diagrams-LinearMap.html#vmap" class="link">Source</a> <a href="#v:vmap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:LinearMappable:LinearMappable:9" class="instance expander" onclick="toggleSection('i:ic:LinearMappable:LinearMappable:9')"></span> (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> u, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> m, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Trail.html#t:Trail-39-">Trail'</a> l u m)) => <a href="Diagrams-LinearMap.html#t:LinearMappable">LinearMappable</a> (<a href="Diagrams-Trail.html#t:Trail-39-">Trail'</a> l v n) r</span> <a href="src/Diagrams-LinearMap.html#line-101" class="link">Source</a> <a href="#t:LinearMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:LinearMappable:LinearMappable:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:vmap">vmap</a> :: (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> (<a href="Diagrams-Trail.html#t:Trail-39-">Trail'</a> l v n) -> <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:Vn">Vn</a> r) -> <a href="Diagrams-Trail.html#t:Trail-39-">Trail'</a> l v n -> r <a href="src/Diagrams-LinearMap.html#vmap" class="link">Source</a> <a href="#v:vmap" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><h2 id="g:2">Applying linear maps</h2><div class="top"><p class="src"><a id="v:linmap" class="def">linmap</a> :: (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:InSpace">InSpace</a> v n a, <a href="Diagrams-LinearMap.html#t:LinearMappable">LinearMappable</a> a b, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> b ~ n) => <a href="Diagrams-LinearMap.html#t:LinearMap">LinearMap</a> v (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> b) n -> a -> b <a href="src/Diagrams-LinearMap.html#linmap" class="link">Source</a> <a href="#v:linmap" class="selflink">#</a></p><div class="doc"><p>Apply a linear map.</p></div></div><h1 id="g:3">Affine maps</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:AffineMap" class="def">AffineMap</a> v u n <a href="src/Diagrams-LinearMap.html#AffineMap" class="link">Source</a> <a href="#t:AffineMap" class="selflink">#</a></p><div class="doc"><p>Affine linear maps. Unlike <code><a href="Diagrams-Transform.html#t:Transformation">Transformation</a></code> these do not have to be
invertible so we can map between spaces.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:AffineMap" class="def">AffineMap</a> (<a href="Diagrams-LinearMap.html#t:LinearMap">LinearMap</a> v u n) (u n)</td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">class</span> (<a href="Diagrams-LinearMap.html#t:LinearMappable">LinearMappable</a> a b, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> a ~ <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> b) => <a id="t:AffineMappable" class="def">AffineMappable</a> a b <span class="keyword">where</span> <a href="src/Diagrams-LinearMap.html#AffineMappable" class="link">Source</a> <a href="#t:AffineMappable" class="selflink">#</a></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:amap" class="def">amap</a> :: (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Vector.html#t:Additive">Additive</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> a), <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Foldable.html#t:Foldable">Foldable</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> a), <a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Vector.html#t:Additive">Additive</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> b), <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> b)) => <a href="Diagrams-LinearMap.html#t:AffineMap">AffineMap</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> a) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> b) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> b) -> a -> b <a href="src/Diagrams-LinearMap.html#amap" class="link">Source</a> <a href="#v:amap" class="selflink">#</a></p><div class="doc"><p>Affine map over an object. Has a default implimentation of only
applying the linear map</p></div></div><div class="subs instances"><p id="control.i:AffineMappable" class="caption collapser" onclick="toggleSection('i:AffineMappable')">Instances</p><div id="section.i:AffineMappable" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:AffineMappable:AffineMappable:1" class="instance expander" onclick="toggleSection('i:ic:AffineMappable:AffineMappable:1')"></span> (<a href="Diagrams-LinearMap.html#t:LinearMappable">LinearMappable</a> a b, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> a) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> b), (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Located.html#t:Located">Located</a> b)) => <a href="Diagrams-LinearMap.html#t:AffineMappable">AffineMappable</a> (<a href="Diagrams-Located.html#t:Located">Located</a> a) r</span> <a href="src/Diagrams-LinearMap.html#line-166" class="link">Source</a> <a href="#t:AffineMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:AffineMappable:AffineMappable:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:amap">amap</a> :: <a href="Diagrams-LinearMap.html#t:AffineMap">AffineMap</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Located.html#t:Located">Located</a> a)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> r) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> r) -> <a href="Diagrams-Located.html#t:Located">Located</a> a -> r <a href="src/Diagrams-LinearMap.html#amap" class="link">Source</a> <a href="#v:amap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:AffineMappable:AffineMappable:2" class="instance expander" onclick="toggleSection('i:ic:AffineMappable:AffineMappable:2')"></span> (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Vector.html#t:Additive">Additive</a> v, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> n, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Points.html#t:Point">Point</a> u n)) => <a href="Diagrams-LinearMap.html#t:AffineMappable">AffineMappable</a> (<a href="Diagrams-Points.html#t:Point">Point</a> v n) r</span> <a href="src/Diagrams-LinearMap.html#line-157" class="link">Source</a> <a href="#t:AffineMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:AffineMappable:AffineMappable:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:amap">amap</a> :: <a href="Diagrams-LinearMap.html#t:AffineMap">AffineMap</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Points.html#t:Point">Point</a> v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> r) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> r) -> <a href="Diagrams-Points.html#t:Point">Point</a> v n -> r <a href="src/Diagrams-LinearMap.html#amap" class="link">Source</a> <a href="#v:amap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:AffineMappable:AffineMappable:3" class="instance expander" onclick="toggleSection('i:ic:AffineMappable:AffineMappable:3')"></span> (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Segment.html#t:FixedSegment">FixedSegment</a> u n) => <a href="Diagrams-LinearMap.html#t:AffineMappable">AffineMappable</a> (<a href="Diagrams-Segment.html#t:FixedSegment">FixedSegment</a> v n) r</span> <a href="src/Diagrams-LinearMap.html#line-161" class="link">Source</a> <a href="#t:AffineMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:AffineMappable:AffineMappable:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:amap">amap</a> :: <a href="Diagrams-LinearMap.html#t:AffineMap">AffineMap</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Segment.html#t:FixedSegment">FixedSegment</a> v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> r) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> r) -> <a href="Diagrams-Segment.html#t:FixedSegment">FixedSegment</a> v n -> r <a href="src/Diagrams-LinearMap.html#amap" class="link">Source</a> <a href="#v:amap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:AffineMappable:AffineMappable:4" class="instance expander" onclick="toggleSection('i:ic:AffineMappable:AffineMappable:4')"></span> (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> u, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Trail.html#t:Trail">Trail</a> u n)) => <a href="Diagrams-LinearMap.html#t:AffineMappable">AffineMappable</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n) r</span> <a href="src/Diagrams-LinearMap.html#line-155" class="link">Source</a> <a href="#t:AffineMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:AffineMappable:AffineMappable:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:amap">amap</a> :: <a href="Diagrams-LinearMap.html#t:AffineMap">AffineMap</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Trail.html#t:Trail">Trail</a> v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> r) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> r) -> <a href="Diagrams-Trail.html#t:Trail">Trail</a> v n -> r <a href="src/Diagrams-LinearMap.html#amap" class="link">Source</a> <a href="#v:amap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:AffineMappable:AffineMappable:5" class="instance expander" onclick="toggleSection('i:ic:AffineMappable:AffineMappable:5')"></span> (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> u, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Trail.html#t:SegTree">SegTree</a> u n)) => <a href="Diagrams-LinearMap.html#t:AffineMappable">AffineMappable</a> (<a href="Diagrams-Trail.html#t:SegTree">SegTree</a> v n) r</span> <a href="src/Diagrams-LinearMap.html#line-153" class="link">Source</a> <a href="#t:AffineMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:AffineMappable:AffineMappable:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:amap">amap</a> :: <a href="Diagrams-LinearMap.html#t:AffineMap">AffineMap</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Trail.html#t:SegTree">SegTree</a> v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> r) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> r) -> <a href="Diagrams-Trail.html#t:SegTree">SegTree</a> v n -> r <a href="src/Diagrams-LinearMap.html#amap" class="link">Source</a> <a href="#v:amap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:AffineMappable:AffineMappable:6" class="instance expander" onclick="toggleSection('i:ic:AffineMappable:AffineMappable:6')"></span> (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> u, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Path.html#t:Path">Path</a> u n)) => <a href="Diagrams-LinearMap.html#t:AffineMappable">AffineMappable</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n) r</span> <a href="src/Diagrams-LinearMap.html#line-170" class="link">Source</a> <a href="#t:AffineMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:AffineMappable:AffineMappable:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:amap">amap</a> :: <a href="Diagrams-LinearMap.html#t:AffineMap">AffineMap</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Path.html#t:Path">Path</a> v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> r) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> r) -> <a href="Diagrams-Path.html#t:Path">Path</a> v n -> r <a href="src/Diagrams-LinearMap.html#amap" class="link">Source</a> <a href="#v:amap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:AffineMappable:AffineMappable:7" class="instance expander" onclick="toggleSection('i:ic:AffineMappable:AffineMappable:7')"></span> (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Segment.html#t:Segment">Segment</a> c u n) => <a href="Diagrams-LinearMap.html#t:AffineMappable">AffineMappable</a> (<a href="Diagrams-Segment.html#t:Segment">Segment</a> c v n) r</span> <a href="src/Diagrams-LinearMap.html#line-152" class="link">Source</a> <a href="#t:AffineMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:AffineMappable:AffineMappable:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:amap">amap</a> :: <a href="Diagrams-LinearMap.html#t:AffineMap">AffineMap</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Segment.html#t:Segment">Segment</a> c v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> r) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> r) -> <a href="Diagrams-Segment.html#t:Segment">Segment</a> c v n -> r <a href="src/Diagrams-LinearMap.html#amap" class="link">Source</a> <a href="#v:amap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:AffineMappable:AffineMappable:8" class="instance expander" onclick="toggleSection('i:ic:AffineMappable:AffineMappable:8')"></span> (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Segment.html#t:Offset">Offset</a> c u n) => <a href="Diagrams-LinearMap.html#t:AffineMappable">AffineMappable</a> (<a href="Diagrams-Segment.html#t:Offset">Offset</a> c v n) r</span> <a href="src/Diagrams-LinearMap.html#line-151" class="link">Source</a> <a href="#t:AffineMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:AffineMappable:AffineMappable:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:amap">amap</a> :: <a href="Diagrams-LinearMap.html#t:AffineMap">AffineMap</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Segment.html#t:Offset">Offset</a> c v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> r) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> r) -> <a href="Diagrams-Segment.html#t:Offset">Offset</a> c v n -> r <a href="src/Diagrams-LinearMap.html#amap" class="link">Source</a> <a href="#v:amap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:AffineMappable:AffineMappable:9" class="instance expander" onclick="toggleSection('i:ic:AffineMappable:AffineMappable:9')"></span> (<a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> v, <a href="file:///usr/share/doc/libghc-linear-doc/html/Linear-Metric.html#t:Metric">Metric</a> u, <a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-Envelope.html#t:OrderedField">OrderedField</a> n, (~) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> r (<a href="Diagrams-Trail.html#t:Trail-39-">Trail'</a> l u n)) => <a href="Diagrams-LinearMap.html#t:AffineMappable">AffineMappable</a> (<a href="Diagrams-Trail.html#t:Trail-39-">Trail'</a> l v n) r</span> <a href="src/Diagrams-LinearMap.html#line-154" class="link">Source</a> <a href="#t:AffineMappable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:AffineMappable:AffineMappable:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:amap">amap</a> :: <a href="Diagrams-LinearMap.html#t:AffineMap">AffineMap</a> (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> (<a href="Diagrams-Trail.html#t:Trail-39-">Trail'</a> l v n)) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:V">V</a> r) (<a href="file:///usr/share/doc/libghc-diagrams-core-doc/html/Diagrams-Core-V.html#t:N">N</a> r) -> <a href="Diagrams-Trail.html#t:Trail-39-">Trail'</a> l v n -> r <a href="src/Diagrams-LinearMap.html#amap" class="link">Source</a> <a href="#v:amap" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><h2 id="g:4">Constructing affine maps</h2><div class="top"><p class="src"><a id="v:mkAffineMap" class="def">mkAffineMap</a> :: (v n -> u n) -> u n -> <a href="Diagrams-LinearMap.html#t:AffineMap">AffineMap</a> v u n <a href="src/Diagrams-LinearMap.html#mkAffineMap" class="link">Source</a> <a href="#v:mkAffineMap" class="selflink">#</a></p><div class="doc"><p>Make an affine map from a linear function and a translation.</p></div></div><div class="top"><p class="src"><a id="v:toAffineMap" class="def">toAffineMap</a> :: <a href="Diagrams-Transform.html#t:Transformation">Transformation</a> v n -> <a href="Diagrams-LinearMap.html#t:AffineMap">AffineMap</a> v v n <a href="src/Diagrams-LinearMap.html#toAffineMap" class="link">Source</a> <a href="#v:toAffineMap" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.2</p></div></body></html>
|