Safe Haskell	None
Language	Haskell98

Synthesizer.LLVM.Plug.Input

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
- type Element a
- deflt :: T a (Element a)
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

data T a b Source #

Constructors

(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 ())

Instances

Functor (T a) Source #
Instance details Defined in Synthesizer.LLVM.Plug.Input Methods fmap :: (a0 -> b) -> T a a0 -> T a b # (<$) :: a0 -> T a b -> T a a0 #

class Default a where Source #

Associated Types

type Element a Source #

Methods

deflt :: T a (Element a) Source #

Instances

Default LazySize Source #
Instance details Defined in Synthesizer.LLVM.Plug.Input Associated Types type Element LazySize :: Type Source # Methods deflt :: T LazySize (Element LazySize) Source #
C a => Default (Vector a) Source #
Instance details Defined in Synthesizer.LLVM.Plug.Input Associated Types type Element (Vector a) :: Type Source # Methods deflt :: T (Vector a) (Element (Vector a)) Source #
(C a, time ~ Int) => Default (T time a) Source #
Instance details Defined in Synthesizer.LLVM.Plug.Input Associated Types type Element (T time a) :: Type Source # Methods deflt :: T0 (T time a) (Element (T time a)) Source #
(Default a, Default b) => Default (T a b) Source #
Instance details Defined in Synthesizer.LLVM.Plug.Input Associated Types type Element (T a b) :: Type Source # Methods deflt :: T0 (T a b) (Element (T a b)) Source #

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

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

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

lazySize :: T LazySize () Source #

ignore :: T a () Source #

storableVector :: C a => T (Vector a) (T a) Source #

piecewiseConstant :: C a => T (T Int a) (T a) Source #

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)) Source #

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