Synthesizer.LLVM.CausalParameterized.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

process :: (C parameter a b, C process) => process (parameter, a) b

processCtrlRate :: (C parameter a b, C parameter, FirstClass r, IsSized (Stored r), IsFloating r, Storable r, IntegerConstant r, MakeValueTuple r, ValueTuple r ~ Value r, CmpRet r, CmpResult r ~ Bool) => T p r -> (T p r -> T p parameter) -> T p a b