| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Synthesizer.LLVM.Filter.Universal
- data Result a :: * -> * = Result {}
- data Parameter a :: * -> *
- parameter :: (Transcendental a, RationalConstant a) => a -> a -> CodeGenFunction r (Parameter a)
- causal :: (C process, a ~ Scalar v, PseudoModule v, IntegerConstant a, C v) => process (Parameter a, v) (Result v)
- causalP :: (a ~ Scalar v, PseudoModule v, IntegerConstant a, C v) => T p (Parameter a, v) (Result 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, RationalConstant a, C a, C v) => C (Parameter a) v (Result v) Source | |
| (C v, (~) * (Element v) b, Phi a, Undefined a, (~) * a (Scalar b), PseudoModule b, IntegerConstant a, C b) => C (Parameter a) v (Result v) Source | |
| type Size (Result v) = Size v | |
| type Element (Result v) = Result (Element v) | |
| type ValueTuple (Result a) = Result (ValueTuple a) | |
| type Size (Result v) = Size v Source | |
| type WriteIt (Result v) = Result (WriteIt v) Source | |
| type Element (Result v) = Result (Element v) Source | |
| type ReadIt (Result v) = Result (ReadIt 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) | |
| Storable a => Storable (Parameter a) | |
| ((~) * a (Scalar v), PseudoModule v, RationalConstant a, C a, C v) => C (Parameter a) v (Result v) Source | |
| (C v, (~) * (Element v) b, Phi a, Undefined a, (~) * a (Scalar b), PseudoModule b, IntegerConstant a, C b) => C (Parameter a) v (Result v) Source | |
| type Struct (Parameter a) | |
| type Size (Parameter v) = Size v | |
| type Element (Parameter v) = Parameter (Element v) | |
| 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 -> a -> CodeGenFunction r (Parameter a) Source
causal :: (C process, a ~ Scalar v, PseudoModule v, IntegerConstant a, C v) => process (Parameter a, v) (Result v) Source
causalP :: (a ~ Scalar v, PseudoModule v, IntegerConstant a, C v) => T p (Parameter a, v) (Result v) Source
Deprecated: use causal instead