Synthesizer.LLVM.Filter.SecondOrder

Documentation

data Parameter a

Parameters for a general recursive filter of 2nd order.

Constructors

Parameter !a !a !a !a !a

Instances

Functor Parameter

Defined in Synthesizer.Plain.Filter.Recursive.SecondOrder

Methods

fmap :: (a -> b) -> Parameter a -> Parameter b

(<$) :: a -> Parameter b -> Parameter a

Applicative Parameter

Defined in Synthesizer.Plain.Filter.Recursive.SecondOrder

Methods

pure :: a -> Parameter a

(<*>) :: Parameter (a -> b) -> Parameter a -> Parameter b

liftA2 :: (a -> b -> c) -> Parameter a -> Parameter b -> Parameter c

(*>) :: Parameter a -> Parameter b -> Parameter b

(<*) :: Parameter a -> Parameter b -> Parameter a

Foldable Parameter

Defined in Synthesizer.Plain.Filter.Recursive.SecondOrder

Methods

fold :: Monoid m => Parameter m -> m

foldMap :: Monoid m => (a -> m) -> Parameter a -> m

foldr :: (a -> b -> b) -> b -> Parameter a -> b

foldr' :: (a -> b -> b) -> b -> Parameter a -> b

foldl :: (b -> a -> b) -> b -> Parameter a -> b

foldl' :: (b -> a -> b) -> b -> Parameter a -> b

foldr1 :: (a -> a -> a) -> Parameter a -> a

foldl1 :: (a -> a -> a) -> Parameter a -> a

toList :: Parameter a -> [a]

null :: Parameter a -> Bool

length :: Parameter a -> Int

elem :: Eq a => a -> Parameter a -> Bool

maximum :: Ord a => Parameter a -> a

minimum :: Ord a => Parameter a -> a

sum :: Num a => Parameter a -> a

product :: Num a => Parameter a -> a

Traversable Parameter

Defined in Synthesizer.Plain.Filter.Recursive.SecondOrder

Methods

traverse :: Applicative f => (a -> f b) -> Parameter a -> f (Parameter b)

sequenceA :: Applicative f => Parameter (f a) -> f (Parameter a)

mapM :: Monad m => (a -> m b) -> Parameter a -> m (Parameter b)

sequence :: Monad m => Parameter (m a) -> m (Parameter a)

C a v => C a (Parameter v)

Defined in Synthesizer.Plain.Filter.Recursive.SecondOrder

Methods

scaleAndAccumulate :: (a, Parameter v) -> (Parameter v, Parameter v -> Parameter v)

Show a => Show (Parameter a)

Defined in Synthesizer.Plain.Filter.Recursive.SecondOrder

Methods

showsPrec :: Int -> Parameter a -> ShowS

show :: Parameter a -> String

showList :: [Parameter a] -> ShowS

Storable a => Storable (Parameter a)

Defined in Synthesizer.Plain.Filter.Recursive.SecondOrder

Methods

sizeOf :: Parameter a -> Int

alignment :: Parameter a -> Int

peekElemOff :: Ptr (Parameter a) -> Int -> IO (Parameter a)

pokeElemOff :: Ptr (Parameter a) -> Int -> Parameter a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Parameter a)

pokeByteOff :: Ptr b -> Int -> Parameter a -> IO ()

peek :: Ptr (Parameter a) -> IO (Parameter a)

poke :: Ptr (Parameter a) -> Parameter a -> IO ()

Flatten a => Flatten (Parameter a)

Defined in Synthesizer.LLVM.Filter.SecondOrder

Associated Types

type Registers (Parameter a) :: Type

Methods

flattenCode :: Parameter a -> Compute r (Registers (Parameter a))

unfoldCode :: T (Registers (Parameter a)) -> Parameter a

C a => C (Parameter a)

Defined in Synthesizer.LLVM.Filter.SecondOrder

Methods

pack :: Parameter a -> Struct (Parameter a)

unpack :: Struct (Parameter a) -> Parameter a

C a => C (Parameter a)

Defined in Synthesizer.LLVM.Filter.SecondOrder

Methods

pack :: Parameter a -> Struct (Parameter a)

unpack :: Struct (Parameter a) -> Parameter a

C a => C (Parameter a)

