Data.MediaBus.Ticks

Documentation

class HasDuration a where

Types with a duration (e.g. audio samples).

Methods

getDuration :: a -> NominalDiffTime

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

Instances

HasDuration a => HasDuration (Maybe a)

Methods

getDuration :: Maybe a -> NominalDiffTime

getDurationTicks :: (Integral i, KnownNat r) => Maybe a -> Ticks r i

HasDuration a => HasDuration (Discontinous a)

Methods

getDuration :: Discontinous a -> NominalDiffTime

getDurationTicks :: (Integral i, KnownNat r) => Discontinous a -> Ticks r i

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

Methods

getDuration :: SampleBuffer sampleType -> NominalDiffTime

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

HasDuration (Proxy * a) => HasDuration (Proxy * (ChannelPair a))

Methods

getDuration :: Proxy * (ChannelPair a) -> NominalDiffTime

getDurationTicks :: (Integral i, KnownNat r) => Proxy * (ChannelPair a) -> Ticks r i

KnownNat r => HasDuration (Proxy * (S16 r))

Methods

getDuration :: Proxy * (S16 r) -> NominalDiffTime

getDurationTicks :: (Integral i, KnownNat r) => Proxy * (S16 r) -> Ticks r i

HasDuration (Proxy * ALaw)

Methods

getDuration :: Proxy * ALaw -> NominalDiffTime

getDurationTicks :: (Integral i, KnownNat r) => Proxy * ALaw -> Ticks r i

HasStaticDuration StaticTicks d => HasDuration (Segment d x)

Methods

getDuration :: Segment d x -> NominalDiffTime

getDurationTicks :: (Integral i, KnownNat r) => Segment d x -> Ticks r i

HasDuration c => HasDuration (Frame s t c)

Methods

getDuration :: Frame s t c -> NominalDiffTime

getDurationTicks :: (Integral i, KnownNat r) => Frame s t c -> Ticks r i

HasDuration (FrameCtx i s t p)

Methods

getDuration :: FrameCtx i s t p -> NominalDiffTime

getDurationTicks :: (Integral i, KnownNat r) => FrameCtx i s t p -> Ticks r i

HasDuration c => HasDuration (Stream i s t p c)

Methods

getDuration :: Stream i s t p c -> NominalDiffTime

getDurationTicks :: (Integral i, KnownNat r) => Stream i s t p c -> Ticks r i

class SetTimestamp t (GetTimestamp t) ~ t => HasTimestampT t

Associated Types

type GetTimestamp t

type SetTimestamp t s

Instances

(HasTimestampT a, HasTimestampT b, (~) * (GetTimestamp a) (GetTimestamp b)) => HasTimestampT (Series a b)

Associated Types

type GetTimestamp (Series a b) :: *

type SetTimestamp (Series a b) s :: *

HasTimestampT (Frame s t c)

Associated Types

type GetTimestamp (Frame s t c) :: *

type SetTimestamp (Frame s t c) s :: *

HasTimestampT (FrameCtx i s t p)

Associated Types

type GetTimestamp (FrameCtx i s t p) :: *

type SetTimestamp (FrameCtx i s t p) s :: *

HasTimestampT (Stream i s t p c)

Associated Types

type GetTimestamp (Stream i s t p c) :: *

type SetTimestamp (Stream i s t p c) s :: *

class HasTimestampT t => HasTimestamp t where

Minimal complete definition

timestamp

Methods

timestamp :: Lens t (SetTimestamp t s) (GetTimestamp t) s

timestamp' :: Lens' t (GetTimestamp t)

Instances

(HasTimestamp a, HasTimestamp b, (~) * (GetTimestamp a) (GetTimestamp b)) => HasTimestamp (Series a b)

Methods

timestamp :: Functor f => (GetTimestamp (Series a b) -> f s) -> Series a b -> f (SetTimestamp (Series a b) s)

timestamp' :: Lens' (Series a b) (GetTimestamp (Series a b))

HasTimestamp (Frame s t c)

Methods

timestamp :: Functor f => (GetTimestamp (Frame s t c) -> f s) -> Frame s t c -> f (SetTimestamp (Frame s t c) s)

timestamp' :: Lens' (Frame s t c) (GetTimestamp (Frame s t c))

HasTimestamp (FrameCtx i s t p)

Methods

timestamp :: Functor f => (GetTimestamp (FrameCtx i s t p) -> f s) -> FrameCtx i s t p -> f (SetTimestamp (FrameCtx i s t p) s)

timestamp' :: Lens' (FrameCtx i s t p) (GetTimestamp (FrameCtx i s t p))

HasTimestamp (Stream i s t p c)

Methods

