Safe Haskell | None |
---|
Documentation
data Result a
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
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