moffy-0.1.1.0: Monadic Functional Reactive Programming
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Moffy.Handle.Time

Synopsis

TimeState

class TimeState s where Source #

Methods

getMode :: s -> Mode Source #

putMode :: s -> Mode -> s Source #

getLatestTime :: s -> AbsoluteTime Source #

putLatestTime :: s -> AbsoluteTime -> s Source #

Instances

Instances details
TimeState (Mode, AbsoluteTime) Source # 
Instance details

Defined in Control.Moffy.Handle.Time

Methods

getMode :: (Mode, AbsoluteTime) -> Mode Source #

putMode :: (Mode, AbsoluteTime) -> Mode -> (Mode, AbsoluteTime) Source #

getLatestTime :: (Mode, AbsoluteTime) -> AbsoluteTime Source #

putLatestTime :: (Mode, AbsoluteTime) -> AbsoluteTime -> (Mode, AbsoluteTime) Source #

data Mode Source #

Constructors

InitialMode 

Instances

Instances details
Show Mode Source # 
Instance details

Defined in Control.Moffy.Handle.Time

Methods

showsPrec :: Int -> Mode -> ShowS #

show :: Mode -> String #

showList :: [Mode] -> ShowS #

TimeState (Mode, AbsoluteTime) Source # 
Instance details

Defined in Control.Moffy.Handle.Time

Methods

getMode :: (Mode, AbsoluteTime) -> Mode Source #

putMode :: (Mode, AbsoluteTime) -> Mode -> (Mode, AbsoluteTime) Source #

getLatestTime :: (Mode, AbsoluteTime) -> AbsoluteTime Source #

putLatestTime :: (Mode, AbsoluteTime) -> AbsoluteTime -> (Mode, AbsoluteTime) Source #

IO Mimicable

class TaiTimeM m where Source #

Methods

getCurrentTime :: m AbsoluteTime Source #

Instances

Instances details
TaiTimeM IO Source # 
Instance details

Defined in Control.Moffy.Handle.Time

Methods

getCurrentTime :: IO AbsoluteTime Source #

class DelayM m where Source #

Methods

delay :: DiffTime -> m () Source #

Instances

Instances details
DelayM IO Source # 
Instance details

Defined in Control.Moffy.Handle.Time

Methods

delay :: DiffTime -> IO () Source #

Handle

type Timable es = (ExpandableHandle es (es :+: TimeEv), ExpandableHandle TimeEv (es :+: TimeEv), MergeableOccurred es TimeEv (es :+: TimeEv)) Source #

handleTimeEvPlus :: (TimeState s, Monad m, TaiTimeM m, DelayM m, Timable es) => HandleIo' ((DiffTime, a), s) s m es -> HandleIo' ((DiffTime, a), s) s m (es :+: TimeEv) Source #