| Copyright | (c) 2013 Ertugrul Soeylemez |
|---|---|
| License | BSD3 |
| Maintainer | Ertugrul Soeylemez <es@ertes.de> |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Control.Wire.Session
Contents
Description
- class (Monoid s, Real t) => HasTime t s | s -> t where
- dtime :: s -> t
- newtype Session m s = Session {
- stepSession :: m (s, Session m s)
- data Timed t s = Timed t s
- clockSession :: MonadIO m => Session m (s -> Timed NominalDiffTime s)
- clockSession_ :: (Applicative m, MonadIO m) => Session m (Timed NominalDiffTime ())
- countSession :: Applicative m => t -> Session m (s -> Timed t s)
- countSession_ :: Applicative m => t -> Session m (Timed t ())
State delta types
State delta generators as required for wire sessions, most notably to generate time deltas. These are mini-wires with the sole purpose of generating these deltas.
Constructors
| Session | |
Fields
| |
Instances
| Functor m => Functor (Session m) | |
| Applicative m => Applicative (Session m) |
Wires with time
This state delta type denotes time deltas. This is necessary for most FRP applications.
Constructors
| Timed t s |
Instances
| (Monoid s, Real t) => HasTime t (Timed t s) | |
| Functor (Timed t) | |
| Foldable (Timed t) | |
| Traversable (Timed t) | |
| (Eq t, Eq s) => Eq (Timed t s) | |
| (Data t, Data s) => Data (Timed t s) | |
| (Ord t, Ord s) => Ord (Timed t s) | |
| (Read t, Read s) => Read (Timed t s) | |
| (Show t, Show s) => Show (Timed t s) | |
| (Monoid s, Num t) => Monoid (Timed t s) | |
| Typeable (* -> * -> *) Timed |
clockSession :: MonadIO m => Session m (s -> Timed NominalDiffTime s) Source
State delta generator for a real time clock.
clockSession_ :: (Applicative m, MonadIO m) => Session m (Timed NominalDiffTime ()) Source
Non-extending version of clockSession.
Arguments
| :: Applicative m | |
| => t | Increment size. |
| -> Session m (s -> Timed t s) |
State delta generator for a simple counting clock. Denotes a fixed
framerate. This is likely more useful than clockSession for
simulations and real-time games.
countSession_ :: Applicative m => t -> Session m (Timed t ()) Source
Non-extending version of countSession.