Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- newtype T time label = Cons {}
- type Interval time label = ((time, time), label)
- empty :: T time label
- null :: T time label -> Bool
- singleton :: (time, time) -> label -> T time label
- fromAdjacentChunks :: Num time => [(time, label)] -> T time label
- lift :: ([Interval time0 label0] -> [Interval time1 label1]) -> T time0 label0 -> T time1 label1
- lift2 :: ([Interval time0 label0] -> [Interval time1 label1] -> [Interval time2 label2]) -> T time0 label0 -> T time1 label1 -> T time2 label2
- formatTime :: RealFrac time => time -> String
- mapTime :: (time0 -> time1) -> T time0 label -> T time1 label
- mapWithTime :: ((time, time) -> label0 -> label1) -> T time label0 -> T time label1
- realTimes :: Fractional time => time -> T Int label -> T time label
- mask :: Ord time => (time, time) -> T time label -> T time label
- zipWithList :: (label0 -> label1 -> label2) -> [label0] -> T time label1 -> T time label2
- writeFile :: RealFrac time => FilePath -> T time String -> IO ()
- writeFileInt :: RealFrac time => time -> FilePath -> T Int String -> IO ()
- parseTime :: Fractional time => String -> Maybe time
- readFile :: Fractional time => FilePath -> IO (T time String)
Documentation
Instances
Foldable (T time) Source # | |
Defined in Sound.Audacity.LabelTrack fold :: Monoid m => T time m -> m # foldMap :: Monoid m => (a -> m) -> T time a -> m # foldMap' :: Monoid m => (a -> m) -> T time a -> m # foldr :: (a -> b -> b) -> b -> T time a -> b # foldr' :: (a -> b -> b) -> b -> T time a -> b # foldl :: (b -> a -> b) -> b -> T time a -> b # foldl' :: (b -> a -> b) -> b -> T time a -> b # foldr1 :: (a -> a -> a) -> T time a -> a # foldl1 :: (a -> a -> a) -> T time a -> a # elem :: Eq a => a -> T time a -> Bool # maximum :: Ord a => T time a -> a # minimum :: Ord a => T time a -> a # | |
Traversable (T time) Source # | |
Functor (T time) Source # | |
Monoid (T time label) Source # | |
Semigroup (T time label) Source # | |
(Show time, Show label) => Show (T time label) Source # | |
(NFData time, NFData label) => NFData (T time label) Source # | |
Defined in Sound.Audacity.LabelTrack |
fromAdjacentChunks :: Num time => [(time, label)] -> T time label Source #
lift :: ([Interval time0 label0] -> [Interval time1 label1]) -> T time0 label0 -> T time1 label1 Source #
lift2 :: ([Interval time0 label0] -> [Interval time1 label1] -> [Interval time2 label2]) -> T time0 label0 -> T time1 label1 -> T time2 label2 Source #
formatTime :: RealFrac time => time -> String Source #
Format the times using a comma, which is certainly only correct in German locale.
mapTime :: (time0 -> time1) -> T time0 label -> T time1 label Source #
You must make sure, that the time mapping function preserves the order. This is not checked.
mapWithTime :: ((time, time) -> label0 -> label1) -> T time label0 -> T time label1 Source #
zipWithList :: (label0 -> label1 -> label2) -> [label0] -> T time label1 -> T time label2 Source #