Synthesizer.CausalIO.Gate

Documentation

data Chunk a

Chunk represents a chunk of a Gate signal.

It means (Chunk chunkDuration sustainDuration).

sustainDuration means: Just (t,a) - key is released at time t with attribute a, e.g. the note-off-velocity, t must be smaller than chunkDuration! Nothing - key is in pressed or released state over the whole chunk

Constructors

Chunk StrictTime (Maybe (StrictTime, a))

Instances

Show a => Show (Chunk a)

Methods

showsPrec :: Int -> Chunk a -> ShowS

show :: Chunk a -> String

showList :: [Chunk a] -> ShowS

Semigroup (Chunk a)

Methods

(<>) :: Chunk a -> Chunk a -> Chunk a

sconcat :: NonEmpty (Chunk a) -> Chunk a

stimes :: Integral b => b -> Chunk a -> Chunk a

Monoid (Chunk a)

Methods

mempty :: Chunk a

mappend :: Chunk a -> Chunk a -> Chunk a

mconcat :: [Chunk a] -> Chunk a

Transform (Chunk a)

Methods

take :: Int -> Chunk a -> Chunk a

drop :: Int -> Chunk a -> Chunk a

dropMarginRem :: Int -> Int -> Chunk a -> (Int, Chunk a)

splitAt :: Int -> Chunk a -> (Chunk a, Chunk a)

reverse :: Chunk a -> Chunk a

NormalForm (Chunk a)

Methods

evaluateHead :: Chunk a -> ()

Read (Chunk a)

Methods

null :: Chunk a -> Bool

length :: Chunk a -> Int

chunk :: StrictTime -> Maybe (StrictTime, a) -> Chunk a

smart constructor that checks the time constraints

allToStorableVector :: Arrow arrow => arrow (Chunk a) (Vector ())

toStorableVector :: T (Chunk a) (Vector ())

allToChunkySize :: Arrow arrow => arrow (Chunk a) LazySize

toChunkySize :: T (Chunk a) LazySize

shorten :: Transform signal => T (T (Chunk a) signal) signal

Pass the second signal while the gate is open.

For completeness we would need a data type analogously to ChunkySize, that measures signal duration in CausalIO processes. shorten could then be written as

shorten = Zip.second ^<< Zip.arrowFirstShort Gate.toChunkySize