Synthesizer.LLVM.Filter.ComplexFirstOrder

Documentation

data Parameter a

Instances

Phi a => Phi (Parameter a)

Undefined a => Undefined (Parameter a)

(Memory l s, IsSized s ss) => Memory (Parameter l) (Struct (s, (s, (s, ()))))

(IsFirstClass a, IsSized a sa, IsConst a, IsFloating a) => C (Parameter (Value a)) (T (Value a)) (T (Value a))

parameter :: (C a, IsConst a, IsFloating a) => Value a -> Value a -> CodeGenFunction r (Parameter (Value a))

causal :: (IsFirstClass a, IsSized a sa, IsConst a, IsFloating a) => T (Parameter (Value a), T (Value a)) (T (Value a))

causalP :: (IsFirstClass a, IsSized a sa, IsConst a, IsFloating a) => T p (Parameter (Value a), T (Value a)) (T (Value a))