Data.MediaBus.Media.Segment

Media segments with a fixed duration

Documentation

newtype Segment duration c

A segment is some content with a fixed (type level) duration.

Constructors

MkSegment c

Instances

Functor (Segment duration)

Methods

fmap :: (a -> b) -> Segment duration a -> Segment duration b

(<$) :: a -> Segment duration b -> Segment duration a

KnownStaticTicks d => HasStaticDuration * (Segment d x)

Associated Types

type SetStaticDuration (Segment d x) (s :: Segment d x) (pt :: StaticTicks) :: k

type GetStaticDuration (Segment d x) (s :: Segment d x) :: StaticTicks

Eq c => Eq (Segment duration c)

Methods

(==) :: Segment duration c -> Segment duration c -> Bool

(/=) :: Segment duration c -> Segment duration c -> Bool

(HasStaticDuration StaticTicks d, Show c) => Show (Segment d c)

Methods

showsPrec :: Int -> Segment d c -> ShowS

show :: Segment d c -> String

showList :: [Segment d c] -> ShowS

Arbitrary c => Arbitrary (Segment duration c)

Methods

arbitrary :: Gen (Segment duration c)

shrink :: Segment duration c -> [Segment duration c]

Default c => Default (Segment duration c)

Methods

def :: Segment duration c

NFData c => NFData (Segment duration c)

Methods

rnf :: Segment duration c -> ()

HasStaticDuration StaticTicks d => HasDuration (Segment d x)

Methods

getDuration :: Segment d x -> NominalDiffTime

getDurationTicks :: CanBeTicks r i => Segment d x -> Ticks r i

HasRate c => HasRate (Segment d c)

Associated Types

type SetRate (Segment d c) (r :: Rate) :: *

type GetRate (Segment d c) :: Rate

(HasStaticDuration StaticTicks d, CanGenerateBlankMedia a) => CanBeBlank (Segment d a)

Methods

blank :: Segment d a

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

Associated Types

type MediaFrom (Segment d c) :: *

type MediaTo (Segment d c') :: *

Methods

media :: Lens (Segment d c) (Segment d c') (MediaFrom (Segment d c)) (MediaTo (Segment d c'))

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

Associated Types

type ChannelsFrom (Segment d c) :: *

type ChannelsTo (Segment d c') :: *

Methods

eachChannel :: Traversal (Segment d c) (Segment d c') (ChannelsFrom (Segment d c)) (ChannelsTo (Segment d c'))

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'))

(HasRate i, (~) Rate (GetRate i) ri, (~) * (SetRate i rj) j, KnownRate rj, CoerceRate i j ri rj) => CoerceRate (Segment d i) (Segment d j) ri rj

Methods

coerceRate :: proxy rj -> Segment d i -> SetRate (Segment d i) rj

type GetStaticDuration * (Segment d x)

type GetStaticDuration * (Segment d x) = d

type SetStaticDuration * (Segment d x) pt

type SetStaticDuration * (Segment d x) pt = Segment pt x

type MediaFrom (Segment d c)

type MediaFrom (Segment d c) = MediaFrom c

type MediaTo (Segment d c')

type MediaTo (Segment d c') = MediaTo c'

type ChannelsFrom (Segment d c)

type ChannelsFrom (Segment d c) = ChannelsFrom c

type ChannelsTo (Segment d c')

type ChannelsTo (Segment d c') = ChannelsTo c'

type GetRate (Segment d c)

type GetRate (Segment d c) = GetRate c

type SamplesFrom (Segment d c)

type SamplesFrom (Segment d c) = SamplesFrom c

type SamplesTo (Segment d c')

type SamplesTo (Segment d c') = SamplesTo c'

type SetRate (Segment d c) r'

type SetRate (Segment d c) r' = Segment d (SetRate c r')

segmentContent :: Iso (Segment d c) (Segment d c') c c'

An Iso for the Segment newtype.

class CanSegment a where

Class of types that support splitting values into parts with a certain duration.

Minimal complete definition

splitAfterDuration

Methods

splitAfterDuration :: HasStaticDuration d => proxy d -> a -> Maybe (Segment d a, a)

Try to split the packet into the a part which has the given duration and a rest. If it is not possible to split of the desired duration, e.g. because the input data is too short, return Nothing.

Instances

(CanBeSample (Pcm c t), KnownRate r) => CanSegment (Audio r c (Raw * t))

Methods

splitAfterDuration :: HasStaticDuration StaticTicks d => proxy d -> Audio r c (Raw * t) -> Maybe (Segment d (Audio r c (Raw * t)), Audio r c (Raw * t))