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