Temporal.Media

Contents

• Time classes
• Transformers
• Structure
• Media
• Simple interperetation
  • Event list
  • Unit Temporal Media

Synopsis

• class (Num t, Ord t, Fractional t) => Dur t
• class Dur t => Temporal t a where
  • none :: t -> a
  • dur :: a -> t
• class Dur t => Stretchable t a where
  • stretch :: t -> a -> a
• class ToMaybe m where
  • toMaybe :: m a -> Maybe a
• class Dur t => TemporalFunctor t f where
  • tmap :: (t -> a -> b) -> f a -> f b
• class Reversible a where
  • reverse :: a -> a
• class Temporal t a => Sliceable t a where
  • slice :: t -> t -> a -> a
  • take :: t -> a -> a
  • drop :: t -> a -> a
• cut :: (Reversible a, Sliceable t a) => t -> t -> a -> a
• class Construct m where
  • prim :: a -> m a
• class Arrangeable a where
  • (+:+) :: a -> a -> a
  • (=:=) :: a -> a -> a
• class Controlable c a where
  • control :: c -> a -> a
• sequent :: Arrangeable a => [a] -> a
• parallel :: Arrangeable a => [a] -> a
• loop :: Arrangeable a => Int -> a -> a
• delay :: (Temporal t a, Arrangeable a) => t -> a -> a
• temp :: (Construct m, Temporal t (m a), Stretchable t (m a)) => t -> a -> m a
• data Media c a
  • = Prim a
  • | (Media c a) :+: (Media c a)
  • | (Media c a) :=: (Media c a)
  • | Control c (Media c a)
• fold :: (a -> b) -> (b -> b -> b) -> (b -> b -> b) -> (c -> b -> b) -> Media c a -> b
• fromMedia :: Arrangeable b => (a -> b) -> (c -> b -> b) -> Media c a -> b
• type Event t a = (t, t, a)
• data EventList t a = EventList t [Event t a]
• mapEvent :: Dur t => (a -> b) -> Event t a -> Event t b
• toEvent :: (Temporal t (m a), ToMaybe m) => m a -> EventList t a
• toEventList :: (Temporal t (m a), ToMaybe m) => (c -> EventList t a -> EventList t a) -> Media c (m a) -> EventList t a
• data Dur t => MediaUnit t c a = MediaUnit t (Media c (Unit t a))
• unMediaUnit :: Dur t => MediaUnit t c a -> Media c (Unit t a)
• foldU :: Dur t => (t -> a -> b) -> (b -> b -> b) -> (b -> b -> b) -> (c -> b -> b) -> MediaUnit t c a -> Maybe b
• fromMediaUnit :: Dur t => (c -> EventList t a -> EventList t a) -> MediaUnit t c a -> EventList t a
• data Dur t => Unit t a = Unit t (Maybe a)

Time classes

Transformers

Structure

Media

 fold prim seq par mod x

Simple interperetation

Event list

Unit Temporal Media