| Safe Haskell | None |
|---|
Synthesizer.LLVM.Filter.Universal
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) | |
| Simple v => Simple (Result v) | |
| Undefined a => Undefined (Result a) | |
| MakeValueTuple a => MakeValueTuple (Result a) | |
| Phi a => Phi (Result a) | |
| C v => C (Result v) | |
| Flatten a => Flatten (Result a) | |
| Sized v => Sized (Result v) | |
| C v => C (Result v) | |
| Read v => Read (Result v) | |
| (C v, ~ * (Element v) b, Phi a, Undefined a, PseudoModule a b, IntegerConstant a, C b) => C (Parameter a) v (Result v) | |
| (PseudoModule a v, RationalConstant a, C a, C v) => C (Parameter a) v (Result v) |
data Parameter a
Instances
| Functor Parameter | |
| Applicative Parameter | |
| Foldable Parameter | |
| Traversable Parameter | |
| C a v => C a (Parameter v) | |
| Storable a => Storable (Parameter a) | |
| C a => C (Parameter a) | |
| C v => C (Parameter v) | |
| Simple v => Simple (Parameter v) | |
| Undefined a => Undefined (Parameter a) | |
| MakeValueTuple a => MakeValueTuple (Parameter a) | |
| Phi a => Phi (Parameter a) | |
| Flatten a => Flatten (Parameter a) | |
| (C v, ~ * (Element v) b, Phi a, Undefined a, PseudoModule a b, IntegerConstant a, C b) => C (Parameter a) v (Result v) | |
| (PseudoModule a v, RationalConstant a, C a, C v) => C (Parameter a) v (Result v) |
parameter :: (Transcendental a, RationalConstant a) => a -> a -> CodeGenFunction r (Parameter a)Source
causalP :: (PseudoModule a v, IntegerConstant a, C v) => T p (Parameter a, v) (Result v)Source