FRP.Rhine.Gloss.IO

Wrapper to write gloss applications in Rhine, using concurrency.

Documentation

data GlossConcT m a

Wraps the concurrent variables needed for communication with the gloss backend.

Instances

MMonad GlossConcT

Defined in FRP.Rhine.Gloss.IO

Methods

embed :: forall (n :: Type -> Type) m b. Monad n => (forall a. m a -> GlossConcT n a) -> GlossConcT m b -> GlossConcT n b

MonadTrans GlossConcT

Defined in FRP.Rhine.Gloss.IO

Methods

lift :: Monad m => m a -> GlossConcT m a

MFunctor GlossConcT

Defined in FRP.Rhine.Gloss.IO

Methods

hoist :: forall m n (b :: k). Monad m => (forall a. m a -> n a) -> GlossConcT m b -> GlossConcT n b

MonadIO m => MonadIO (GlossConcT m)

Defined in FRP.Rhine.Gloss.IO

Methods

liftIO :: IO a -> GlossConcT m a

Applicative m => Applicative (GlossConcT m)

Defined in FRP.Rhine.Gloss.IO

Methods

pure :: a -> GlossConcT m a

(<*>) :: GlossConcT m (a -> b) -> GlossConcT m a -> GlossConcT m b

liftA2 :: (a -> b -> c) -> GlossConcT m a -> GlossConcT m b -> GlossConcT m c

(*>) :: GlossConcT m a -> GlossConcT m b -> GlossConcT m b

(<*) :: GlossConcT m a -> GlossConcT m b -> GlossConcT m a

Functor m => Functor (GlossConcT m)

Defined in FRP.Rhine.Gloss.IO

Methods

fmap :: (a -> b) -> GlossConcT m a -> GlossConcT m b

(<$) :: a -> GlossConcT m b -> GlossConcT m a

Monad m => Monad (GlossConcT m)

Defined in FRP.Rhine.Gloss.IO

Methods

(>>=) :: GlossConcT m a -> (a -> GlossConcT m b) -> GlossConcT m b

(>>) :: GlossConcT m a -> GlossConcT m b -> GlossConcT m b

return :: a -> GlossConcT m a

(Monad m, MonadSchedule m) => MonadSchedule (GlossConcT m)

Defined in FRP.Rhine.Gloss.IO

Methods

schedule :: NonEmpty (GlossConcT m a) -> GlossConcT m (NonEmpty a, [GlossConcT m a])

MonadIO m => Clock (GlossConcT m) GlossEventClockIO

Defined in FRP.Rhine.Gloss.IO

Associated Types

type Time GlossEventClockIO

type Tag GlossEventClockIO

Methods

initClock :: GlossEventClockIO -> RunningClockInit (GlossConcT m) (Time GlossEventClockIO) (Tag GlossEventClockIO)

MonadIO m => Clock (GlossConcT m) GlossSimClockIO

Defined in FRP.Rhine.Gloss.IO

Associated Types

type Time GlossSimClockIO

type Tag GlossSimClockIO

Methods

initClock :: GlossSimClockIO -> RunningClockInit (GlossConcT m) (Time GlossSimClockIO) (Tag GlossSimClockIO)

paintIO :: MonadIO m => Picture -> GlossConcT m ()

Add a picture to the canvas.

clearIO :: MonadIO m => GlossConcT m ()

Clear the canvas.

paintAllIO :: MonadIO m => Picture -> GlossConcT m ()

Clear the canvas and then paint.

data GlossEventClockIO

Concurrently block on gloss events.

Constructors

GlossEventClockIO

Instances

GetClockProxy GlossEventClockIO

Defined in FRP.Rhine.Gloss.IO

Methods

getClockProxy :: ClockProxy GlossEventClockIO

MonadIO m => Clock (GlossConcT m) GlossEventClockIO

Defined in FRP.Rhine.Gloss.IO

Associated Types

type Time GlossEventClockIO

type Tag GlossEventClockIO

Methods

initClock :: GlossEventClockIO -> RunningClockInit (GlossConcT m) (Time GlossEventClockIO) (Tag GlossEventClockIO)

type Tag GlossEventClockIO

Defined in FRP.Rhine.Gloss.IO

type Tag GlossEventClockIO = Event

type Time GlossEventClockIO

Defined in FRP.Rhine.Gloss.IO

type Time GlossEventClockIO = Float

data GlossSimClockIO

Concurrently block on gloss simulation ticks.

Constructors

GlossSimClockIO

Instances

GetClockProxy GlossSimClockIO

Defined in FRP.Rhine.Gloss.IO

Methods

getClockProxy :: ClockProxy GlossSimClockIO

MonadIO m => Clock (GlossConcT m) GlossSimClockIO

Defined in FRP.Rhine.Gloss.IO

Associated Types

type Time GlossSimClockIO

type Tag GlossSimClockIO

Methods

initClock :: GlossSimClockIO -> RunningClockInit (GlossConcT m) (Time GlossSimClockIO) (Tag GlossSimClockIO)

type Tag GlossSimClockIO

Defined in FRP.Rhine.Gloss.IO

type Tag GlossSimClockIO = ()

type Time GlossSimClockIO

Defined in FRP.Rhine.Gloss.IO

type Time GlossSimClockIO = Float

launchInGlossThread :: MonadIO m => GlossSettings -> GlossConcT m a -> m a

Apply this to supply the GlossConcT effect. Creates a new thread in which gloss is run, and feeds the clocks GlossEventClockIO and GlossSimClockIO.

Usually, this function is applied to the result of flow, so you can handle all occurring effects as needed. If you only use gloss in your whole signal network, you can use flowGlossIO instead.

launchGlossThread :: MonadIO m => GlossSettings -> m GlossEnv

Apply this to supply the GlossConcT effect. Creates a new thread in which gloss is run, and feeds the clocks GlossEventClockIO and GlossSimClockIO.

Usually, this function is applied to the result of flow, so you can handle all occurring effects as needed. If you only use gloss in your whole signal network, you can use flowGlossIO instead.

flowGlossIO :: (MonadIO m, Clock (GlossConcT m) cl, GetClockProxy cl, Time cl ~ Time (In cl), Time cl ~ Time (Out cl)) => GlossSettings -> Rhine (GlossConcT m) cl () () -> m ()

Run a Rhine in the GlossConcT monad by launching a separate thread for the gloss backend, and reactimate in the foreground.

runGlossEnvClock :: GlossEnv -> cl -> RunGlossEnvClock m cl

Apply to a gloss clock to remove a GlossConcT layer. You will have to have initialized a GlossEnv, for example by calling launchGlossThread.

type RunGlossEnvClock m cl = HoistClock (GlossConcT m) m cl

Apply this wrapper to your clock type cl in order to escape the GlossConcT transformer. The resulting clock will be in m, not 'GlossConcT m' anymore. Typically, m will have the MonadIO constraint.