Medium.LabeledControlled.List

Synopsis

data T label control content = Cons {

label :: label

structure :: Structure label control content

}

data Structure label control content

= Primitive content

| Serial [T label control content]

| Parallel [T label control content]

| Control control (T label control content)

class Label label where

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]

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

Functor (T i control)

Traversable (T i control)

Foldable (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

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

(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

Source

Methods

emptyLabel :: label

Source

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.4.2