A few utilities and class instances for
Active (from the
package). In particular, this module defines
- An instance of
Activewhich all work pointwise.
TrailLike, which simply lifts a pathlike thing to a constant active value.
Juxtaposable. An active value can be juxtaposed against another by doing the juxtaposition pointwise over time. The era of
juxtapose v a1 a2will be the same as the era of
a2is constant, in which case it will be the era of
a1. (Note that
juxtapose v a1 a2and
liftA2 (juxtapose v) a1 a2therefore have different semantics: the second is an active value whose era is the combination of the eras of
Alignable; the active value is aligned pointwise over time.