15.13 Iteration
Wir iterieren die Funktion eines Schaltnetzes in der Zeit:
- einstellig
lift1 :: (a -> b) -> [Stream a] -> [Stream b]
lift1 f [d] = [\ t -> f (d t)] = [f . d]
- zweistellig
lift2 :: (a -> a -> b) -> [Stream a] -> [Stream b]
lift2 g [d,e] = [\t -> g (d t) (e t)]