Synthesizer.Causal.Class

Documentation

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

Defined in Synthesizer.Causal.Process

Associated Types

type SignalOf T :: * -> *

Methods

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

fromSignal :: SignalOf T b -> T a b

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

Instances

type ProcessOf T

Defined in Synthesizer.Causal.Process

type ProcessOf T = 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

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

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

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

($>) :: C process => process (a, b) c -> SignalOf process b -> process a c 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