Synthesizer.LLVM.Plug.Output

Documentation

data T a b

Constructors

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

class Default b where

Associated Types

type Element b :: *

Methods

deflt :: T (Element b) b

Instances

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

(Default c, Default d) => Default (T c d)

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

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