Synthesizer.Causal.Class

Documentation

class (Arrow process, ProcessOf (SignalOf process) ~ process) => C process where

Associated Types

type SignalOf process :: * -> *

type ProcessOf signal :: * -> * -> *

Methods

toSignal :: process () a -> SignalOf process a

fromSignal :: SignalOf process b -> process a b

Instances

C T

apply :: C process => process a b -> SignalOf process a -> SignalOf process b

applyFst :: C process => process (a, b) c -> SignalOf process a -> process b c

($<) :: C process => process (a, b) c -> SignalOf process a -> process b c infixl 0

applySnd :: C process => process (a, b) c -> SignalOf process b -> process a c

($>) :: C process => process (a, b) c -> SignalOf process b -> process a c infixl 0

applyConst :: C process => process a b -> a -> SignalOf process b

applyConstFst :: Arrow process => process (a, b) c -> a -> process b c

applyConstSnd :: Arrow process => process (a, b) c -> b -> process a c

feedFst :: C process => SignalOf process a -> process b (a, b)

feedSnd :: C process => SignalOf process a -> process b (b, a)

feedConstFst :: Arrow process => a -> process b (a, b)

feedConstSnd :: Arrow process => a -> process b (b, a)

($*) :: C process => process a b -> SignalOf process a -> SignalOf process b infixl 0

chainControlled :: Arrow arrow => [arrow (c, x) x] -> arrow (c, x) x

replicateControlled :: Arrow arrow => Int -> arrow (c, x) x -> arrow (c, x) x