Synthesizer.LLVM.Plug.Input

Documentation

data T a b

Constructors

forall state ioContext paramTuple . (Storable paramTuple, MakeValueTuple paramTuple, C (ValueTuple paramTuple), C state) => Cons (forall r. ValueTuple paramTuple -> state -> CodeGenFunction r (b, state)) (forall r. ValueTuple paramTuple -> CodeGenFunction r state) (a -> IO (ioContext, paramTuple)) (ioContext -> IO ())

Instances

Functor (T a)

class Default a where

Associated Types

type Element a :: *

Methods

deflt :: T a (Element a)

Instances

Default LazySize

(Storable a, MakeValueTuple a, C (ValueTuple a)) => Default (Vector a)

(Storable a, MakeValueTuple a, C (ValueTuple a)) => Default (T Int a)

(Default a, Default b) => Default (T a b)

rmap :: (a -> b) -> T b c -> T a c

split :: T a c -> T b d -> T (T a b) (c, d)

fanout :: T a b -> T a c -> T a (b, c)

lazySize :: T LazySize ()

ignore :: T a ()

storableVector :: (Storable a, MakeValueTuple a, ValueTuple a ~ value, C value) => T (Vector a) value

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

controllerSet :: (NaturalT n, Storable a, MakeValueTuple a, ValueTuple a ~ Value a, FirstClass a, IsSized a, IsSized (Stored a)) => n -> T (T Int a) (Value (Array n a))

Return an Array and not a pointer to an array, in order to forbid writing to the array.