| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ConCat.Synchronous
Description
Synchronous stream transformers as Mealy machines
Synopsis
- data Mealy con a b = forall s.con s => Mealy ((a :* s) -> b :* s) s
- sapply :: Mealy con a b -> [a] -> [b]
- type CartCon con = (con (), OpCon (:*) (Sat con))
- arr :: con () => (a -> b) -> Mealy con a b
- type X s a b = (a :* s) -> b :* s
- op2 :: forall con a b c d e f. CartCon con => (forall s t. (con s, con t) => X s a b -> X t c d -> X (s :* t) e f) -> Mealy con a b -> Mealy con c d -> Mealy con e f
- delay :: con a => a -> Mealy con a a
- scanl :: con b => (b -> a -> b) -> b -> Mealy con a b
- scan :: (Monoid m, con m) => Mealy con m m
- type Stream = []
- newtype StreamX a b = StreamX (Stream a -> Stream b)
- fixSX :: StreamX (a :* b) b -> StreamX a b
- fibL2 :: Num a => [a]
- fibL3 :: Num a => [a]
Documentation
Synchronous stream transformer represented as Mealy machine.