Processes that use only the current and past data.
Essentially this is a data type for the Synthesizer.State.Signal.crochetL
function.
- data T a b
- fromStateMaybe :: (a -> StateT s Maybe b) -> s -> T a b
- fromState :: (a -> State s b) -> s -> T a b
- fromSimpleModifier :: Simple s ctrl a b -> T (ctrl, a) b
- id :: T a a
- map :: (a -> b) -> T a b
- first :: Arrow a => forall b c d. a b c -> a (b, d) (c, d)
- second :: Arrow a => forall b c d. a b c -> a (d, b) (d, c)
- compose :: T a b -> T b c -> T a c
- split :: T a b -> T c d -> T (a, c) (b, d)
- fanout :: T a b -> T a c -> T a (b, c)
- loop :: ArrowLoop a => forall b d c. a (b, d) (c, d) -> a b c
- apply :: Transform sig a b => T a b -> sig a -> sig b
- applyFst :: Read sig a => T (a, b) c -> sig a -> T b c
- applySnd :: Read sig b => T (a, b) c -> sig b -> T a c
- applySameType :: Transform sig a => T a a -> sig a -> sig a
- applyConst :: T a b -> a -> T b
- apply2 :: (Read sig a, Transform sig b c) => T (a, b) c -> sig a -> sig b -> sig c
- apply3 :: (Read sig a, Read sig b, Transform sig c d) => T (a, b, c) d -> sig a -> sig b -> sig c -> sig d
- feed :: Read sig a => sig a -> T () a
- feedFst :: Read sig a => sig a -> T b (a, b)
- feedSnd :: Read sig a => sig a -> T b (b, a)
- feedGenericFst :: Read sig a => sig a -> T b (a, b)
- feedGenericSnd :: Read sig a => sig a -> T b (b, a)
- feedConstFst :: a -> T b (a, b)
- feedConstSnd :: a -> T b (b, a)
- crochetL :: (x -> acc -> Maybe (y, acc)) -> acc -> T x y
- scanL :: (acc -> x -> acc) -> acc -> T x acc
- scanL1 :: (x -> x -> x) -> T x x
- zipWith :: Read sig a => (a -> b -> c) -> sig a -> T b c
- consInit :: x -> T x x
- chainControlled :: [T (c, x) x] -> T (c, x) x
- replicateControlled :: Int -> T (c, x) x -> T (c, x) x
- feedback :: T (a, c) b -> T b c -> T a b
- feedbackControlled :: T ((ctrl, a), c) b -> T (ctrl, b) c -> T (ctrl, a) b
- applyFst' :: Read sig a => T (a, b) c -> sig a -> T b c
- applySnd' :: Read sig b => T (a, b) c -> sig b -> T a c
Documentation
fromStateMaybe :: (a -> StateT s Maybe b) -> s -> T a bSource
fromSimpleModifier :: Simple s ctrl a b -> T (ctrl, a) bSource
first :: Arrow a => forall b c d. a b c -> a (b, d) (c, d)
Send the first component of the input through the argument arrow, and copy the rest unchanged to the output.
second :: Arrow a => forall b c d. a b c -> a (d, b) (d, c)
A mirror image of first
.
The default definition may be overridden with a more efficient version if desired.
applySameType :: Transform sig a => T a a -> sig a -> sig aSource
applyConst :: T a b -> a -> T bSource
applyConst c x == apply c (repeat x)
apply3 :: (Read sig a, Read sig b, Transform sig c d) => T (a, b, c) d -> sig a -> sig b -> sig c -> sig dSource
feedGenericFst :: Read sig a => sig a -> T b (a, b)Source
feedGenericSnd :: Read sig a => sig a -> T b (b, a)Source
feedConstFst :: a -> T b (a, b)Source
feedConstSnd :: a -> T b (b, a)Source
Prepend an element to a signal, but keep the signal length, i.e. drop the last element.
chainControlled :: [T (c, x) x] -> T (c, x) xSource
replicateControlled :: Int -> T (c, x) x -> T (c, x) xSource
If T
would be the function type ->
then replicateControlled 3 f
computes
(c,x) -> f(c, f(c, f(c, x)))
.
feedbackControlled :: T ((ctrl, a), c) b -> T (ctrl, b) c -> T (ctrl, a) bSource