| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Synthesizer.LLVM.Filter.FirstOrder
- data Result a :: * -> * = Result {}
- data Parameter a :: * -> *
- parameter :: (Transcendental a, RationalConstant a) => a -> CodeGenFunction r (Parameter a)
- causal :: (C process, IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => process (Parameter a, v) (Result v)
- lowpassCausal :: (C process, IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => process (Parameter a, v) v
- highpassCausal :: (C process, IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => process (Parameter a, v) v
- causalPacked :: (C process, C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => process (Parameter a, v) (Result v)
- lowpassCausalPacked :: (C process, C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => process (Parameter a, v) v
- highpassCausalPacked :: (C process, C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => process (Parameter a, v) v
- causalRecursivePacked :: (C process, C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => process (Parameter a, v) v
- causalP :: (IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => T p (Parameter a, v) (Result v)
- lowpassCausalP :: (IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => T p (Parameter a, v) v
- highpassCausalP :: (IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => T p (Parameter a, v) v
- causalPackedP :: (C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => T p (Parameter a, v) (Result v)
- lowpassCausalPackedP :: (C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => T p (Parameter a, v) v
- highpassCausalPackedP :: (C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => T p (Parameter a, v) v
- causalRecursivePackedP :: (C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => T p (Parameter a, v) v
Documentation
data Result a :: * -> *
Instances
| Functor Result | |
| Applicative Result | |
| Foldable Result | |
| Traversable Result | |
| C a v => C a (Result v) | |
| Storable a => Storable (Result a) | |
| C v => C (Result v) | |
| ((~) * a (Scalar v), PseudoModule v, IntegerConstant a, C a, C v) => C (Parameter a) v (Result v) Source | |
| (C v, (~) * (Element v) a, PseudoRing a, IntegerConstant a, C a, PseudoRing v) => C (Parameter a) v (Result v) Source | |
| type Registers (Result a) = Result (Registers a) Source | |
| type Input (Parameter a) (Result v) = v Source | |
| type Input (Parameter a) (Result v) = v Source |
data Parameter a :: * -> *
Instances
| Functor Parameter | |
| Applicative Parameter | |
| Foldable Parameter | |
| Traversable Parameter | |
| C a v => C a (Parameter v) | |
| Show a => Show (Parameter a) | |
| Storable a => Storable (Parameter a) | |
| ((~) * a (Scalar v), PseudoModule v, IntegerConstant a, C a, C v) => C (Parameter a) v (Result v) Source | |
| (C v, (~) * (Element v) a, PseudoRing a, IntegerConstant a, C a, PseudoRing v) => C (Parameter a) v (Result v) Source | |
| type Struct (Parameter a) = Struct a | |
| type ValueTuple (Parameter a) = Parameter (ValueTuple a) | |
| type Registers (Parameter a) = Parameter (Registers a) Source | |
| type Output (Parameter a) v = Result v Source | |
| type Output (Parameter a) v = Result v Source | |
| type Input (Parameter a) (Result v) = v Source | |
| type Input (Parameter a) (Result v) = v Source |
parameter :: (Transcendental a, RationalConstant a) => a -> CodeGenFunction r (Parameter a) Source
causal :: (C process, IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => process (Parameter a, v) (Result v) Source
lowpassCausal :: (C process, IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => process (Parameter a, v) v Source
highpassCausal :: (C process, IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => process (Parameter a, v) v Source
causalPacked :: (C process, C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => process (Parameter a, v) (Result v) Source
lowpassCausalPacked :: (C process, C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => process (Parameter a, v) v Source
highpassCausalPacked :: (C process, C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => process (Parameter a, v) v Source
causalRecursivePacked :: (C process, C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => process (Parameter a, v) v Source
causalP :: (IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => T p (Parameter a, v) (Result v) Source
Deprecated: use causal instead
lowpassCausalP :: (IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => T p (Parameter a, v) v Source
Deprecated: use lowpassCausal instead
highpassCausalP :: (IntegerConstant a, a ~ Scalar v, PseudoModule v, C v) => T p (Parameter a, v) v Source
Deprecated: use highpassCausal instead
causalPackedP :: (C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => T p (Parameter a, v) (Result v) Source
Deprecated: use causalPacked instead
lowpassCausalPackedP :: (C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => T p (Parameter a, v) v Source
Deprecated: use lowpassCausalPacked instead
highpassCausalPackedP :: (C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => T p (Parameter a, v) v Source
Deprecated: use highpassCausalPacked instead
causalRecursivePackedP :: (C v, Element v ~ a, C a, IntegerConstant a, PseudoRing v, PseudoRing a) => T p (Parameter a, v) v Source
Deprecated: use causalRecursivePacked instead