Data.MediaBus.Media.Samples

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.

Documentation

class (IsMedia i, HasRate i) => IsSampledMedia i

Types that are IsMedia instances with sampled content.

type CanBeSample i = (Typeable i, Eq i, NFData i, Storable i)

Always recurring contraints on Sample types.

class (CanBeSample (SamplesFrom s), CanBeSample (SamplesTo t)) => EachSample s t where

A type class for types that contain samples which can be converted into other sample types.

Minimal complete definition

eachSample

Associated Types

type SamplesFrom s

The type of the contained media samples passed as input by eachSample.

type SamplesTo t

The type of the contained media samples from the output of eachSample.

Methods

eachSample :: Traversal s t (SamplesFrom s) (SamplesTo t)

Instances

EachSample a b => EachSample (Discontinous a) (Discontinous b)

Associated Types

type SamplesFrom (Discontinous a) :: *

type SamplesTo (Discontinous b) :: *

Methods

eachSample :: Traversal (Discontinous a) (Discontinous b) (SamplesFrom (Discontinous a)) (SamplesTo (Discontinous b))

EachSample c c' => EachSample (Segment d c) (Segment d c')

Associated Types

type SamplesFrom (Segment d c) :: *

type SamplesTo (Segment d c') :: *

Methods

eachSample :: Traversal (Segment d c) (Segment d c') (SamplesFrom (Segment d c)) (SamplesTo (Segment d c'))

(CanBeSample (Pcm c t), CanBeSample (Pcm c' t')) => EachSample (Audio r c (Raw * t)) (Audio r' c' (Raw * t'))

Associated Types

type SamplesFrom (Audio r c (Raw * t)) :: *

type SamplesTo (Audio r' c' (Raw * t')) :: *

Methods

eachSample :: Traversal (Audio r c (Raw * t)) (Audio r' c' (Raw * t')) (SamplesFrom (Audio r c (Raw * t))) (SamplesTo (Audio r' c' (Raw * t')))

type EachSampleL s t a b = (EachSample s t, SamplesFrom s ~ a, SamplesTo t ~ b)

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)

A lens-stype type alias for EachSample for cases where SamplesFrom ~ SamplesTo with the full s a parameter set.

type EachSample' s = (EachSample s s, SamplesFrom s ~ SamplesTo s)

A lens-stype type alias for EachSample for cases where SamplesFrom ~ SamplesTo

eachSample' :: EachSample' i => Traversal' i (SamplesFrom i)

A variant of eachSample for cases where SamplesFrom ~ SamplesTo.