Portability | non-portable (TF,GNTD) |
---|---|
Stability | experimental |
Maintainer | hans@hanshoglund.se |
Safe Haskell | None |
Provides meta-information.
Each score supports an unlimited number of Reactive
meta-values.
This is more or less based on Diagrams styles, which is in turn based on XMonad.
- type IsAttribute a = (Typeable a, Monoid' a)
- data Attribute
- wrapAttr :: IsAttribute a => a -> Attribute
- unwrapAttr :: IsAttribute a => Attribute -> Maybe a
- data Meta
- addMetaNote :: forall a b. (IsAttribute a, HasMeta b, HasPart' b) => Note a -> b -> b
- addGlobalMetaNote :: forall a b. (IsAttribute a, HasMeta b) => Note a -> b -> b
- runMeta :: forall a b. (HasPart' a, IsAttribute b) => Maybe a -> Meta -> Reactive b
- class HasMeta a where
Attributes
type IsAttribute a = (Typeable a, Monoid' a)Source
An existential wrapper type to hold attributes.
wrapAttr :: IsAttribute a => a -> AttributeSource
Wrap up an attribute.
unwrapAttr :: IsAttribute a => Attribute -> Maybe aSource
Meta-values
addMetaNote :: forall a b. (IsAttribute a, HasMeta b, HasPart' b) => Note a -> b -> bSource
addGlobalMetaNote :: forall a b. (IsAttribute a, HasMeta b) => Note a -> b -> bSource