|
| Synthesizer.Dimensional.Causal.Process |
|
|
|
| Synopsis |
|
| newtype T amp0 amp1 yv0 yv1 = Cons (amp0 -> (amp1, T yv0 yv1)) | | | apply :: C v0 => T (T v0 y0) (T v1 y1) yv0 yv1 -> R s v0 y0 yv0 -> R s v1 y1 yv1 | | | applyFst :: C v0 => T (T v0 y0, restAmp) (T v1 y1) (yv0, restSamp) yv1 -> R s v0 y0 yv0 -> T restAmp (T v1 y1) restSamp yv1 | | | map :: (amp0 -> amp1) -> (yv0 -> yv1) -> T amp0 amp1 yv0 yv1 | | | (>>>) :: T amp0 amp1 yv0 yv1 -> T amp1 amp2 yv1 yv2 -> T amp0 amp2 yv0 yv2 | | | (<<<) :: T amp1 amp2 yv1 yv2 -> T amp0 amp1 yv0 yv1 -> T amp0 amp2 yv0 yv2 | | | first :: T amp0 amp1 yv0 yv1 -> T (amp0, amp) (amp1, amp) (yv0, yv) (yv1, yv) | | | second :: T amp0 amp1 yv0 yv1 -> T (amp, amp0) (amp, amp1) (yv, yv0) (yv, yv1) | | | (***) :: T amp0 amp1 yv0 yv1 -> T amp2 amp3 yv2 yv3 -> T (amp0, amp2) (amp1, amp3) (yv0, yv2) (yv1, yv3) | | | (&&&) :: T amp amp0 yv yv0 -> T amp amp1 yv yv1 -> T amp (amp0, amp1) yv (yv0, yv1) | | | (^>>) :: (amp0 -> amp1, yv0 -> yv1) -> T amp1 amp2 yv1 yv2 -> T amp0 amp2 yv0 yv2 | | | (>>^) :: T amp0 amp1 yv0 yv1 -> (amp1 -> amp2, yv1 -> yv2) -> T amp0 amp2 yv0 yv2 | | | (<<^) :: T amp1 amp2 yv1 yv2 -> (amp0 -> amp1, yv0 -> yv1) -> T amp0 amp2 yv0 yv2 | | | (^<<) :: (amp1 -> amp2, yv1 -> yv2) -> T amp0 amp1 yv0 yv1 -> T amp0 amp2 yv0 yv2 | | | loop :: (C y, C y yv, C v) => T v y -> T (restAmp0, T v y) (restAmp1, T v y) (restSamp0, yv) (restSamp1, yv) -> T restAmp0 restAmp1 restSamp0 restSamp1 |
|
|
| Documentation |
|
| newtype T amp0 amp1 yv0 yv1 | Source |
|
| Constructors | | Cons (amp0 -> (amp1, T yv0 yv1)) | |
|
|
|
| apply :: C v0 => T (T v0 y0) (T v1 y1) yv0 yv1 -> R s v0 y0 yv0 -> R s v1 y1 yv1 | Source |
|
|
| applyFst :: C v0 => T (T v0 y0, restAmp) (T v1 y1) (yv0, restSamp) yv1 -> R s v0 y0 yv0 -> T restAmp (T v1 y1) restSamp yv1 | Source |
|
|
| map :: (amp0 -> amp1) -> (yv0 -> yv1) -> T amp0 amp1 yv0 yv1 | Source |
|
|
| (>>>) :: T amp0 amp1 yv0 yv1 -> T amp1 amp2 yv1 yv2 -> T amp0 amp2 yv0 yv2 | Source |
|
|
| (<<<) :: T amp1 amp2 yv1 yv2 -> T amp0 amp1 yv0 yv1 -> T amp0 amp2 yv0 yv2 | Source |
|
|
| first :: T amp0 amp1 yv0 yv1 -> T (amp0, amp) (amp1, amp) (yv0, yv) (yv1, yv) | Source |
|
|
| second :: T amp0 amp1 yv0 yv1 -> T (amp, amp0) (amp, amp1) (yv, yv0) (yv, yv1) | Source |
|
|
| (***) :: T amp0 amp1 yv0 yv1 -> T amp2 amp3 yv2 yv3 -> T (amp0, amp2) (amp1, amp3) (yv0, yv2) (yv1, yv3) | Source |
|
|
| (&&&) :: T amp amp0 yv yv0 -> T amp amp1 yv yv1 -> T amp (amp0, amp1) yv (yv0, yv1) | Source |
|
|
| (^>>) :: (amp0 -> amp1, yv0 -> yv1) -> T amp1 amp2 yv1 yv2 -> T amp0 amp2 yv0 yv2 | Source |
|
| Precomposition with a pure function.
|
|
| (>>^) :: T amp0 amp1 yv0 yv1 -> (amp1 -> amp2, yv1 -> yv2) -> T amp0 amp2 yv0 yv2 | Source |
|
| Postcomposition with a pure function.
|
|
| (<<^) :: T amp1 amp2 yv1 yv2 -> (amp0 -> amp1, yv0 -> yv1) -> T amp0 amp2 yv0 yv2 | Source |
|
| Precomposition with a pure function (right-to-left variant).
|
|
| (^<<) :: (amp1 -> amp2, yv1 -> yv2) -> T amp0 amp1 yv0 yv1 -> T amp0 amp2 yv0 yv2 | Source |
|
| Postcomposition with a pure function (right-to-left variant).
|
|
| loop :: (C y, C y yv, C v) => T v y -> T (restAmp0, T v y) (restAmp1, T v y) (restSamp0, yv) (restSamp1, yv) -> T restAmp0 restAmp1 restSamp0 restSamp1 | Source |
|
|
| Produced by Haddock version 2.3.0 |
