Safe Haskell | None |
---|
- data T a = forall state ioContext . C state => Cons (forall r c. Phi c => ioContext -> state -> T r c (a, state)) (forall r. ioContext -> CodeGenFunction r state) (IO ioContext) (ioContext -> IO ())
- simple :: C state => (forall r c. state -> T r c (a, state)) -> (forall r. CodeGenFunction r state) -> T a
- map :: (forall r. a -> CodeGenFunction r b) -> T a -> T b
- mapAccum :: C s => (forall r. a -> s -> CodeGenFunction r (b, s)) -> (forall r. CodeGenFunction r s) -> T a -> T b
- zipWith :: (forall r. a -> b -> CodeGenFunction r c) -> T a -> T b -> T c
- zip :: T a -> T b -> T (a, b)
- interpolateConstant :: (C a, FirstClass b, Stored b ~ bm, IsSized b, IsSized bm, C b, IsFloating b, CmpRet b, CmpResult b ~ Bool, IsConst b) => b -> T a -> T a
- mix :: Additive a => T a -> T a -> T a
- envelope :: PseudoRing a => T a -> T a -> T a
- envelopeStereo :: PseudoRing a => T a -> T (T a) -> T (T a)
- amplify :: (IsArithmetic a, IsConst a) => a -> T (Value a) -> T (Value a)
- amplifyStereo :: (IsArithmetic a, IsConst a) => a -> T (T (Value a)) -> T (T (Value a))
- iterate :: (FirstClass a, Stored a ~ am, IsSized a, IsSized am, IsConst a) => (forall r. Value a -> CodeGenFunction r (Value a)) -> Value a -> T (Value a)
- exponential2 :: (C a, IsArithmetic a, FirstClass a, Stored a ~ am, IsSized a, IsSized am, IsConst a) => a -> a -> T (Value a)
- osciPlain :: (FirstClass t, Stored t ~ tm, IsSized t, IsSized tm, Fraction t, IsConst t) => (forall r. Value t -> CodeGenFunction r y) -> Value t -> Value t -> T y
- osci :: (FirstClass t, Stored t ~ tm, IsSized t, IsSized tm, Fraction t, IsConst t) => (forall r. Value t -> CodeGenFunction r y) -> t -> t -> T y
- osciSaw :: (IntegerConstant a, FirstClass a, Stored a ~ am, IsSized a, IsSized am, Fraction a, IsConst a) => a -> a -> T (Value a)
- fromStorableVector :: (Storable a, MakeValueTuple a, ValueTuple a ~ value, C value) => Vector a -> T value
- fromStorableVectorLazy :: (Storable a, MakeValueTuple a, ValueTuple a ~ value, C value) => Vector a -> T value
- render :: (Storable a, MakeValueTuple a, ValueTuple a ~ value, C value) => Int -> T value -> Vector a
- derefChunkPtr :: Importer (Ptr stateStruct -> Word32 -> Ptr struct -> IO Word32)
- compileChunky :: (C value, Struct value ~ struct, C state, Struct state ~ stateStruct) => (forall r. state -> T r (Value Bool, state) (value, state)) -> (forall r. CodeGenFunction r state) -> IO (FunPtr (IO (Ptr stateStruct)), FunPtr (Ptr stateStruct -> IO ()), FunPtr (Ptr stateStruct -> Word32 -> Ptr struct -> IO Word32))
- runChunky :: (Storable a, MakeValueTuple a, ValueTuple a ~ value, C value) => ChunkSize -> T value -> IO (Vector a)
- renderChunky :: (Storable a, MakeValueTuple a, ValueTuple a ~ value, C value) => ChunkSize -> T value -> Vector a
Documentation
forall state ioContext . C state => Cons (forall r c. Phi c => ioContext -> state -> T r c (a, state)) (forall r. ioContext -> CodeGenFunction r state) (IO ioContext) (ioContext -> IO ()) |
Functor T | |
Applicative T | ZipList semantics |
(Field a, Real a, RationalConstant a) => Fractional (T a) | |
(PseudoRing a, Real a, IntegerConstant a) => Num (T a) | |
(Field a, RationalConstant a) => C (T a) | |
(PseudoRing a, IntegerConstant a) => C (T a) | |
Additive a => C (T a) |
simple :: C state => (forall r c. state -> T r c (a, state)) -> (forall r. CodeGenFunction r state) -> T aSource
map :: (forall r. a -> CodeGenFunction r b) -> T a -> T bSource
mapAccum :: C s => (forall r. a -> s -> CodeGenFunction r (b, s)) -> (forall r. CodeGenFunction r s) -> T a -> T bSource
interpolateConstant :: (C a, FirstClass b, Stored b ~ bm, IsSized b, IsSized bm, C b, IsFloating b, CmpRet b, CmpResult b ~ Bool, IsConst b) => b -> T a -> T aSource
Stretch signal in time by a certain factor.
envelopeStereo :: PseudoRing a => T a -> T (T a) -> T (T a)Source
amplifyStereo :: (IsArithmetic a, IsConst a) => a -> T (T (Value a)) -> T (T (Value a))Source
iterate :: (FirstClass a, Stored a ~ am, IsSized a, IsSized am, IsConst a) => (forall r. Value a -> CodeGenFunction r (Value a)) -> Value a -> T (Value a)Source
exponential2 :: (C a, IsArithmetic a, FirstClass a, Stored a ~ am, IsSized a, IsSized am, IsConst a) => a -> a -> T (Value a)Source
osciPlain :: (FirstClass t, Stored t ~ tm, IsSized t, IsSized tm, Fraction t, IsConst t) => (forall r. Value t -> CodeGenFunction r y) -> Value t -> Value t -> T ySource
osci :: (FirstClass t, Stored t ~ tm, IsSized t, IsSized tm, Fraction t, IsConst t) => (forall r. Value t -> CodeGenFunction r y) -> t -> t -> T ySource
osciSaw :: (IntegerConstant a, FirstClass a, Stored a ~ am, IsSized a, IsSized am, Fraction a, IsConst a) => a -> a -> T (Value a)Source
fromStorableVector :: (Storable a, MakeValueTuple a, ValueTuple a ~ value, C value) => Vector a -> T valueSource
fromStorableVectorLazy :: (Storable a, MakeValueTuple a, ValueTuple a ~ value, C value) => Vector a -> T valueSource
render :: (Storable a, MakeValueTuple a, ValueTuple a ~ value, C value) => Int -> T value -> Vector aSource
compileChunky :: (C value, Struct value ~ struct, C state, Struct state ~ stateStruct) => (forall r. state -> T r (Value Bool, state) (value, state)) -> (forall r. CodeGenFunction r state) -> IO (FunPtr (IO (Ptr stateStruct)), FunPtr (Ptr stateStruct -> IO ()), FunPtr (Ptr stateStruct -> Word32 -> Ptr struct -> IO Word32))Source
runChunky :: (Storable a, MakeValueTuple a, ValueTuple a ~ value, C value) => ChunkSize -> T value -> IO (Vector a)Source
renderChunky :: (Storable a, MakeValueTuple a, ValueTuple a ~ value, C value) => ChunkSize -> T value -> Vector aSource