Safe Haskell	None
Language	Haskell98

Synthesizer.LLVM.Filter.FirstOrder

Contents

Orphan instances

Synopsis

data Result a = Result {
- highpass_ :: !a
- lowpass_ :: !a
}
data Parameter a
parameter :: C a => a -> Parameter a
causal :: (Aggregate ae a, C ae ve, Aggregate ve v, C v) => T (Parameter a, v) (Result v)
lowpassCausal :: (Aggregate ae a, C ae ve, Aggregate ve v, C v) => T (Parameter a, v) v
highpassCausal :: (Aggregate ae a, C ae ve, Aggregate ve v, C v) => T (Parameter a, v) v
causalInit :: (Aggregate ae a, C a, C ae ve, Aggregate ve v, C v) => ve -> T (Parameter a, v) (Result v)
lowpassCausalInit :: (Aggregate ae a, C a, C ae ve, Aggregate ve v, C v) => ve -> T (Parameter a, v) v
highpassCausalInit :: (Aggregate ae a, C a, C ae ve, Aggregate ve v, C v) => ve -> T (Parameter a, v) v
causalPacked :: (Write v, Element v ~ a, PseudoRing v, IntegerConstant v, PseudoRing a, IntegerConstant a, C a) => T (Parameter a, v) (Result v)
lowpassCausalPacked :: (Write v, Element v ~ a, PseudoRing v, IntegerConstant v, PseudoRing a, IntegerConstant a, C a) => T (Parameter a, v) v
highpassCausalPacked :: (Write v, Element v ~ a, PseudoRing v, IntegerConstant v, PseudoRing a, IntegerConstant a, C a) => T (Parameter a, v) v
causalInitPacked :: (PseudoRing v, IntegerConstant v, Write v, Element v ~ a, Aggregate ae a, PseudoRing a, IntegerConstant a, C a) => ae -> T (Parameter a, v) (Result v)
lowpassCausalInitPacked :: (PseudoRing v, IntegerConstant v, Write v, Element v ~ a, Aggregate ae a, PseudoRing a, IntegerConstant a, C a) => ae -> T (Parameter a, v) v
highpassCausalInitPacked :: (PseudoRing v, IntegerConstant v, Write v, Element v ~ a, Aggregate ae a, PseudoRing a, IntegerConstant a, C a) => ae -> T (Parameter a, v) v
causalRecursivePacked :: (Write v, Element v ~ a, PseudoRing v, IntegerConstant v, PseudoRing a, IntegerConstant a, C a) => T (Parameter a, v) v

Documentation

data Result a #

Constructors

Result
Fields highpass_ :: !a lowpass_ :: !a

Instances

