|
Medium.LabeledControlled.List |
|
|
|
Synopsis |
|
data T label control content = Cons {} | | | | class Label label where | | | parallelLabel :: Label label => [T label control content] -> T label control content | | serialLabel :: Label label => [T label control content] -> T label control content | | switchList :: (label -> b -> c) -> (a -> b) -> ([T label control a] -> b) -> ([T label control a] -> b) -> (control -> T label control a -> b) -> T label control a -> c | | foldList :: (label -> b -> c) -> (a -> b) -> ([c] -> b) -> ([c] -> b) -> (control -> c -> b) -> T label control a -> c | | fromControlledMediumList :: Label label => (a -> (label, b)) -> (control -> T label control b -> label) -> T control a -> T label control b | | mapLabel :: (i -> j) -> T i control a -> T j control a | | parallelToList :: T label control a -> [T label control a] | | serialToList :: T label control a -> [T label control a] |
|
|
Documentation |
|
data T label control content | Source |
|
Medium type with a label
(e.g. the duration of the represented music),
a controller constructor
and direct support for rests.
| Constructors | Cons | | label :: label | | structure :: Structure label control content | |
|
| Instances | |
|
|
data Structure label control content | Source |
|
Constructors | Primitive content | primitive content
| Serial [T label control content] | sequential composition
| Parallel [T label control content] | parallel composition
| Control control (T label control content) | controller
|
| Instances | |
|
|
|
| Methods | | | foldLabelSerial :: [label] -> label | Source |
| | foldLabelParallel :: [label] -> label | Source |
|
|
|
|
parallelLabel :: Label label => [T label control content] -> T label control content | Source |
|
|
serialLabel :: Label label => [T label control content] -> T label control content | Source |
|
|
switchList :: (label -> b -> c) -> (a -> b) -> ([T label control a] -> b) -> ([T label control a] -> b) -> (control -> T label control a -> b) -> T label control a -> c | Source |
|
|
foldList :: (label -> b -> c) -> (a -> b) -> ([c] -> b) -> ([c] -> b) -> (control -> c -> b) -> T label control a -> c | Source |
|
|
fromControlledMediumList :: Label label => (a -> (label, b)) -> (control -> T label control b -> label) -> T control a -> T label control b | Source |
|
|
mapLabel :: (i -> j) -> T i control a -> T j control a | Source |
|
|
parallelToList :: T label control a -> [T label control a] | Source |
|
|
serialToList :: T label control a -> [T label control a] | Source |
|
|
Produced by Haddock version 2.6.1 |