Safe Haskell	Safe
Language	Haskell2010

Synthesizer.Causal.Class

Documentation

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

Instances

type ProcessOf T Source #
type ProcessOf T = T

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

Minimal complete definition

Associated Types

type SignalOf process :: * -> * Source #

Methods

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

fromSignal :: SignalOf process b -> process a b Source #

Instances

C T Source #
Associated Types type SignalOf (T :: * -> * -> ) :: -> * Source # Methods toSignal :: T () a -> SignalOf T a Source # fromSignal :: SignalOf T b -> T a b Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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