timestamp :: Functor f => (GetTimestamp (Stream i s t p c) -> f s) -> Stream i s t p c -> f (SetTimestamp (Stream i s t p c) s)

timestamp' :: Lens' (Stream i s t p c) (GetTimestamp (Stream i s t p c))

newtype Ticks rate w

Constructors

MkTicks w

Instances

Enum w => Enum (Ticks rate w)

Methods

succ :: Ticks rate w -> Ticks rate w

pred :: Ticks rate w -> Ticks rate w

toEnum :: Int -> Ticks rate w

fromEnum :: Ticks rate w -> Int

enumFrom :: Ticks rate w -> [Ticks rate w]

enumFromThen :: Ticks rate w -> Ticks rate w -> [Ticks rate w]

enumFromTo :: Ticks rate w -> Ticks rate w -> [Ticks rate w]

enumFromThenTo :: Ticks rate w -> Ticks rate w -> Ticks rate w -> [Ticks rate w]

Eq w => Eq (Ticks rate w)

Methods

(==) :: Ticks rate w -> Ticks rate w -> Bool

(/=) :: Ticks rate w -> Ticks rate w -> Bool

(LocalOrd w, Integral w) => Integral (Ticks rate w)

Methods

quot :: Ticks rate w -> Ticks rate w -> Ticks rate w

rem :: Ticks rate w -> Ticks rate w -> Ticks rate w

div :: Ticks rate w -> Ticks rate w -> Ticks rate w

mod :: Ticks rate w -> Ticks rate w -> Ticks rate w

quotRem :: Ticks rate w -> Ticks rate w -> (Ticks rate w, Ticks rate w)

divMod :: Ticks rate w -> Ticks rate w -> (Ticks rate w, Ticks rate w)

toInteger :: Ticks rate w -> Integer

Num w => Num (Ticks rate w)

Methods

(+) :: Ticks rate w -> Ticks rate w -> Ticks rate w

(-) :: Ticks rate w -> Ticks rate w -> Ticks rate w

(*) :: Ticks rate w -> Ticks rate w -> Ticks rate w

negate :: Ticks rate w -> Ticks rate w

abs :: Ticks rate w -> Ticks rate w

signum :: Ticks rate w -> Ticks rate w

fromInteger :: Integer -> Ticks rate w

(Eq w, LocalOrd w) => Ord (Ticks rate w)

Methods

compare :: Ticks rate w -> Ticks rate w -> Ordering

(<) :: Ticks rate w -> Ticks rate w -> Bool

(<=) :: Ticks rate w -> Ticks rate w -> Bool

(>) :: Ticks rate w -> Ticks rate w -> Bool

(>=) :: Ticks rate w -> Ticks rate w -> Bool

max :: Ticks rate w -> Ticks rate w -> Ticks rate w

min :: Ticks rate w -> Ticks rate w -> Ticks rate w

(LocalOrd w, Real w) => Real (Ticks rate w)

Methods

toRational :: Ticks rate w -> Rational

(KnownNat r, Integral w, Show w) => Show (Ticks r w)

Methods

showsPrec :: Int -> Ticks r w -> ShowS

show :: Ticks r w -> String

showList :: [Ticks r w] -> ShowS

Generic (Ticks rate w)

Associated Types

type Rep (Ticks rate w) :: * -> *

Methods

from :: Ticks rate w -> Rep (Ticks rate w) x

to :: Rep (Ticks rate w) x -> Ticks rate w

Arbitrary w => Arbitrary (Ticks rate w)

Methods

arbitrary :: Gen (Ticks rate w)

shrink :: Ticks rate w -> [Ticks rate w]

Default w => Default (Ticks rate w)

Methods

def :: Ticks rate w

NFData w => NFData (Ticks rate w)

Methods

rnf :: Ticks rate w -> ()

Random w => Random (Ticks rate w)

Methods

randomR :: RandomGen g => (Ticks rate w, Ticks rate w) -> g -> (Ticks rate w, g)

random :: RandomGen g => g -> (Ticks rate w, g)

randomRs :: RandomGen g => (Ticks rate w, Ticks rate w) -> g -> [Ticks rate w]

randoms :: RandomGen g => g -> [Ticks rate w]

randomRIO :: (Ticks rate w, Ticks rate w) -> IO (Ticks rate w)

randomIO :: IO (Ticks rate w)

LocalOrd w => LocalOrd (Ticks rate w)

Methods

succeeds :: Ticks rate w -> Ticks rate w -> Bool

type Rep (Ticks rate w)

type Rep (Ticks rate w) = D1 (MetaData "Ticks" "Data.MediaBus.Ticks" "mediabus-0.2.0.1-GufOXSQMJOgBSiYlFFnZ4L" True) (C1 (MetaCons "MkTicks" PrefixI True) (S1 (MetaSel (Just Symbol "_ticks") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 w)))

