Data.MediaBus.Media.Discontinous

Discontinous content. Some media streams, like e.g. RTP streams received via UDP, have the characteristic, that some times packages are lost. This module provides a type that is isomorphic to Maybe to indicate that the content for a media frame is missing. It might take some effort to detect missing content, like a jitter buffer, or the comparison of sequence numbers.

TODO: Create a gap detection mechanism, a simple stateful monad that knows the next timestamp etc.

Documentation

data Discontinous a

Content that can be Missing.

Constructors

Missing

A place holder for frame content that is missing

Got !a

Available content

Instances

Show a => Show (Discontinous a)

Methods

showsPrec :: Int -> Discontinous a -> ShowS

show :: Discontinous a -> String

showList :: [Discontinous a] -> ShowS

Generic (Discontinous a)

Associated Types

type Rep (Discontinous a) :: * -> *

Methods

from :: Discontinous a -> Rep (Discontinous a) x

to :: Rep (Discontinous a) x -> Discontinous a

Default (Discontinous a)

Methods

def :: Discontinous a

NFData a => NFData (Discontinous a)

Methods

rnf :: Discontinous a -> ()

HasDuration a => HasDuration (Discontinous a)

Methods

getDuration :: Discontinous a -> NominalDiffTime

getDurationTicks :: CanBeTicks r i => Discontinous a -> Ticks r i

HasRate c => HasRate (Discontinous c)

Associated Types

type SetRate (Discontinous c) (r :: Rate) :: *

type GetRate (Discontinous c) :: Rate

EachMedia a b => EachMedia (Discontinous a) (Discontinous b)

Associated Types

type MediaFromE (Discontinous a) :: *

type MediaToE (Discontinous b) :: *

Methods

eachMedia :: Traversal (Discontinous a) (Discontinous b) (MediaFromE (Discontinous a)) (MediaToE (Discontinous b))

EachChannel a b => EachChannel (Discontinous a) (Discontinous b)

Associated Types

type ChannelsFrom (Discontinous a) :: *

type ChannelsTo (Discontinous b) :: *

Methods

eachChannel :: Traversal (Discontinous a) (Discontinous b) (ChannelsFrom (Discontinous a)) (ChannelsTo (Discontinous b))

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

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

Methods

coerceRate :: proxy rj -> Discontinous i -> SetRate (Discontinous i) rj

type Rep (Discontinous a)

type Rep (Discontinous a) = D1 (MetaData "Discontinous" "Data.MediaBus.Media.Discontinous" "mediabus-0.4.0.1-KxOztWIrQ7SL9k5ZMcQI4H" False) ((:+:) (C1 (MetaCons "Missing" PrefixI False) U1) (C1 (MetaCons "Got" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 a))))

type MediaFromE (Discontinous a)

type MediaFromE (Discontinous a) = MediaFromE a

type MediaToE (Discontinous b)

type MediaToE (Discontinous b) = MediaToE b

type ChannelsFrom (Discontinous a)

type ChannelsFrom (Discontinous a) = ChannelsFrom a

type ChannelsTo (Discontinous b)

type ChannelsTo (Discontinous b) = ChannelsTo b

type GetRate (Discontinous c)

type GetRate (Discontinous c) = GetRate c

type SamplesFrom (Discontinous a)

type SamplesFrom (Discontinous a) = SamplesFrom a

type SamplesTo (Discontinous b)

type SamplesTo (Discontinous b) = SamplesTo b

type SetRate (Discontinous c) r'

type SetRate (Discontinous c) r' = Discontinous (SetRate c r')

_Missing :: forall a. Prism' (Discontinous a) ()

_Got :: forall a a. Prism (Discontinous a) (Discontinous a) a a