Maintainer  diagramsdiscuss@googlegroups.com 

Safe Haskell  None 
Wrapper for creating scaleinvariant objects in two dimensions.
 data ScaleInv t = ScaleInv {
 _scaleInvObj :: t
 _scaleInvDir :: R2
 _scaleInvLoc :: P2
 scaleInvObj :: forall t t. Lens (ScaleInv t) (ScaleInv t) t t
 scaleInvDir :: forall t. Lens' (ScaleInv t) R2
 scaleInvLoc :: forall t. Lens' (ScaleInv t) P2
 scaleInv :: t > R2 > ScaleInv t
 scaleInvPrim :: (Transformable t, Renderable t b, V t ~ R2, Monoid m) => t > R2 > QDiagram b R2 m
Documentation
The ScaleInv
wrapper creates twodimensional scaleinvariant
objects. Intuitively, a scaleinvariant object is affected by
transformations like translations and rotations, but not by scales.
However, this is problematic when it comes to nonuniform
scales (e.g. scaleX 2 . scaleY 3
) since they can introduce a
perceived rotational component. The prototypical example is an
arrowhead on the end of a path, which should be scaleinvariant.
However, applying a nonuniform scale to the path but not the
arrowhead would leave the arrowhead pointing in the wrong
direction.
Moreover, for objects whose local origin is not at the local origin of the parent diagram, any scale can result in a translational component as well.
The solution is to also store a point (indicating the location, i.e. the local origin) and a unit vector (indicating the direction) along with a scaleinvariant object. A transformation to be applied is decomposed into rotational and translational components as follows:
 The transformation is applied to the direction vector, and the difference in angle between the original direction vector and its image under the transformation determines the rotational component. The rotation is applied with respect to the stored location, rather than the global origin.
 The vector from the location to the image of the location under the transformation determines the translational component.
ScaleInv  

Show t => Show (ScaleInv t)  
(~ * (V t) R2, Transformable t) => IsPrim (ScaleInv t)  
(~ * (V t) R2, Transformable t) => Transformable (ScaleInv t)  
(~ * (V t) R2, HasOrigin t) => HasOrigin (ScaleInv t)  
(Renderable t b, ~ * (V t) R2) => Renderable (ScaleInv t) b 
scaleInvObj :: forall t t. Lens (ScaleInv t) (ScaleInv t) t tSource
scaleInvDir :: forall t. Lens' (ScaleInv t) R2Source
scaleInvLoc :: forall t. Lens' (ScaleInv t) P2Source
scaleInv :: t > R2 > ScaleInv tSource
Create a scaleinvariant object pointing in the given direction, located at the origin.
scaleInvPrim :: (Transformable t, Renderable t b, V t ~ R2, Monoid m) => t > R2 > QDiagram b R2 mSource
Create a diagram from a single scaleinvariant primitive. The vector argument specifies the direction in which the primitive is "pointing" (for the purpose of keeping it rotated correctly under nonuniform scaling). The primitive is assumed to be "located" at the origin (for the purpose of translating it correctly under scaling).
Note that the resulting diagram will have an empty envelope, trace, and query. The reason is that the envelope, trace, and query cannot be cachedapplying a transformation would cause the cached envelope, etc. to get "out of sync" with the scaleinvariant object. The intention, at any rate, is that scaleinvariant things will be used only as "decorations" (e.g. arrowheads) which should not affect the envelope, trace, and query.