- data 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

Medium type with a controller constructor.

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

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

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