Synthesizer.LLVM.Simple.Vanilla

Documentation

iterateVal :: C a => (T a -> T a) -> T a -> T (T a)

iterate :: (Flatten a, Registers a ~ reg, C reg) => (a -> a) -> a -> T a

map :: (a -> b) -> T a -> T b

osciReg :: (C (T (Value t)), FirstClass t, Stored t ~ tm, IsSized t, IsSized tm, Fraction t, IsConst t, IsFirstClass y) => T (T (Value t)) (T (Value y)) -> Value t -> Value t -> T (Value y)

osciVal :: (C (T (Value t)), FirstClass t, Stored t ~ tm, IsSized t, IsSized tm, Fraction t, IsConst t) => T (T (Value t)) y -> T (Value t) -> T (Value t) -> T y

incPhaseVal :: (Fraction a, IsArithmetic a) => T (Value a) -> T (Value a) -> T (Value a)

osci :: (C t, Flatten t, Registers t ~ reg, C reg, Fraction t, IsConst t) => T t y -> T t -> t -> T y