| Copyright | (c) 2012-2013 diagrams-lib team (see LICENSE) |
|---|---|
| License | BSD-style (see LICENSE) |
| Maintainer | diagrams-discuss@googlegroups.com |
| Safe Haskell | None |
| Language | Haskell2010 |
Diagrams.TwoD.Transform.ScaleInv
Description
Wrapper for creating scale-invariant 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, Typeable t, Renderable t b, V t ~ R2, Monoid m) => t -> R2 -> QDiagram b R2 m
Documentation
The ScaleInv wrapper creates two-dimensional scale-invariant
objects. Intuitively, a scale-invariant object is affected by
transformations like translations and rotations, but not by scales.
However, this is problematic when it comes to non-uniform
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 scale-invariant.
However, applying a non-uniform 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 scale-invariant 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.
Constructors
| ScaleInv | |
Fields
| |
Instances
| 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 | |
| Typeable (* -> *) ScaleInv | |
| type V (ScaleInv t) = R2 |
scaleInvObj :: forall t t. Lens (ScaleInv t) (ScaleInv t) t t Source
scaleInvDir :: forall t. Lens' (ScaleInv t) R2 Source
scaleInvLoc :: forall t. Lens' (ScaleInv t) P2 Source
scaleInv :: t -> R2 -> ScaleInv t Source
Create a scale-invariant object pointing in the given direction, located at the origin.
scaleInvPrim :: (Transformable t, Typeable t, Renderable t b, V t ~ R2, Monoid m) => t -> R2 -> QDiagram b R2 m Source
Create a diagram from a single scale-invariant primitive. The vector argument specifies the direction in which the primitive is "pointing" (for the purpose of keeping it rotated correctly under non-uniform 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 cached---applying a transformation would cause the cached envelope, etc. to get "out of sync" with the scale-invariant object. The intention, at any rate, is that scale-invariant things will be used only as "decorations" (e.g. arrowheads) which should not affect the envelope, trace, and query.