Data.MediaBus.Sample

Documentation

newtype SampleBuffer sampleType

A sample is a discrete value of a continuous signal, periodically sampled at the sampling frequency. This is a full buffer of those things.

Constructors

MkSampleBuffer (Vector sampleType)

Instances

KnownNat r => HasDebugPlaybackSink s t (SampleBuffer (S16 r))

Methods

debugPlaybackSink :: MonadIO m => Sink (Frame s t (SampleBuffer (S16 r))) m ()

Storable s => IsList (SampleBuffer s)

Associated Types

type Item (SampleBuffer s) :: *

Methods

fromList :: [Item (SampleBuffer s)] -> SampleBuffer s

fromListN :: Int -> [Item (SampleBuffer s)] -> SampleBuffer s

toList :: SampleBuffer s -> [Item (SampleBuffer s)]

(Eq sampleType, Storable sampleType) => Eq (SampleBuffer sampleType)

Methods

(==) :: SampleBuffer sampleType -> SampleBuffer sampleType -> Bool

(/=) :: SampleBuffer sampleType -> SampleBuffer sampleType -> Bool

(Storable sampleType, Typeable * sampleType, Show sampleType) => Show (SampleBuffer sampleType)

Methods

showsPrec :: Int -> SampleBuffer sampleType -> ShowS

show :: SampleBuffer sampleType -> String

showList :: [SampleBuffer sampleType] -> ShowS

Generic (SampleBuffer sampleType)

Associated Types

type Rep (SampleBuffer sampleType) :: * -> *

Methods

from :: SampleBuffer sampleType -> Rep (SampleBuffer sampleType) x

to :: Rep (SampleBuffer sampleType) x -> SampleBuffer sampleType

Storable sampleType => Monoid (SampleBuffer sampleType)

Methods

mempty :: SampleBuffer sampleType

mappend :: SampleBuffer sampleType -> SampleBuffer sampleType -> SampleBuffer sampleType

mconcat :: [SampleBuffer sampleType] -> SampleBuffer sampleType

Storable sampleType => Default (SampleBuffer sampleType)

Methods

def :: SampleBuffer sampleType

NFData sampleType => NFData (SampleBuffer sampleType)

Methods

rnf :: SampleBuffer sampleType -> ()

(HasDuration (Proxy * sampleType), Storable sampleType) => HasDuration (SampleBuffer sampleType)

Methods

getDuration :: SampleBuffer sampleType -> NominalDiffTime

getDurationTicks :: (Integral i, KnownNat r) => SampleBuffer sampleType -> Ticks r i

(Storable a, HasDuration (Proxy * a)) => CanSegment (SampleBuffer a)

Methods

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

(CanBeBlank sa, Storable sa, HasDuration (Proxy * sa)) => CanGenerateBlankMedia (SampleBuffer sa)

Methods

blankFor :: NominalDiffTime -> SampleBuffer sa

blankForTicks :: (Integral i, KnownNat r) => Ticks r i -> SampleBuffer sa

Storable a => HasSampleBuffer (SampleBuffer a)

Associated Types

type SetSampleType (SampleBuffer a) t :: *

type GetSampleType (SampleBuffer a) :: *

Methods

sampleCount :: SampleBuffer a -> Int

eachSample :: Storable t => Traversal (SampleBuffer a) (SetSampleType (SampleBuffer a) t) (GetSampleType (SampleBuffer a)) t

sampleBuffer :: Storable t => Lens (SampleBuffer a) (SetSampleType (SampleBuffer a) t) (SampleBuffer (GetSampleType (SampleBuffer a))) (SampleBuffer t)

Transcoder (SampleBuffer (S16 8000)) (SampleBuffer ALaw)

Associated Types

type TranscodingSeqNum (SampleBuffer (S16 8000)) (SampleBuffer ALaw) s :: Constraint

type TranscodingTicks (SampleBuffer (S16 8000)) (SampleBuffer ALaw) t :: Constraint

Methods

transcode :: (TranscodingSeqNum (SampleBuffer (S16 8000)) (SampleBuffer ALaw) s, TranscodingTicks (SampleBuffer (S16 8000)) (SampleBuffer ALaw) t) => Frame s t (SampleBuffer (S16 8000)) -> Frame s t (SampleBuffer ALaw)

Transcoder (SampleBuffer ALaw) (SampleBuffer (S16 8000))

Associated Types

