Safe Haskell | None |
---|
- data T a b = forall state ioContext parameters . (C parameters, C state) => Cons (forall r. ValueOf parameters -> state -> CodeGenFunction r (b, state)) (forall r. ValueOf parameters -> CodeGenFunction r state) (a -> IO (ioContext, parameters)) (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 :: (C a, ValueOf a ~ value) => T (Vector a) value
- piecewiseConstant :: (C a, ValueOf a ~ value, C value) => T (T Int a) value
- controllerSet :: (Natural n, C a, Storable a, ValueOf a ~ Value a, IsSized a) => Proxy n -> T (T Int a) (Value (Array n a))
Documentation
forall state ioContext parameters . (C parameters, C state) => Cons (forall r. ValueOf parameters -> state -> CodeGenFunction r (b, state)) (forall r. ValueOf parameters -> CodeGenFunction r state) (a -> IO (ioContext, parameters)) (ioContext -> IO ()) |