Safe Haskell | None |
---|---|
Language | Haskell98 |
Synopsis
- data T a b = (C parameters, C state) => Cons (forall r. T parameters -> state -> CodeGenFunction r (b, state)) (forall r. T 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 => T (Vector a) (T a)
- piecewiseConstant :: C a => T (T Int a) (T a)
- controllerSet :: (C a, Struct a ~ aStruct, IsSized aStruct, Natural n, (n :*: SizeOf aStruct) ~ arrSize, Natural arrSize) => Proxy n -> T (T Int a) (T (Array n a))
Documentation
(C parameters, C state) => Cons (forall r. T parameters -> state -> CodeGenFunction r (b, state)) (forall r. T parameters -> CodeGenFunction r state) (a -> IO (ioContext, parameters)) (ioContext -> IO ()) |