type TranscodingSeqNum (SampleBuffer ALaw) (SampleBuffer (S16 8000)) s :: Constraint

type TranscodingTicks (SampleBuffer ALaw) (SampleBuffer (S16 8000)) t :: Constraint

Methods

transcode :: (TranscodingSeqNum (SampleBuffer ALaw) (SampleBuffer (S16 8000)) s, TranscodingTicks (SampleBuffer ALaw) (SampleBuffer (S16 8000)) t) => Frame s t (SampleBuffer ALaw) -> Frame s t (SampleBuffer (S16 8000))

type Rep (SampleBuffer sampleType)

type Rep (SampleBuffer sampleType) = D1 (MetaData "SampleBuffer" "Data.MediaBus.Sample" "mediabus-0.2.0.1-GufOXSQMJOgBSiYlFFnZ4L" True) (C1 (MetaCons "MkSampleBuffer" PrefixI True) (S1 (MetaSel (Just Symbol "_sampleVector") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector sampleType))))

type Item (SampleBuffer s)

type Item (SampleBuffer s) = s

type GetSampleType (SampleBuffer a)

type GetSampleType (SampleBuffer a) = a

type SetSampleType (SampleBuffer a) t

type SetSampleType (SampleBuffer a) t = SampleBuffer t

type TranscodingSeqNum (SampleBuffer (S16 8000)) (SampleBuffer ALaw) s

type TranscodingSeqNum (SampleBuffer (S16 8000)) (SampleBuffer ALaw) s = ()

type TranscodingSeqNum (SampleBuffer ALaw) (SampleBuffer (S16 8000)) s

type TranscodingSeqNum (SampleBuffer ALaw) (SampleBuffer (S16 8000)) s = ()

type TranscodingTicks (SampleBuffer (S16 8000)) (SampleBuffer ALaw) t

type TranscodingTicks (SampleBuffer (S16 8000)) (SampleBuffer ALaw) t = ()

type TranscodingTicks (SampleBuffer ALaw) (SampleBuffer (S16 8000)) t

type TranscodingTicks (SampleBuffer ALaw) (SampleBuffer (S16 8000)) t = ()

sampleBufferFromByteString :: Storable a => ByteString -> SampleBuffer a

byteStringFromSampleBuffer :: Storable a => SampleBuffer a -> ByteString

sampleBufferToList :: Storable s => SampleBuffer s -> [s]

sampleBufferFromList :: Storable s => [s] -> SampleBuffer s

sampleVector :: forall sampleType sampleType. Iso (SampleBuffer sampleType) (SampleBuffer sampleType) (Vector sampleType) (Vector sampleType)

createSampleBufferFrom :: Storable sample' => (forall s. Vector sample -> ST s (MVector s sample')) -> SampleBuffer sample -> SampleBuffer sample'

class (Storable (GetSampleType s), SetSampleType s (GetSampleType s) ~ s) => HasSampleBuffer s where

A type class for media formats, like encodings, sample rate, etc...

Minimal complete definition

sampleCount, eachSample, sampleBuffer

Associated Types

type SetSampleType s t

type GetSampleType s

Methods

sampleCount :: s -> Int

eachSample :: Storable t => Traversal s (SetSampleType s t) (GetSampleType s) t

sampleBuffer :: Storable t => Lens s (SetSampleType s t) (SampleBuffer (GetSampleType s)) (SampleBuffer t)

Instances

Storable a => HasSampleBuffer (SampleBuffer a)

Associated Types

type SetSampleType (SampleBuffer a) t :: *

type GetSampleType (SampleBuffer a) :: *

Methods

sampleCount :: SampleBuffer a -> Int

eachSample :: Storable t => Traversal (SampleBuffer a) (SetSampleType (SampleBuffer a) t) (GetSampleType (SampleBuffer a)) t

sampleBuffer :: Storable t => Lens (SampleBuffer a) (SetSampleType (SampleBuffer a) t) (SampleBuffer (GetSampleType (SampleBuffer a))) (SampleBuffer t)

type GetSampleBuffer s = SampleBuffer (GetSampleType s)

mutateSamples :: Storable a => (forall s. MVector s a -> ST s ()) -> SampleBuffer a -> SampleBuffer a

unsafeMutateSamples :: Storable a => (forall s. MVector s a -> ST s r) -> SampleBuffer a -> (r, SampleBuffer a)

Unsafe because results can be returned, which might contain the thawn vector.