Safe Haskell | None |
---|---|
Language | Haskell98 |
Synopsis
- data Result a = Result {}
- 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
Instances
Instances
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 # | |
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 # | |
phi :: BasicBlock -> Parameter a -> CodeGenFunction r (Parameter a) # addPhi :: BasicBlock -> Parameter a -> Parameter a -> CodeGenFunction r () # | |
Undefined a => Undefined (Parameter a) Source # | |
Aggregate e mv => Aggregate (Parameter e) (Parameter mv) Source # | |
Aggregate e mv => Aggregate (Result e) (Result mv) Source # | |