Synthesizer.LLVM.Filter.ComplexFirstOrder

Documentation

data Parameter a

Instances

Functor Parameter

Applicative Parameter

Foldable Parameter

Traversable Parameter

C a => C (Parameter a)

Undefined a => Undefined (Parameter a)

Phi a => Phi (Parameter a)

Flatten a => Flatten (Parameter a)

(PseudoRing a, RationalConstant a, C a) => C (Parameter a) (T a) (T a)

type Struct (Parameter a)

type Registers (Parameter a) = Parameter (Registers a)

type Input (Parameter a) (T a) = T a

type Output (Parameter a) (T a) = T a

parameter :: (Transcendental a, RationalConstant a) => a -> a -> CodeGenFunction r (Parameter a)

causal :: (C process, PseudoRing a, IntegerConstant a, C a) => process (Parameter a, T a) (T a)

causalP :: (PseudoRing a, IntegerConstant a, C a) => T p (Parameter a, T a) (T a)

Deprecated: use causal instead