Safe Haskell | None |
---|---|
Language | Haskell2010 |
Media represented by samples in the time domain. What is meant by media sample? For example the microphone value captured at a certain point in time for mono audio, or the pair of values from the left and right channel of a stereo audio track, or a pixel; the common characteristic is that a sample encompasses the (aggregate) value representing smallest piece of media. A sample may be composed of components, like in a stereo audio sample, or color channels in an YUV pixel, but since they are played/recorded at the same time instances, they form a sample only when combined not when regarded indivudually.
- class (IsMedia i, HasRate i) => IsSampledMedia i
- type CanBeSample i = (Typeable i, Eq i, NFData i, Storable i)
- class (CanBeSample (SamplesFrom s), CanBeSample (SamplesTo t)) => EachSample s t where
- type SamplesFrom s
- type SamplesTo t
- type EachSampleL s t a b = (EachSample s t, SamplesFrom s ~ a, SamplesTo t ~ b)
- type EachSampleL' s a = (EachSample s s, SamplesFrom s ~ a, SamplesTo s ~ a)
- type EachSample' s = (EachSample s s, SamplesFrom s ~ SamplesTo s)
- eachSample' :: EachSample' i => Traversal' i (SamplesFrom i)
Documentation
class (IsMedia i, HasRate i) => IsSampledMedia i Source #
Types that are IsMedia
instances with sampled content.
type CanBeSample i = (Typeable i, Eq i, NFData i, Storable i) Source #
Always recurring contraints on Sample
types.
class (CanBeSample (SamplesFrom s), CanBeSample (SamplesTo t)) => EachSample s t where Source #
A type class for types that contain samples which can be converted into other sample types.
type SamplesFrom s Source #
The type of the contained media samples passed as input by eachSample
.
The type of the contained media samples from the output of eachSample
.
eachSample :: Traversal s t (SamplesFrom s) (SamplesTo t) Source #
EachSample a b => EachSample (Discontinous a) (Discontinous b) Source # | |
EachSample c c' => EachSample (Segment d c) (Segment d c') Source # | |
(CanBeSample (Pcm c t), CanBeSample (Pcm c' t')) => EachSample (Audio r c (Raw * t)) (Audio r' c' (Raw * t')) Source # | |
type EachSampleL s t a b = (EachSample s t, SamplesFrom s ~ a, SamplesTo t ~ b) Source #
A lens-stype type alias for EachSample
with the full s t a b
parameter set.
type EachSampleL' s a = (EachSample s s, SamplesFrom s ~ a, SamplesTo s ~ a) Source #
A lens-stype type alias for EachSample
for cases where
with the full SamplesFrom
~ SamplesTo
s a
parameter set.
type EachSample' s = (EachSample s s, SamplesFrom s ~ SamplesTo s) Source #
A lens-stype type alias for EachSample
for cases where SamplesFrom
~ SamplesTo
eachSample' :: EachSample' i => Traversal' i (SamplesFrom i) Source #
A variant of eachSample
for cases where
.SamplesFrom
~ SamplesTo