Safe Haskell	None
Language	Haskell98

Synthesizer.LLVM.Filter.SecondOrderPacked

Synopsis

data Parameter a
data ParameterExp a
bandpassParameter :: (C a, Transcendental a, RationalConstant a) => Exp a -> Exp a -> ParameterExp a
type State = T D4
causal :: PseudoRing a => Vector D4 a => T (Parameter a, T a) (T a)

Documentation

data Parameter a Source #

Layout:

c0 [c1 d1 c2 d2]

Instances

(C a, Vector D4 a) => C (Parameter a) Source #
Instance details Defined in Synthesizer.LLVM.Filter.SecondOrderPacked Associated Types type Struct (Parameter a) :: Type # Methods load :: Value (Ptr (Struct (Parameter a))) -> CodeGenFunction r (Parameter a) # store :: Parameter a -> Value (Ptr (Struct (Parameter a))) -> CodeGenFunction r () # decompose :: Value (Struct (Parameter a)) -> CodeGenFunction r (Parameter a) # compose :: Parameter a -> CodeGenFunction r (Value (Struct (Parameter a))) #
C a => Phi (Parameter a) Source #
Instance details Defined in Synthesizer.LLVM.Filter.SecondOrderPacked Methods phi :: BasicBlock -> Parameter a -> CodeGenFunction r (Parameter a) # addPhi :: BasicBlock -> Parameter a -> Parameter a -> CodeGenFunction r () #
C a => Undefined (Parameter a) Source #
Instance details Defined in Synthesizer.LLVM.Filter.SecondOrderPacked Methods undef :: Parameter a #
Aggregate (ParameterExp a) (Parameter a) Source #
Instance details Defined in Synthesizer.LLVM.Filter.SecondOrderPacked Associated Types type MultiValuesOf (ParameterExp a) :: Type # type ExpressionsOf (Parameter a) :: Type # Methods bundle :: ParameterExp a -> CodeGenFunction r (Parameter a) # dissect :: Parameter a -> ParameterExp a #
(C a, Vector D4 a, PseudoRing a) => C (Parameter a) (T a) (T a) Source #
Instance details Defined in Synthesizer.LLVM.Causal.Controlled Associated Types type Input (Parameter a) (T a) :: Type Source # type Output (Parameter a) (T a) :: Type Source # Methods process :: T0 (Parameter a, T a) (T a) Source #
type ExpressionsOf (Parameter a) Source #
Instance details Defined in Synthesizer.LLVM.Filter.SecondOrderPacked type ExpressionsOf (Parameter a) = ParameterExp a
type Struct (Parameter a) Source #
Instance details Defined in Synthesizer.LLVM.Filter.SecondOrderPacked type Struct (Parameter a)
type Input (Parameter a) (T a) Source #
Instance details Defined in Synthesizer.LLVM.Causal.Controlled type Input (Parameter a) (T a) = T a
type Output (Parameter a) (T a) Source #
Instance details Defined in Synthesizer.LLVM.Causal.Controlled type Output (Parameter a) (T a) = T a

data ParameterExp a Source #

Instances

Aggregate (ParameterExp a) (Parameter a) Source #
Instance details Defined in Synthesizer.LLVM.Filter.SecondOrderPacked Associated Types type MultiValuesOf (ParameterExp a) :: Type # type ExpressionsOf (Parameter a) :: Type # Methods bundle :: ParameterExp a -> CodeGenFunction r (Parameter a) # dissect :: Parameter a -> ParameterExp a #
type MultiValuesOf (ParameterExp a) Source #
Instance details Defined in Synthesizer.LLVM.Filter.SecondOrderPacked type MultiValuesOf (ParameterExp a) = Parameter a

bandpassParameter :: (C a, Transcendental a, RationalConstant a) => Exp a -> Exp a -> ParameterExp a Source #

Deprecated: only for testing, use Universal or Moog filter for production code

type State = T D4 Source #

causal :: PseudoRing a => Vector D4 a => T (Parameter a, T a) (T a) Source #