Functor Result
Instance details Defined in Synthesizer.Plain.Filter.Recursive.FirstOrder Methods fmap :: (a -> b) -> Result a -> Result b # (<$) :: a -> Result b -> Result a #
Applicative Result
Instance details Defined in Synthesizer.Plain.Filter.Recursive.FirstOrder Methods pure :: a -> Result a # (<>) :: Result (a -> b) -> Result a -> Result b # liftA2 :: (a -> b -> c) -> Result a -> Result b -> Result c # (>) :: Result a -> Result b -> Result b # (<*) :: Result a -> Result b -> Result a #
Foldable Result
Instance details Defined in Synthesizer.Plain.Filter.Recursive.FirstOrder Methods fold :: Monoid m => Result m -> m # foldMap :: Monoid m => (a -> m) -> Result a -> m # foldr :: (a -> b -> b) -> b -> Result a -> b # foldr' :: (a -> b -> b) -> b -> Result a -> b # foldl :: (b -> a -> b) -> b -> Result a -> b # foldl' :: (b -> a -> b) -> b -> Result a -> b # foldr1 :: (a -> a -> a) -> Result a -> a # foldl1 :: (a -> a -> a) -> Result a -> a # toList :: Result a -> [a] # null :: Result a -> Bool # length :: Result a -> Int # elem :: Eq a => a -> Result a -> Bool # maximum :: Ord a => Result a -> a # minimum :: Ord a => Result a -> a # sum :: Num a => Result a -> a # product :: Num a => Result a -> a #
Traversable Result
Instance details Defined in Synthesizer.Plain.Filter.Recursive.FirstOrder Methods traverse :: Applicative f => (a -> f b) -> Result a -> f (Result b) # sequenceA :: Applicative f => Result (f a) -> f (Result a) # mapM :: Monad m => (a -> m b) -> Result a -> m (Result b) # sequence :: Monad m => Result (m a) -> m (Result a) #
C a v => C a (Result v)
Instance details Defined in Synthesizer.Plain.Filter.Recursive.FirstOrder Methods (*>) :: a -> Result v -> Result v #
Eq a => Eq (Result a)
Instance details Defined in Synthesizer.Plain.Filter.Recursive.FirstOrder Methods (==) :: Result a -> Result a -> Bool # (/=) :: Result a -> Result a -> Bool #
Arbitrary a => Arbitrary (Result a)
Instance details Defined in Synthesizer.Plain.Filter.Recursive.FirstOrder Methods arbitrary :: Gen (Result a) # shrink :: Result a -> [Result a] #
Storable a => Storable (Result a)
Instance details Defined in Synthesizer.Plain.Filter.Recursive.FirstOrder Methods sizeOf :: Result a -> Int # alignment :: Result a -> Int # peekElemOff :: Ptr (Result a) -> Int -> IO (Result a) # pokeElemOff :: Ptr (Result a) -> Int -> Result a -> IO () # peekByteOff :: Ptr b -> Int -> IO (Result a) # pokeByteOff :: Ptr b -> Int -> Result a -> IO () # peek :: Ptr (Result a) -> IO (Result a) # poke :: Ptr (Result a) -> Result a -> IO () #
C v => C (Result v)
Instance details Defined in Synthesizer.Plain.Filter.Recursive.FirstOrder Methods zero :: Result v # (+) :: Result v -> Result v -> Result v # (-) :: Result v -> Result v -> Result v # negate :: Result v -> Result v #
(Write v, Element v ~ a, PseudoRing v, IntegerConstant v, PseudoRing a, IntegerConstant a, Aggregate ae a, Phi a, Undefined a, C a) => C (Parameter a) v (Result v) Source #
Instance details Defined in Synthesizer.LLVM.Causal.ControlledPacked Associated Types type Output (Parameter a) v :: Type Source # type Input (Parameter a) (Result v) :: Type Source # Methods process :: T (Parameter a, v) (Result v) Source #
(C ae ve, Aggregate ae a, Aggregate ve v, C a, C v) => C (Parameter a) v (Result v) Source #
Instance details Defined in Synthesizer.LLVM.Causal.Controlled Associated Types type Input (Parameter a) (Result v) :: Type Source # type Output (Parameter a) v :: Type Source # Methods process :: T (Parameter a, v) (Result v) Source #
Aggregate e mv => Aggregate (Result e) (Result mv)
Instance details Defined in Synthesizer.LLVM.Filter.FirstOrder Associated Types type MultiValuesOf (Result e) :: Type type ExpressionsOf (Result mv) :: Type Methods bundle :: Result e -> CodeGenFunction r (Result mv) dissect :: Result mv -> Result e
type ExpressionsOf (Result mv)
Instance details Defined in Synthesizer.LLVM.Filter.FirstOrder type ExpressionsOf (Result mv) = Result (ExpressionsOf mv)
type MultiValuesOf (Result e)
Instance details Defined in Synthesizer.LLVM.Filter.FirstOrder type MultiValuesOf (Result e) = Result (MultiValuesOf e)
type Input (Parameter a) (Result v) Source #
Instance details Defined in Synthesizer.LLVM.Causal.ControlledPacked type Input (Parameter a) (Result v) = v
type Input (Parameter a) (Result v) Source #
Instance details Defined in Synthesizer.LLVM.Causal.Controlled type Input (Parameter a) (Result v) = v

data Parameter a #

Instances

