tcalculus-1.0.0: A DSL prototype for structured realtime/reactive functional programing

Copyright	(c) Simon Archipoff, David Janin, 2016
License	see the LICENSE file in the distribution
Maintainer	janin@labri.fr
Stability	experimental
Safe Haskell	Safe
Language	Haskell2010

Runtime.SymbolicTime

Description

Synopsis

Documentation

data BPM Source #

Constructors

BPM
Fields getBPM :: Integer

Instances

Show BPM Source #
Methods showsPrec :: Int -> BPM -> ShowS # show :: BPM -> String # showList :: [BPM] -> ShowS #

quartersSubdiv :: Integer Source #

A big integer

data Quarters Source #

Constructors

Quarters
Fields getQuarters :: Integer

Instances

Eq Quarters Source #
Methods (==) :: Quarters -> Quarters -> Bool # (/=) :: Quarters -> Quarters -> Bool #
Fractional Quarters Source #
Methods (/) :: Quarters -> Quarters -> Quarters # recip :: Quarters -> Quarters # fromRational :: Rational -> Quarters #
Num Quarters Source #
Methods (+) :: Quarters -> Quarters -> Quarters # (-) :: Quarters -> Quarters -> Quarters # (*) :: Quarters -> Quarters -> Quarters # negate :: Quarters -> Quarters # abs :: Quarters -> Quarters # signum :: Quarters -> Quarters # fromInteger :: Integer -> Quarters #
Ord Quarters Source #
Methods compare :: Quarters -> Quarters -> Ordering # (<) :: Quarters -> Quarters -> Bool # (<=) :: Quarters -> Quarters -> Bool # (>) :: Quarters -> Quarters -> Bool # (>=) :: Quarters -> Quarters -> Bool # max :: Quarters -> Quarters -> Quarters # min :: Quarters -> Quarters -> Quarters #
Show Quarters Source #
Methods showsPrec :: Int -> Quarters -> ShowS # show :: Quarters -> String # showList :: [Quarters] -> ShowS #

oneQuarter :: Quarters Source #

Unit in quarters

quartersInitState :: (TimeStamp Integer, TimeStamp (Ratio Integer)) Source #

nsToQuarters :: (TimeStamp Integer, BPM) -> State (TimeStamp Integer, TimeStamp (Ratio Integer)) (TimeStamp Quarters) Source #