Medium.LabeledControlled.List

Documentation

data T label control content

Medium type with a label (e.g. the duration of the represented music), a controller constructor and direct support for rests.

Constructors

Cons

Fields

label :: label

structure :: Structure label control content

Instances

Functor (T i control)

Foldable (T i control)

Traversable (T i control)

Label label => Construct (T label control)

(Eq label, Eq control, Eq content) => Eq (T label control content)

(Ord label, Ord control, Ord content) => Ord (T label control content)

(Show label, Show control, Show content) => Show (T label control content)

data Structure label control content

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

(Eq label, Eq control, Eq content) => Eq (Structure label control content)

(Ord label, Ord control, Ord content) => Ord (Structure label control content)

(Show label, Show control, Show content) => Show (Structure label control content)

class Label label where

Methods

emptyLabel :: label

foldLabelSerial :: [label] -> label

foldLabelParallel :: [label] -> label

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]