Safe Haskell | None |
---|
Documentation
Functor (Parameter n) | |
Applicative (Parameter n) | |
Foldable (Parameter n) | |
Traversable (Parameter n) | |
(C a, NaturalT n) => C (Parameter n a) | |
(C v, NaturalT n) => C (Parameter n v) | |
(Simple v, NaturalT n) => Simple (Parameter n v) | |
(Undefined a, NaturalT n) => Undefined (Parameter n a) | |
(Zero a, NaturalT n) => Zero (Parameter n a) | |
(Phi a, NaturalT n) => Phi (Parameter n a) | |
(Flatten a, NaturalT n) => Flatten (Parameter n a) | |
(PseudoModule a v, IntegerConstant a, C v, IsConst v, FirstClass a, IsSized a, IsSized (Stored a), FirstClass v, IsSized v, IsSized (Stored v), MakeValueTuple a, ~ * (ValueTuple a) (Value a), MakeValueTuple v, ~ * (ValueTuple v) (Value v), Storable v, NaturalT n) => C (Parameter n (Value a)) (Value v) (Value v) | |
(PseudoModule a a, IntegerConstant a, C a, FirstClass a, ~ * (Stored a) am, IsSized a, IsSized am, MakeValueTuple a, ~ * (ValueTuple a) (Value a), Storable a, PositiveT d, IsPrimitive a, NaturalT n) => C (Parameter n (Value a)) (Value d a) (Value d a) |
parameter :: (Transcendental a, RationalConstant a, NaturalT n) => n -> a -> a -> CodeGenFunction r (Parameter n a)Source
causalP :: (PseudoModule a v, IntegerConstant a, IsConst v, C v, Storable v, MakeValueTuple v, ValueTuple v ~ Value v, MakeValueTuple a, ValueTuple a ~ Value a, FirstClass a, Stored a ~ am, IsSized a, IsSized am, FirstClass v, Stored v ~ vm, IsSized v, IsSized vm, NaturalT n) => T p (Parameter n (Value a), Value v) (Value v)Source
causalInitP :: (PseudoModule a v, IntegerConstant a, Storable vh, MakeValueTuple vh, v ~ ValueTuple vh, C v, NaturalT n) => T p vh -> T p (Parameter n a, v) vSource