Synthesizer.LLVM.Causal.Controlled

This module provides a type class that automatically selects a filter for a given parameter type. We choose the dependency this way because there may be different ways to specify the filter parameters but there is only one implementation of the filter itself.

Documentation

class (a ~ Input parameter b, b ~ Output parameter a) => C parameter a b where

A filter parameter type uniquely selects a filter function. However it does not uniquely determine the input and output type, since the same filter can run on mono and stereo signals.

Associated Types

type Input parameter b

type Output parameter a

Methods

process :: T (parameter, a) b

Instances

(C ae ve, Aggregate ae a, Aggregate ve v, C a, C v) => C (Parameter a) v v

Defined in Synthesizer.LLVM.Causal.Controlled

Associated Types

type Input (Parameter a) v :: Type

type Output (Parameter a) v :: Type

Methods

process :: T (Parameter a, v) v

(a ~ Scalar v, PseudoModule v, RationalConstant a, C a, C v) => C (Parameter a) v v

Defined in Synthesizer.LLVM.Causal.Controlled

Associated Types

type Input (Parameter a) v :: Type

type Output (Parameter a) v :: Type

Methods

process :: T (Parameter a, v) v

(C ae ve, Aggregate ae a, Aggregate ve v, C a, C v) => C (Parameter a) v (Result v)

Defined in Synthesizer.LLVM.Causal.Controlled

Associated Types

type Input (Parameter a) (Result v) :: Type

type Output (Parameter a) v :: Type

Methods

process :: T (Parameter a, v) (Result v)

(PseudoModule v, Scalar v ~ a, RationalConstant a, C a, C v) => C (Parameter a) v (Result v)

Defined in Synthesizer.LLVM.Causal.Controlled

Associated Types

type Input (Parameter a) (Result v) :: Type

type Output (Parameter a) v :: Type

Methods

process :: T (Parameter a, v) (Result v)

(PseudoRing a, RationalConstant a, C a) => C (Parameter a) (T a) (T a)

Defined in Synthesizer.LLVM.Causal.Controlled

Associated Types

type Input (Parameter a) (T a) :: Type

type Output (Parameter a) (T a) :: Type

Methods

process :: T0 (Parameter a, T a) (T a)

(Vector n a, n ~ D3, PseudoRing a, inp ~ T a, out ~ T a) => C (ParameterMV a) (T inp) (T out)

Defined in Synthesizer.LLVM.Causal.Controlled

Associated Types

type Input (ParameterMV a) (T out) :: Type

type Output (ParameterMV a) (T inp) :: Type

Methods

process :: T0 (ParameterMV a, T inp) (T out)

(C a, Vector D4 a, PseudoRing a) => C (Parameter a) (T a) (T a)

Defined in Synthesizer.LLVM.Causal.Controlled

Associated Types

type Input (Parameter a) (T a) :: Type

type Output (Parameter a) (T a) :: Type

Methods

process :: T0 (Parameter a, T a) (T a)

(C ae ve, Aggregate ae a, Aggregate ve v, C v, Natural n) => C (Parameter n a) v v

Defined in Synthesizer.LLVM.Causal.Controlled

Associated Types

type Input (Parameter n a) v :: Type

type Output (Parameter n a) v :: Type

Methods

process :: T (Parameter n a, v) v

(C ae ve, Aggregate ae a, Aggregate ve v, C a, C v, Natural n) => C (CascadeParameter n a) v v

Defined in Synthesizer.LLVM.Causal.Controlled

Associated Types

type Input (CascadeParameter n a) v :: Type

type Output (CascadeParameter n a) v :: Type

Methods

process :: T (CascadeParameter n a, v) v

(a ~ Scalar v, PseudoModule v, C a, IntegerConstant a, C v, Natural n, Positive (n :*: UnknownSize), inp ~ T v, out ~ T v) => C (ParameterValue n a) inp out

Defined in Synthesizer.LLVM.Causal.Controlled

Associated Types

type Input (ParameterValue n a) out :: Type

type Output (ParameterValue n a) inp :: Type

Methods

process :: T (ParameterValue n a, inp) out

processCtrlRate :: (C parameter a b, C parameter) => (C r, IntegerConstant r, Additive r, Comparison r) => Exp r -> (Exp r -> T parameter) -> T a b