Synthesizer.LLVM.ConstantPiece

Data type that allows handling of piecewise constant signals independently from the source.

Documentation

data T a

Constructors

Cons (Value Word32) a

Instances

C a => C (T a)

Undefined a => Undefined (T a)

Zero a => Zero (T a)

Phi a => Phi (T a)

type Struct (T a) = Struct (Struct a)

type Struct a = Struct (Word32, (a, ()))

parameterMemory :: C a => Record r (Struct (Struct a)) (T a)

flatten :: (C signal, C value) => signal (T value) -> signal value

piecewiseConstant :: (Storable a, MakeValueTuple a, ValueTuple a ~ value, C value) => T p (T Int a) -> T p (T value)

lazySize :: T p LazySize -> T p (T ())