Copyright | (c) 2011 Brent Yorgey |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | byorgey@cis.upenn.edu |
Safe Haskell | None |
Language | Haskell2010 |
A few utilities and class instances for Active
(from the active
package). In particular, this module defines
- An instance of
V
forActive
:V
(Active
a) =V
a HasOrigin
,Transformable
, andHasStyle
instances forActive
which all work pointwise.- A
TrailLike
instance for
whereActive
pp
is alsoTrailLike
, which simply lifts a pathlike thing to a constant active value. - A
Juxtaposable
instance for
whereActive
aa
is alsoJuxtaposable
. An active value can be juxtaposed against another by doing the juxtaposition pointwise over time. The era ofjuxtapose v a1 a2
will be the same as the era ofa2
, unlessa2
is constant, in which case it will be the era ofa1
. (Note thatjuxtapose v a1 a2
andliftA2 (juxtapose v) a1 a2
therefore have different semantics: the second is an active value whose era is the combination of the eras ofa1
anda2
). - An
Alignable
instance for
whereActive
aa
is alsoAlignable
; the active value is aligned pointwise over time.
Documentation
Orphan instances
Juxtaposable a => Juxtaposable (Active a) # | An active value can be juxtaposed against another by doing the
juxtaposition pointwise over time. The era of |
HasStyle a => HasStyle (Active a) # | |
Transformable a => Transformable (Active a) # | |
HasOrigin a => HasOrigin (Active a) # | |
TrailLike t => TrailLike (Active t) # | |