Copyright	(c) 2013 Ertugrul Soeylemez
License	BSD3
Maintainer	Ertugrul Soeylemez <[email protected]>
Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Wire.Session

Contents

State delta types
- Wires with time

Description

Synopsis

class (Monoid s, Real t) => HasTime t s | s -> t where
- dtime :: s -> t
newtype Session (m :: Type -> Type) s = Session {
- stepSession :: m (s, Session m s)
}
data Timed t s = Timed t s
clockSession :: forall (m :: Type -> Type) s. MonadIO m => Session m (s -> Timed NominalDiffTime s)
clockSession_ :: forall (m :: Type -> Type). (Applicative m, MonadIO m) => Session m (Timed NominalDiffTime ())
countSession :: forall (m :: Type -> Type) t s. Applicative m => t -> Session m (s -> Timed t s)
countSession_ :: forall (m :: Type -> Type) t. Applicative m => t -> Session m (Timed t ())

State delta types

class (Monoid s, Real t) => HasTime t s | s -> t where Source #

State delta types with time deltas.

Methods

dtime :: s -> t Source #

Extract the current time delta.

Instances

Instances details

(Semigroup s, Monoid s, Real t) => HasTime t (Timed t s) Source #
Instance details Defined in Control.Wire.Session Methods dtime :: Timed t s -> t Source #

newtype Session (m :: Type -> Type) s Source #

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 stepSession :: m (s, Session m s)

Instances

Instances details

Applicative m => Applicative (Session m) Source #
Instance details Defined in Control.Wire.Session Methods pure :: a -> Session m a # (<>) :: Session m (a -> b) -> Session m a -> Session m b # liftA2 :: (a -> b -> c) -> Session m a -> Session m b -> Session m c # (>) :: Session m a -> Session m b -> Session m b # (<*) :: Session m a -> Session m b -> Session m a #
Functor m => Functor (Session m) Source #
Instance details Defined in Control.Wire.Session Methods fmap :: (a -> b) -> Session m a -> Session m b # (<$) :: a -> Session m b -> Session m a #

Wires with time

data Timed t s Source #

This state delta type denotes time deltas. This is necessary for most FRP applications.

Constructors

Timed t s

Instances

Instances details

(Semigroup s, Monoid s, Real t) => HasTime t (Timed t s) Source #
Instance details Defined in Control.Wire.Session Methods dtime :: Timed t s -> t Source #
Foldable (Timed t) Source #
Instance details Defined in Control.Wire.Session Methods fold :: Monoid m => Timed t m -> m # foldMap :: Monoid m => (a -> m) -> Timed t a -> m # foldMap' :: Monoid m => (a -> m) -> Timed t a -> m # foldr :: (a -> b -> b) -> b -> Timed t a -> b # foldr' :: (a -> b -> b) -> b -> Timed t a -> b # foldl :: (b -> a -> b) -> b -> Timed t a -> b # foldl' :: (b -> a -> b) -> b -> Timed t a -> b # foldr1 :: (a -> a -> a) -> Timed t a -> a # foldl1 :: (a -> a -> a) -> Timed t a -> a # toList :: Timed t a -> [a] # null :: Timed t a -> Bool # length :: Timed t a -> Int # elem :: Eq a => a -> Timed t a -> Bool # maximum :: Ord a => Timed t a -> a # minimum :: Ord a => Timed t a -> a # sum :: Num a => Timed t a -> a # product :: Num a => Timed t a -> a #
Traversable (Timed t) Source #
Instance details Defined in Control.Wire.Session Methods traverse :: Applicative f => (a -> f b) -> Timed t a -> f (Timed t b) # sequenceA :: Applicative f => Timed t (f a) -> f (Timed t a) # mapM :: Monad m => (a -> m b) -> Timed t a -> m (Timed t b) # sequence :: Monad m => Timed t (m a) -> m (Timed t a) #
Functor (Timed t) Source #
Instance details Defined in Control.Wire.Session Methods fmap :: (a -> b) -> Timed t a -> Timed t b # (<$) :: a -> Timed t b -> Timed t a #
(Data t, Data s) => Data (Timed t s) Source #
Instance details Defined in Control.Wire.Session Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Timed t s -> c (Timed t s) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Timed t s) # toConstr :: Timed t s -> Constr # dataTypeOf :: Timed t s -> DataType # dataCast1 :: Typeable t0 => (forall d. Data d => c (t0 d)) -> Maybe (c (Timed t s)) # dataCast2 :: Typeable t0 => (forall d e. (Data d, Data e) => c (t0 d e)) -> Maybe (c (Timed t s)) # gmapT :: (forall b. Data b => b -> b) -> Timed t s -> Timed t s # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Timed t s -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Timed t s -> r # gmapQ :: (forall d. Data d => d -> u) -> Timed t s -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Timed t s -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Timed t s -> m (Timed t s) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Timed t s -> m (Timed t s) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Timed t s -> m (Timed t s) #
(Semigroup s, Monoid s, Num t) => Monoid (Timed t s) Source #
Instance details Defined in Control.Wire.Session Methods mempty :: Timed t s # mappend :: Timed t s -> Timed t s -> Timed t s # mconcat :: [Timed t s] -> Timed t s #
(Semigroup s, Num t) => Semigroup (Timed t s) Source #
Instance details Defined in Control.Wire.Session Methods (<>) :: Timed t s -> Timed t s -> Timed t s # sconcat :: NonEmpty (Timed t s) -> Timed t s # stimes :: Integral b => b -> Timed t s -> Timed t s #
(Read t, Read s) => Read (Timed t s) Source #
Instance details Defined in Control.Wire.Session Methods readsPrec :: Int -> ReadS (Timed t s) # readList :: ReadS [Timed t s] # readPrec :: ReadPrec (Timed t s) # readListPrec :: ReadPrec [Timed t s] #
(Show t, Show s) => Show (Timed t s) Source #
Instance details Defined in Control.Wire.Session Methods showsPrec :: Int -> Timed t s -> ShowS # show :: Timed t s -> String # showList :: [Timed t s] -> ShowS #
(Eq t, Eq s) => Eq (Timed t s) Source #
Instance details Defined in Control.Wire.Session Methods (==) :: Timed t s -> Timed t s -> Bool # (/=) :: Timed t s -> Timed t s -> Bool #
(Ord t, Ord s) => Ord (Timed t s) Source #
Instance details Defined in Control.Wire.Session Methods compare :: Timed t s -> Timed t s -> Ordering # (<) :: Timed t s -> Timed t s -> Bool # (<=) :: Timed t s -> Timed t s -> Bool # (>) :: Timed t s -> Timed t s -> Bool # (>=) :: Timed t s -> Timed t s -> Bool # max :: Timed t s -> Timed t s -> Timed t s # min :: Timed t s -> Timed t s -> Timed t s #

clockSession :: forall (m :: Type -> Type) s. MonadIO m => Session m (s -> Timed NominalDiffTime s) Source #

State delta generator for a real time clock.

clockSession_ :: forall (m :: Type -> Type). (Applicative m, MonadIO m) => Session m (Timed NominalDiffTime ()) Source #

Non-extending version of clockSession.

countSession Source #

Arguments

:: forall (m :: Type -> Type) t s. 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_ :: forall (m :: Type -> Type) t. Applicative m => t -> Session m (Timed t ()) Source #

Non-extending version of countSession.