Diagrams.TwoD.Transform.ScaleInv

Wrapper for creating scale-invariant objects in two dimensions.

Documentation

data ScaleInv t

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

_scaleInvObj :: t

_scaleInvDir :: R2

_scaleInvLoc :: P2

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

scaleInvDir :: forall t. Lens' (ScaleInv t) R2

scaleInvLoc :: forall t. Lens' (ScaleInv t) P2

scaleInv :: t -> R2 -> ScaleInv t

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

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.