type Ticks32 r = Ticks r Word32

type Ticks64 r = Ticks r Word64

type Ticks32At8000 = Ticks32 8000

type Ticks32At16000 = Ticks32 16000

type Ticks32At48000 = Ticks32 48000

type Ticks64At8000 = Ticks64 8000

type Ticks64At16000 = Ticks64 16000

type Ticks64At48000 = Ticks64 48000

mkTicks :: forall proxy rate baseType. proxy '(rate, baseType) -> baseType -> Ticks rate baseType

at8kHzU32 :: Proxy '(8000, Word32)

at16kHzU32 :: Proxy '(16000, Word32)

at48kHzU32 :: Proxy '(48000, Word32)

at16kHzU64 :: Proxy '(16000, Word64)

at48kHzU64 :: Proxy '(48000, Word64)

nominalDiffTime :: forall r w. (Integral w, KnownNat r) => Iso' (Ticks r w) NominalDiffTime

convertTicks :: (Integral w, Integral w', KnownNat r, KnownNat r') => Ticks r w -> Ticks r' w'

deriveFrameTimestamp :: (Monad m, KnownNat r, Integral t, HasDuration a, HasTimestamp a) => Ticks r t -> Conduit a m (SetTimestamp a (Ticks r t))

data StaticTicks where

Constructors

MkStaticTicks :: Nat -> Rate -> StaticTicks

Instances

(KnownNat r, KnownNat t) => HasStaticDuration StaticTicks ((:@) t r)

Associated Types

type SetStaticDuration k' ((:@) t r) (s :: (:@) t r) (pt :: StaticTicks) :: k'

type GetStaticDuration ((:@) t r) (s :: (:@) t r) :: StaticTicks

type SetStaticDuration StaticTicks StaticTicks ((:@) t r) ((:@) t' r')

type SetStaticDuration StaticTicks StaticTicks ((:@) t r) ((:@) t' r') = (:@) t' r'

type GetStaticDuration StaticTicks ((:@) t r)

type GetStaticDuration StaticTicks ((:@) t r) = (:@) t r

class KnownStaticTicks s where

Minimal complete definition

staticTicksVal

Methods

staticTicksVal :: KnownNat r => proxy s -> Ticks r Integer

Instances

(KnownNat d, KnownNat r) => KnownStaticTicks (MkStaticTicks d (MkRate r))

Methods

staticTicksVal :: KnownNat r => proxy (MkStaticTicks d (MkRate r)) -> Ticks r Integer

data Rate

Constructors

MkRate Nat

type (:@) ticks rate = MkStaticTicks ticks (MkRate rate)

type family StaticTicksRate (s :: StaticTicks) :: Nat where ...

Equations

StaticTicksRate (t :@ r) = r

type family StaticTicksTicks (s :: StaticTicks) :: Nat where ...

Equations

StaticTicksTicks (t :@ r) = t

class (KnownStaticTicks (GetStaticDuration s), SetStaticDuration s (GetStaticDuration s) ~ s) => HasStaticDuration s

Associated Types

type SetStaticDuration s (pt :: StaticTicks) :: k'

type GetStaticDuration s :: StaticTicks

Instances

(KnownNat r, KnownNat t) => HasStaticDuration StaticTicks ((:@) t r)

Associated Types

type SetStaticDuration k' ((:@) t r) (s :: (:@) t r) (pt :: StaticTicks) :: k'

type GetStaticDuration ((:@) t r) (s :: (:@) t r) :: StaticTicks

KnownStaticTicks d => HasStaticDuration * (Segment d x)

Associated Types

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

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

toStaticDurationProxy :: HasStaticDuration s => proxy s -> Proxy (GetStaticDuration s)

getStaticDuration :: forall proxy s. HasStaticDuration s => proxy s -> NominalDiffTime

getStaticTicks :: forall proxy s r t i. (KnownNat r, KnownNat t, HasStaticDuration s, GetStaticDuration s ~ (t :@ r), Integral i) => proxy s -> Ticks r i

getStaticRate :: forall proxy s r t. (KnownNat r, KnownNat t, HasStaticDuration s, GetStaticDuration s ~ (t :@ r)) => proxy s -> Integer

ticksFromStaticDuration :: forall proxy rate ticks i. (KnownNat rate, KnownNat ticks, Integral i) => proxy (ticks :@ rate) -> Ticks rate i

rateFromStaticDuration :: forall proxy rate ticks. (KnownNat rate, KnownNat ticks) => proxy (ticks :@ rate) -> Integer