diagrams-lib-1.4.1.2: Embedded domain-specific language for declarative graphics

Copyright (c) 2011 Brent Yorgey BSD-style (see LICENSE) byorgey@cis.upenn.edu None Haskell2010

Diagrams.Animation.Active

Contents

Description

A few utilities and class instances for Active (from the active package). In particular, this module defines

• An instance of V for Active: V (Active a) = V a
• HasOrigin, Transformable, and HasStyle instances for Active which all work pointwise.
• A TrailLike instance for Active p where p is also TrailLike, which simply lifts a pathlike thing to a constant active value.
• A Juxtaposable instance for Active a where a is also Juxtaposable. An active value can be juxtaposed against another by doing the juxtaposition pointwise over time. The era of juxtapose v a1 a2 will be the same as the era of a2, unless a2 is constant, in which case it will be the era of a1. (Note that juxtapose v a1 a2 and liftA2 (juxtapose v) a1 a2 therefore have different semantics: the second is an active value whose era is the combination of the eras of a1 and a2).
• An Alignable instance for Active a where a is also Alignable; the active value is aligned pointwise over time.

Synopsis

# Orphan instances

 # An active value can be juxtaposed against another by doing the juxtaposition pointwise over time. The era of juxtapose v a1 a2 will be the same as the era of a2, unless a2 is constant, in which case it will be the era of a1. (Note that juxtapose v a1 a2 and liftA2 (juxtapose v) a1 a2 therefore have different semantics: the second is an active value whose era is the combination of the eras of a1 and a2). Methodsjuxtapose :: Vn (Active a) -> Active a -> Active a -> Active a # HasStyle a => HasStyle (Active a) # MethodsapplyStyle :: Style (V (Active a)) (N (Active a)) -> Active a -> Active a # # Methodstransform :: Transformation (V (Active a)) (N (Active a)) -> Active a -> Active a # HasOrigin a => HasOrigin (Active a) # MethodsmoveOriginTo :: Point (V (Active a)) (N (Active a)) -> Active a -> Active a # TrailLike t => TrailLike (Active t) # MethodstrailLike :: Located (Trail (V (Active t)) (N (Active t))) -> Active t #