Defined in Synthesizer.LLVM.Filter.SecondOrder

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 => C (Parameter a)

Defined in Synthesizer.LLVM.Filter.SecondOrder

Associated Types

type Repr (Parameter a) :: Type

Methods

cons :: Parameter a -> T (Parameter a)

undef :: T (Parameter a)

zero :: T (Parameter a)

phi :: BasicBlock -> T (Parameter a) -> CodeGenFunction r (T (Parameter a))

addPhi :: BasicBlock -> T (Parameter a) -> T (Parameter a) -> CodeGenFunction r ()

C a => C (Parameter a)

Defined in Synthesizer.LLVM.Filter.SecondOrder

Methods

load :: Value (Ptr (Parameter a)) -> CodeGenFunction r (ValueOf (Parameter a))

store :: ValueOf (Parameter a) -> Value (Ptr (Parameter a)) -> CodeGenFunction r ()

Value a => Value (Parameter a)

Defined in Synthesizer.LLVM.Filter.SecondOrder

Associated Types

type ValueOf (Parameter a) :: Type

Methods

valueOf :: Parameter a -> ValueOf (Parameter a)

Phi a => Phi (Parameter a)

Defined in Synthesizer.LLVM.Filter.SecondOrder

Methods

phi :: BasicBlock -> Parameter a -> CodeGenFunction r (Parameter a)

addPhi :: BasicBlock -> Parameter a -> Parameter a -> CodeGenFunction r ()

Undefined a => Undefined (Parameter a)

Defined in Synthesizer.LLVM.Filter.SecondOrder

Methods

undef :: Parameter a

(Write v, Element v ~ a, PseudoRing v, IntegerConstant v, PseudoRing a, IntegerConstant a, Aggregate ae a, Phi a, Undefined a, C a, C v) => C (Parameter a) v v

Defined in Synthesizer.LLVM.Causal.ControlledPacked

Associated Types

type Output (Parameter a) v :: Type

