Synthesizer.LLVM.Simple.Vanilla

Documentation

iterateVal :: (IsFirstClass a, IsSized a size) => (T a -> T a) -> T a -> T (T a)

iterate :: (Flatten a reg, Memory reg packed, IsSized packed size) => (a -> a) -> a -> T a

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

osciReg :: (C (T t), IsFirstClass t, IsSized t size, Fraction t, IsConst t, IsFirstClass y) => T (T t) (T y) -> Value t -> Value t -> T (Value y)

osciVal :: (C (T t), IsFirstClass t, IsSized t size, Fraction t, IsConst t) => T (T t) y -> T t -> T t -> T y

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

osci :: (C t, Flatten t reg, Memory reg struct, IsSized struct size, Fraction t, IsConst t) => T t y -> T t -> t -> T y