Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- data T control content
- serialToList :: T control a -> [T control a]
- parallelToList :: T control a -> [T control a]
- prim :: a -> T control a
- serial :: [T control a] -> T control a
- parallel :: [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.
Primitive content | primitive content |
Serial [T control content] | sequential composition |
Parallel [T control content] | parallel composition |
Control control (T control content) | controller |
C T Source | |
Functor (T control) Source | |
Foldable (T control) Source | |
Traversable (T control) Source | |
Construct (T control) Source | |
(Eq control, Eq content) => Eq (T control content) Source | |
(Ord control, Ord content) => Ord (T control content) Source | |
(Show control, Show content) => Show (T control content) Source | |
(C a, Control control) => C (T control a) Source |
serialToList :: T control a -> [T control a] Source
parallelToList :: 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