type Input (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

Aggregate e mv => Aggregate (Parameter e) (Parameter mv)

Defined in Synthesizer.LLVM.Filter.SecondOrder

Associated Types

type MultiValuesOf (Parameter e) :: Type

type ExpressionsOf (Parameter mv) :: Type

Methods

bundle :: Parameter e -> CodeGenFunction r (Parameter mv)

dissect :: Parameter mv -> Parameter e

type Registers (Parameter a)

Defined in Synthesizer.LLVM.Filter.SecondOrder

type Registers (Parameter a) = Parameter (Registers a)

type ExpressionsOf (Parameter mv)

Defined in Synthesizer.LLVM.Filter.SecondOrder

type ExpressionsOf (Parameter mv) = Parameter (ExpressionsOf mv)

type MultiValuesOf (Parameter e)

Defined in Synthesizer.LLVM.Filter.SecondOrder

type MultiValuesOf (Parameter e) = Parameter (MultiValuesOf e)

type Struct (Parameter a)

Defined in Synthesizer.LLVM.Filter.SecondOrder

type Struct (Parameter a) = ParameterStruct (Struct a)

type Repr (Parameter a)

Defined in Synthesizer.LLVM.Filter.SecondOrder

type Repr (Parameter a) = Parameter (Repr a)

type ValueOf (Parameter a)

Defined in Synthesizer.LLVM.Filter.SecondOrder

type ValueOf (Parameter a) = Parameter (ValueOf a)

type Output (Parameter a) v

Defined in Synthesizer.LLVM.Causal.ControlledPacked

type Output (Parameter a) v = v

type Input (Parameter a) v

Defined in Synthesizer.LLVM.Causal.ControlledPacked

type Input (Parameter a) v = v

type Input (Parameter a) v

Defined in Synthesizer.LLVM.Causal.Controlled

type Input (Parameter a) v = v

type Output (Parameter a) v

Defined in Synthesizer.LLVM.Causal.Controlled

type Output (Parameter a) v = v

c0 :: Parameter a -> a

c1 :: Parameter a -> a

c2 :: Parameter a -> a

d1 :: Parameter a -> a

d2 :: Parameter a -> a

bandpassParameter :: C a => a -> a -> Parameter a

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

bandpassParameterCode :: (Transcendental a, RationalConstant a) => a -> a -> CodeGenFunction r (Parameter a)

type ParameterStruct a = Struct (a, (a, (a, (a, (a, ())))))

composeParameter :: IsSized a => Parameter (Value a) -> CodeGenFunction r (Value (ParameterStruct a))

decomposeParameter :: Value (ParameterStruct a) -> CodeGenFunction r (Parameter (Value a))

composeParameterMV :: C a => Parameter (T a) -> CodeGenFunction r (Value (Struct (Parameter a)))

decomposeParameterMV :: C a => Value (Struct (Parameter a)) -> CodeGenFunction r (Parameter (T a))

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

causal :: (a ~ Scalar v, PseudoModule v, IntegerConstant a, C v) => T (Parameter a, v) v

causalPacked :: (Write v, Element v ~ a, C v, C a, IntegerConstant v, IntegerConstant a, PseudoRing v, PseudoRing a) => T (Parameter a, v) v

Vector size must be at least D2.

Orphan instances

Flatten a => Flatten (Parameter a)

Associated Types

type Registers (Parameter a) :: Type

Methods

flattenCode :: Parameter a -> Compute r (Registers (Parameter a))

unfoldCode :: T (Registers (Parameter a)) -> Parameter a

Flatten a => Flatten (State a)

Associated Types

type Registers (State a) :: Type

Methods

flattenCode :: State a -> Compute r (Registers (State a))

unfoldCode :: T (Registers (State a)) -> State a

C a => C (Parameter a)

Methods

pack :: Parameter a -> Struct (Parameter a)

unpack :: Struct (Parameter a) -> Parameter a

C a => C (Parameter a)

Methods

pack :: Parameter a -> Struct (Parameter a)

unpack :: Struct (Parameter a) -> Parameter a

C a => C (Parameter a)

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 => C (State a)

Associated Types

type Struct (State a) :: Type

Methods

load :: Value (Ptr (Struct (State a))) -> CodeGenFunction r (State a)

store :: State a -> Value (Ptr (Struct (State a))) -> CodeGenFunction r ()

decompose :: Value (Struct (State a)) -> CodeGenFunction r (State a)

compose :: State a -> CodeGenFunction r (Value (Struct (State a)))

C a => C (Parameter a)

Associated Types

type Repr (Parameter a) :: Type

Methods

cons :: Parameter a -> T (Parameter a)

undef :: T (Parameter a)

zero :: T (Parameter a)

phi :: BasicBlock -> T (Parameter a) -> CodeGenFunction r (T (Parameter a))

addPhi :: BasicBlock -> T (Parameter a) -> T (Parameter a) -> CodeGenFunction r ()

C a => C (Parameter a)

Methods

load :: Value (Ptr (Parameter a)) -> CodeGenFunction r (ValueOf (Parameter a))

store :: ValueOf (Parameter a) -> Value (Ptr (Parameter a)) -> CodeGenFunction r ()

Value a => Value (Parameter a)

Associated Types

type ValueOf (Parameter a) :: Type

Methods

valueOf :: Parameter a -> ValueOf (Parameter a)

Phi a => Phi (Parameter a)

Methods

phi :: BasicBlock -> Parameter a -> CodeGenFunction r (Parameter a)

addPhi :: BasicBlock -> Parameter a -> Parameter a -> CodeGenFunction r ()

Phi a => Phi (State a)

Methods

phi :: BasicBlock -> State a -> CodeGenFunction r (State a)

addPhi :: BasicBlock -> State a -> State a -> CodeGenFunction r ()

Undefined a => Undefined (Parameter a)

Methods

undef :: Parameter a

Undefined a => Undefined (State a)

Methods

undef :: State a

Aggregate e mv => Aggregate (Parameter e) (Parameter mv)

Associated Types

type MultiValuesOf (Parameter e) :: Type

type ExpressionsOf (Parameter mv) :: Type

Methods

bundle :: Parameter e -> CodeGenFunction r (Parameter mv)

dissect :: Parameter mv -> Parameter e

Aggregate e mv => Aggregate (State e) (State mv)

Associated Types

type MultiValuesOf (State e) :: Type

type ExpressionsOf (State mv) :: Type

Methods

bundle :: State e -> CodeGenFunction r (State mv)

dissect :: State mv -> State e