Functor Parameter
Instance details Defined in Synthesizer.Plain.Filter.Recursive.FirstOrder Methods fmap :: (a -> b) -> Parameter a -> Parameter b # (<$) :: a -> Parameter b -> Parameter a #
Applicative Parameter
Instance details Defined in Synthesizer.Plain.Filter.Recursive.FirstOrder 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
Instance details Defined in Synthesizer.Plain.Filter.Recursive.FirstOrder 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
Instance details Defined in Synthesizer.Plain.Filter.Recursive.FirstOrder 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)
Instance details Defined in Synthesizer.Plain.Filter.Recursive.FirstOrder Methods scaleAndAccumulate :: (a, Parameter v) -> (Parameter v, Parameter v -> Parameter v) #
Eq a => Eq (Parameter a)
Instance details Defined in Synthesizer.Plain.Filter.Recursive.FirstOrder Methods (==) :: Parameter a -> Parameter a -> Bool # (/=) :: Parameter a -> Parameter a -> Bool #
Show a => Show (Parameter a)
Instance details Defined in Synthesizer.Plain.Filter.Recursive.FirstOrder Methods showsPrec :: Int -> Parameter a -> ShowS # show :: Parameter a -> String # showList :: [Parameter a] -> ShowS #
Arbitrary a => Arbitrary (Parameter a)
Instance details Defined in Synthesizer.Plain.Filter.Recursive.FirstOrder Methods arbitrary :: Gen (Parameter a) # shrink :: Parameter a -> [Parameter a] #
Storable a => Storable (Parameter a)
Instance details Defined in Synthesizer.Plain.Filter.Recursive.FirstOrder 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 () #
C a => C (Parameter a)
Instance details Defined in Synthesizer.LLVM.Filter.FirstOrder 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)))
Phi a => Phi (Parameter a)
Instance details Defined in Synthesizer.LLVM.Filter.FirstOrder Methods phi :: BasicBlock -> Parameter a -> CodeGenFunction r (Parameter a) addPhi :: BasicBlock -> Parameter a -> Parameter a -> CodeGenFunction r ()
Undefined a => Undefined (Parameter a)
Instance details Defined in Synthesizer.LLVM.Filter.FirstOrder 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 (Parameter a) v (Result v) Source #
Instance details Defined in Synthesizer.LLVM.Causal.ControlledPacked Associated Types type Output (Parameter a) v :: Type Source # type Input (Parameter a) (Result v) :: Type Source # Methods process :: T (Parameter a, v) (Result v) Source #
(C ae ve, Aggregate ae a, Aggregate ve v, C a, C v) => C (Parameter a) v (Result v) Source #
Instance details Defined in Synthesizer.LLVM.Causal.Controlled Associated Types type Input (Parameter a) (Result v) :: Type Source # type Output (Parameter a) v :: Type Source # Methods process :: T (Parameter a, v) (Result v) Source #
Aggregate e mv => Aggregate (Parameter e) (Parameter mv)
Instance details Defined in Synthesizer.LLVM.Filter.FirstOrder 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 Struct (Parameter a)
Instance details Defined in Synthesizer.LLVM.Filter.FirstOrder type Struct (Parameter a) = Struct a
type ExpressionsOf (Parameter mv)
Instance details Defined in Synthesizer.LLVM.Filter.FirstOrder type ExpressionsOf (Parameter mv) = Parameter (ExpressionsOf mv)
type MultiValuesOf (Parameter e)
Instance details Defined in Synthesizer.LLVM.Filter.FirstOrder type MultiValuesOf (Parameter e) = Parameter (MultiValuesOf e)
type Output (Parameter a) v Source #
Instance details Defined in Synthesizer.LLVM.Causal.ControlledPacked type Output (Parameter a) v = Result v
type Output (Parameter a) v Source #
Instance details Defined in Synthesizer.LLVM.Causal.Controlled type Output (Parameter a) v = Result v
type Input (Parameter a) (Result v) Source #
Instance details Defined in Synthesizer.LLVM.Causal.ControlledPacked type Input (Parameter a) (Result v) = v
type Input (Parameter a) (Result v) Source #
Instance details Defined in Synthesizer.LLVM.Causal.Controlled type Input (Parameter a) (Result v) = v

parameter :: C a => a -> Parameter a #

Convert cut-off frequency to feedback factor.

causal :: (Aggregate ae a, C ae ve, Aggregate ve v, C v) => T (Parameter a, v) (Result v) Source #

lowpassCausal :: (Aggregate ae a, C ae ve, Aggregate ve v, C v) => T (Parameter a, v) v Source #

highpassCausal :: (Aggregate ae a, C ae ve, Aggregate ve v, C v) => T (Parameter a, v) v Source #

causalInit :: (Aggregate ae a, C a, C ae ve, Aggregate ve v, C v) => ve -> T (Parameter a, v) (Result v) Source #

lowpassCausalInit :: (Aggregate ae a, C a, C ae ve, Aggregate ve v, C v) => ve -> T (Parameter a, v) v Source #

highpassCausalInit :: (Aggregate ae a, C a, C ae ve, Aggregate ve v, C v) => ve -> T (Parameter a, v) v Source #

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

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

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

causalInitPacked :: (PseudoRing v, IntegerConstant v, Write v, Element v ~ a, Aggregate ae a, PseudoRing a, IntegerConstant a, C a) => ae -> T (Parameter a, v) (Result v) Source #

lowpassCausalInitPacked :: (PseudoRing v, IntegerConstant v, Write v, Element v ~ a, Aggregate ae a, PseudoRing a, IntegerConstant a, C a) => ae -> T (Parameter a, v) v Source #

highpassCausalInitPacked :: (PseudoRing v, IntegerConstant v, Write v, Element v ~ a, Aggregate ae a, PseudoRing a, IntegerConstant a, C a) => ae -> T (Parameter a, v) v Source #

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

Orphan instances

C a => C (Parameter a) Source #
Instance details 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)))
Phi a => Phi (Parameter a) Source #
Instance details Methods phi :: BasicBlock -> Parameter a -> CodeGenFunction r (Parameter a) addPhi :: BasicBlock -> Parameter a -> Parameter a -> CodeGenFunction r ()
Undefined a => Undefined (Parameter a) Source #
Instance details Methods undef :: Parameter a
Aggregate e mv => Aggregate (Parameter e) (Parameter mv) Source #
Instance details 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 (Result e) (Result mv) Source #
Instance details Associated Types type MultiValuesOf (Result e) :: Type type ExpressionsOf (Result mv) :: Type Methods bundle :: Result e -> CodeGenFunction r (Result mv) dissect :: Result mv -> Result e