Safe Haskell | None |
---|---|
Language | Haskell98 |
- data Parameter n a
- parameter :: (Transcendental a, RationalConstant a, Natural n) => Proxy n -> a -> a -> CodeGenFunction r (Parameter n a)
- causal :: (C process, C v, PseudoModule v, Scalar v ~ a, IntegerConstant a, Natural n) => process (Parameter n a, v) v
- causalInit :: (Storable vh, MakeValueTuple vh, ValueTuple vh ~ v, C v, PseudoModule v, Scalar v ~ a, IntegerConstant a, Natural n) => T p vh -> T p (Parameter n a, v) v
- causalP :: (C v, PseudoModule v, Scalar v ~ a, IntegerConstant a, Natural n) => T p (Parameter n a, v) v
- causalInitP :: (Storable vh, MakeValueTuple vh, ValueTuple vh ~ v, C v, PseudoModule v, Scalar v ~ a, IntegerConstant a, Natural n) => T p vh -> T p (Parameter n a, v) v
Documentation
Functor (Parameter n) | |
Applicative (Parameter n) | |
Foldable (Parameter n) | |
Traversable (Parameter n) | |
(C a, Natural n) => C (Parameter n a) | |
(C v, Natural n) => C (Parameter n v) | |
(Simple v, Natural n) => Simple (Parameter n v) | |
(Undefined a, Natural n) => Undefined (Parameter n a) | |
(Zero a, Natural n) => Zero (Parameter n a) | |
(Phi a, Natural n) => Phi (Parameter n a) | |
(Flatten a, Natural n) => Flatten (Parameter n a) | |
(PseudoModule v, (~) * (Scalar v) a, IntegerConstant a, C v, Natural n) => C (Parameter n a) v v | |
(C v, (~) * (Element v) b, Phi a, Undefined a, (~) * a (Scalar b), PseudoModule b, IntegerConstant a, C b, Natural n) => C (Parameter n a) v v | |
type Struct (Parameter n a) | |
type Size (Parameter n v) = Size v | |
type Element (Parameter n v) = Parameter n (Element v) | |
type Registers (Parameter n a) = Parameter n (Registers a) | |
type Input (Parameter n a) v = v | |
type Output (Parameter n a) v = v |
parameter :: (Transcendental a, RationalConstant a, Natural n) => Proxy n -> a -> a -> CodeGenFunction r (Parameter n a) Source
causal :: (C process, C v, PseudoModule v, Scalar v ~ a, IntegerConstant a, Natural n) => process (Parameter n a, v) v Source
causalInit :: (Storable vh, MakeValueTuple vh, ValueTuple vh ~ v, C v, PseudoModule v, Scalar v ~ a, IntegerConstant a, Natural n) => T p vh -> T p (Parameter n a, v) v Source
causalP :: (C v, PseudoModule v, Scalar v ~ a, IntegerConstant a, Natural n) => T p (Parameter n a, v) v Source
Deprecated: use causal
instead
causalInitP :: (Storable vh, MakeValueTuple vh, ValueTuple vh ~ v, C v, PseudoModule v, Scalar v ~ a, IntegerConstant a, Natural n) => T p vh -> T p (Parameter n a, v) v Source
Deprecated: use causalInit
instead