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

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

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

prim :: a -> T control aSource

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

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

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

toMediumList :: T control a -> T aSource

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 bSource

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 bSource

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