Safe Haskell | None |
---|
- data T a b = 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 ())
- class Default a where
- 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 :: (Natural n, Storable a, MakeValueTuple a, ValueTuple a ~ Value a, FirstClass a, IsSized a, IsSized (Stored a)) => Proxy n -> T (T Int a) (Value (Array n a))
Documentation
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 ()) |
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) |
storableVector :: (Storable a, MakeValueTuple a, ValueTuple a ~ value, C value) => T (Vector a) valueSource
piecewiseConstant :: (Storable a, MakeValueTuple a, ValueTuple a ~ value, C value) => T (T Int a) valueSource
controllerSet :: (Natural n, Storable a, MakeValueTuple a, ValueTuple a ~ Value a, FirstClass a, IsSized a, IsSized (Stored a)) => Proxy n -> T (T Int a) (Value (Array n a))Source
Return an Array and not a pointer to an array, in order to forbid writing to the array.