|
Synthesizer.Dimensional.Arrow |
|
|
|
|
Description |
Adaption of Control.Arrow to signal processes involving amplitudes.
This class unifies Synthesizer.Dimensional.Map
and Synthesizer.Dimensional.Causal.Process.
|
|
Synopsis |
|
class C arrow where | map :: T amp0 amp1 yv0 yv1 -> arrow amp0 amp1 yv0 yv1 | (>>>) :: arrow amp0 amp1 yv0 yv1 -> arrow amp1 amp2 yv1 yv2 -> arrow amp0 amp2 yv0 yv2 | first :: arrow amp0 amp1 yv0 yv1 -> arrow (amp0, amp) (amp1, amp) (yv0, yv) (yv1, yv) | second :: arrow amp0 amp1 yv0 yv1 -> arrow (amp, amp0) (amp, amp1) (yv, yv0) (yv, yv1) | (***) :: arrow amp0 amp1 yv0 yv1 -> arrow amp2 amp3 yv2 yv3 -> arrow (amp0, amp2) (amp1, amp3) (yv0, yv2) (yv1, yv3) | (&&&) :: arrow amp amp0 yv yv0 -> arrow amp amp1 yv yv1 -> arrow amp (amp0, amp1) yv (yv0, yv1) |
| | compose :: C arrow => arrow amp0 amp1 yv0 yv1 -> arrow amp1 amp2 yv1 yv2 -> arrow amp0 amp2 yv0 yv2 | | (<<<) :: C arrow => arrow amp1 amp2 yv1 yv2 -> arrow amp0 amp1 yv0 yv1 -> arrow amp0 amp2 yv0 yv2 | | split :: C arrow => arrow amp0 amp1 yv0 yv1 -> arrow amp2 amp3 yv2 yv3 -> arrow (amp0, amp2) (amp1, amp3) (yv0, yv2) (yv1, yv3) | | fanout :: C arrow => arrow amp amp0 yv yv0 -> arrow amp amp1 yv yv1 -> arrow amp (amp0, amp1) yv (yv0, yv1) | | (^>>) :: C arrow => T amp0 amp1 yv0 yv1 -> arrow amp1 amp2 yv1 yv2 -> arrow amp0 amp2 yv0 yv2 | | (>>^) :: C arrow => arrow amp0 amp1 yv0 yv1 -> T amp1 amp2 yv1 yv2 -> arrow amp0 amp2 yv0 yv2 | | (<<^) :: C arrow => arrow amp1 amp2 yv1 yv2 -> T amp0 amp1 yv0 yv1 -> arrow amp0 amp2 yv0 yv2 | | (^<<) :: C arrow => T amp1 amp2 yv1 yv2 -> arrow amp0 amp1 yv0 yv1 -> arrow amp0 amp2 yv0 yv2 |
|
|
Documentation |
|
|
| Methods | map :: T amp0 amp1 yv0 yv1 -> arrow amp0 amp1 yv0 yv1 | Source |
| | (>>>) :: arrow amp0 amp1 yv0 yv1 -> arrow amp1 amp2 yv1 yv2 -> arrow amp0 amp2 yv0 yv2 | Source |
| | first :: arrow amp0 amp1 yv0 yv1 -> arrow (amp0, amp) (amp1, amp) (yv0, yv) (yv1, yv) | Source |
| | second :: arrow amp0 amp1 yv0 yv1 -> arrow (amp, amp0) (amp, amp1) (yv, yv0) (yv, yv1) | Source |
| | (***) :: arrow amp0 amp1 yv0 yv1 -> arrow amp2 amp3 yv2 yv3 -> arrow (amp0, amp2) (amp1, amp3) (yv0, yv2) (yv1, yv3) | Source |
| | (&&&) :: arrow amp amp0 yv yv0 -> arrow amp amp1 yv yv1 -> arrow amp (amp0, amp1) yv (yv0, yv1) | Source |
|
| | Instances | |
|
|
compose :: C arrow => arrow amp0 amp1 yv0 yv1 -> arrow amp1 amp2 yv1 yv2 -> arrow amp0 amp2 yv0 yv2 | Source |
|
|
(<<<) :: C arrow => arrow amp1 amp2 yv1 yv2 -> arrow amp0 amp1 yv0 yv1 -> arrow amp0 amp2 yv0 yv2 | Source |
|
|
split :: C arrow => arrow amp0 amp1 yv0 yv1 -> arrow amp2 amp3 yv2 yv3 -> arrow (amp0, amp2) (amp1, amp3) (yv0, yv2) (yv1, yv3) | Source |
|
|
fanout :: C arrow => arrow amp amp0 yv yv0 -> arrow amp amp1 yv yv1 -> arrow amp (amp0, amp1) yv (yv0, yv1) | Source |
|
|
map functions
|
|
(^>>) :: C arrow => T amp0 amp1 yv0 yv1 -> arrow amp1 amp2 yv1 yv2 -> arrow amp0 amp2 yv0 yv2 | Source |
|
Precomposition with a pure function.
|
|
(>>^) :: C arrow => arrow amp0 amp1 yv0 yv1 -> T amp1 amp2 yv1 yv2 -> arrow amp0 amp2 yv0 yv2 | Source |
|
Postcomposition with a pure function.
|
|
(<<^) :: C arrow => arrow amp1 amp2 yv1 yv2 -> T amp0 amp1 yv0 yv1 -> arrow amp0 amp2 yv0 yv2 | Source |
|
Precomposition with a pure function (right-to-left variant).
|
|
(^<<) :: C arrow => T amp1 amp2 yv1 yv2 -> arrow amp0 amp1 yv0 yv1 -> arrow amp0 amp2 yv0 yv2 | Source |
|
Postcomposition with a pure function (right-to-left variant).
|
|
Produced by Haddock version 2.4.2 |