Medium.Controlled.List

Synopsis

data T control content

= Primitive content

| Serial [T control content]

| Parallel [T control content]

| Control control (T control content)

parallelToList :: T control a -> [T control a]

serialToList :: T control a -> [T control a]

prim :: a -> T control a

parallel :: [T control a] -> T control a

serial :: [T control a] -> T control a

fromMedium :: C src => src a -> T control a

toMediumList :: T control a -> T a

mapList :: (a -> b) -> ([T control b] -> [T control b]) -> ([T control b] -> [T control b]) -> (control -> T control b -> T control b) -> T control a -> T control b

mapListFlat :: (a -> b) -> ([T control a] -> [T control b]) -> ([T control a] -> [T control b]) -> (control -> T control a -> T control b) -> T control a -> T control b

mapControl :: (c0 -> c1) -> T c0 a -> T c1 a

Documentation

data T control content

Source

Medium type with a controller constructor.

Constructors

Primitive content	primitive content
Serial [T control content]	sequential composition
Parallel [T control content]	parallel composition
Control control (T control content)	controller

Instances

C T

Functor (T control)

Traversable (T control)

Foldable (T control)

Construct (T control)

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

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

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

(C a, Control control) => C (T control a)

parallelToList :: T control a -> [T control a]

Source

serialToList :: T control a -> [T control a]

Source

prim :: a -> T control a

Source

parallel :: [T control a] -> T control a

Source

serial :: [T control a] -> T control a

Source

fromMedium :: C src => src a -> T control a

Source

toMediumList :: T control a -> T a

Source

mapList :: (a -> b) -> ([T control b] -> [T control b]) -> ([T control b] -> [T control b]) -> (control -> T control b -> T control b) -> T control a -> T control b

Source

mapListFlat :: (a -> b) -> ([T control a] -> [T control b]) -> ([T control a] -> [T control b]) -> (control -> T control a -> T control b) -> T control a -> T control b

Source

mapControl :: (c0 -> c1) -> T c0 a -> T c1 a

Source

Produced by Haddock version 2.4.2