Synthesizer.Causal.Class

Documentation

type family ProcessOf (signal :: * -> *) :: * -> * -> *

Instances

type ProcessOf T

type ProcessOf T = T

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

Minimal complete definition

toSignal, fromSignal

Associated Types

type SignalOf process :: * -> *

Methods

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

fromSignal :: SignalOf process b -> process a b

Instances

C T

Associated Types

type SignalOf (T :: * -> * -> *) :: * -> *

Methods

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

fromSignal :: SignalOf T b -> T a b

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