Control.Moffy.Event.Time

Time Event

type TimeEv = DeltaTime :- (TryWait :- 'Nil)

Elapsed

data DeltaTime

Constructors

DeltaTimeReq

Instances

Show DeltaTime

Defined in Control.Moffy.Event.Time

Methods

showsPrec :: Int -> DeltaTime -> ShowS

show :: DeltaTime -> String

showList :: [DeltaTime] -> ShowS

Eq DeltaTime

Defined in Control.Moffy.Event.Time

Methods

(==) :: DeltaTime -> DeltaTime -> Bool

(/=) :: DeltaTime -> DeltaTime -> Bool

Ord DeltaTime

Defined in Control.Moffy.Event.Time

Methods

compare :: DeltaTime -> DeltaTime -> Ordering

(<) :: DeltaTime -> DeltaTime -> Bool

(<=) :: DeltaTime -> DeltaTime -> Bool

(>) :: DeltaTime -> DeltaTime -> Bool

(>=) :: DeltaTime -> DeltaTime -> Bool

max :: DeltaTime -> DeltaTime -> DeltaTime

min :: DeltaTime -> DeltaTime -> DeltaTime

Request DeltaTime

Defined in Control.Moffy.Event.Time

Associated Types

data Occurred DeltaTime

Numbered DeltaTime

Defined in Control.Moffy.Event.Time

Associated Types

type Number DeltaTime = (r :: Nat)

data Occurred DeltaTime

Defined in Control.Moffy.Event.Time

data Occurred DeltaTime = OccDeltaTime DiffTime

type Number DeltaTime

Defined in Control.Moffy.Event.Time

type Number DeltaTime = 13444258295076310160

pattern OccDeltaTime :: DiffTime -> Occurred DeltaTime

deltaTime :: React s (Singleton DeltaTime) DiffTime

elapsed :: Sig s (Singleton DeltaTime) DiffTime r

Sleep

newtype TryWait

Constructors

TryWaitReq DiffTime

Instances

Show TryWait

Defined in Control.Moffy.Event.Time

Methods

showsPrec :: Int -> TryWait -> ShowS

show :: TryWait -> String

showList :: [TryWait] -> ShowS

Eq TryWait

Defined in Control.Moffy.Event.Time

Methods

(==) :: TryWait -> TryWait -> Bool

(/=) :: TryWait -> TryWait -> Bool

Ord TryWait

Defined in Control.Moffy.Event.Time

Methods

compare :: TryWait -> TryWait -> Ordering

(<) :: TryWait -> TryWait -> Bool

(<=) :: TryWait -> TryWait -> Bool

(>) :: TryWait -> TryWait -> Bool

(>=) :: TryWait -> TryWait -> Bool

max :: TryWait -> TryWait -> TryWait

min :: TryWait -> TryWait -> TryWait

Request TryWait

Defined in Control.Moffy.Event.Time

Associated Types

data Occurred TryWait

Numbered TryWait

Defined in Control.Moffy.Event.Time

Associated Types

type Number TryWait = (r :: Nat)

data Occurred TryWait

Defined in Control.Moffy.Event.Time

data Occurred TryWait = OccTryWait DiffTime

type Number TryWait

Defined in Control.Moffy.Event.Time

type Number TryWait = 9697333652888978067

pattern OccTryWait :: DiffTime -> Occurred TryWait

sleep :: HasCallStack => DiffTime -> React s (Singleton TryWait) ()