Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Write-only attributes.
- data Assignment a
- = forall f b . HasAttribute f a => (f b) := b
- | forall f b . HasAttribute f a => (f b) :~ (b -> b)
- class HasAttribute f a where
- modifyAttribute :: f b -> (b -> b) -> a -> a
- setAttribute :: f b -> b -> a -> a
- with :: a -> [Assignment a] -> a
Documentation
data Assignment a Source
Representation of an attribute update for an element of type a
.
forall f b . HasAttribute f a => (f b) := b infix 0 | Set an attribute |
forall f b . HasAttribute f a => (f b) :~ (b -> b) infix 0 | Modify an attribute |
class HasAttribute f a where Source
The type constructor f
is such that f b
is the type of names of
attributes of a
of type b
.
modifyAttribute :: f b -> (b -> b) -> a -> a Source
setAttribute :: f b -> b -> a -> a Source
with :: a -> [Assignment a] -> a infixl 7 Source
Apply a sequence of attribute assignments to an object (applied left-to-right).