Safe Haskell | None |
---|---|
Language | Haskell98 |
Synopsis
- class RunArg a
- type family DSLArg a
- run :: Run f => (In f ~ a, Default a, Element a ~ al) => (Out f ~ b, Default b, Element b ~ bl) => DSL f al bl -> IO f
- runPlugged :: Run f => T (In f) a -> DSL f a b -> T b (Out f) -> IO f
- processIO :: (C p, Read a, Default a, Default d) => (Exp p -> T (Element a) (Element d)) -> IO (p -> T a d)
- data Buffer a
- buffer :: Vector a -> Buffer a
- runPluggedExplicit :: T (Plugs f a b) () (DSL f a b) f -> T (In f) a -> DSL f a b -> T b (Out f) -> IO f
- build :: (Run f, C p) => T (Plugs f a b) p (DSL f a b) f
- type Plugs f a b = ReaderT (T (In f) a, T b (Out f)) IO
- processIOParametric :: (C p, Read a, x ~ Value (Ptr (Struct p))) => T a b -> T x b c -> T c d -> IO (Creator p -> T a d)
type driven
buildArg
Instances
RunArg Float Source # | |
RunArg Int Source # | |
RunArg Word Source # | |
RunArg Word32 Source # | |
RunArg () Source # | |
a ~ ChunkSize => RunArg (T a) Source # | |
RunArg a => RunArg (T a) Source # | |
C a => RunArg (Vector a) Source # | |
C a => RunArg (Vector a) Source # | |
C a => RunArg (Buffer a) Source # | |
RunArg a => RunArg (SampleRate a) Source # | |
Defined in Synthesizer.LLVM.Server.Common type DSLArg (SampleRate a) :: Type Source # buildArg :: T (SampleRate a) (DSLArg (SampleRate a)) | |
(RunArg a, RunArg b) => RunArg (a, b) Source # | |
(time ~ T int, TimeInteger int, C a) => RunArg (T time a) Source # | |
(Natural n, C a, IsSized (Struct a), Natural (n :*: SizeOf (Struct a))) => RunArg (Array n a) Source # | |
(RunArg a, RunArg b, RunArg c) => RunArg (a, b, c) Source # | |
Instances
run :: Run f => (In f ~ a, Default a, Element a ~ al) => (Out f ~ b, Default b, Element b ~ bl) => DSL f al bl -> IO f Source #
processIO :: (C p, Read a, Default a, Default d) => (Exp p -> T (Element a) (Element d)) -> IO (p -> T a d) Source #
explicit argument converters
runPluggedExplicit :: T (Plugs f a b) () (DSL f a b) f -> T (In f) a -> DSL f a b -> T b (Out f) -> IO f Source #