|
| 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 |
