FreeGame.UI

Provides the free embodiment.

Documentation

data UI a

Constructors

Draw (forall m. (Applicative m, Monad m, Picture2D m, Local m) => m a)

PreloadBitmap Bitmap a

FromFinalizer (FinalizerT IO a)

KeyStates (Map Key ButtonState -> a)

MouseButtons (Map Int ButtonState -> a)

MousePosition (Vec2 -> a)

TakeScreenshot (Bitmap -> a)

Bracket (Frame a)

SetFPS Int a

SetTitle String a

ShowCursor a

HideCursor a

ClearColor Color a

GetFPS (Int -> a)

ForkFrame (Frame ()) a

GetBoundingBox (BoundingBox2 -> a)

SetBoundingBox BoundingBox2 a

Instances

Functor UI

MonadIO Frame

FromFinalizer UI

Mouse UI

Keyboard UI

Local UI

Picture2D UI

Affine UI

FreeGame UI

reUI :: FreeGame f => UI a -> f a

reFrame :: (FreeGame m, Monad m) => Frame a -> m a

Generalize Frame to any monad based on FreeGame.

reGame :: (FreeGame m, Monad m) => Game a -> m a

Generalize Game to any monad based on FreeGame.

type Frame = F UI

type Game = IterT Frame

class (Picture2D m, Local m, Keyboard m, Mouse m, FromFinalizer m) => FreeGame m where

Methods

draw :: (forall f. (Applicative f, Monad f, Picture2D f, Local f) => f a) -> m a

Draw an action that consist of Picture2D's methods.

preloadBitmap :: Bitmap -> m ()

Load a Bitmap to avoid the cost of the first invocation of bitmap.

bracket :: Frame a -> m a

Run a Frame, and release all the matter happened.

forkFrame :: Frame () -> m ()

Run a Frame action concurrently. Do not use this function to draw pictures.

takeScreenshot :: m Bitmap

Generate a Bitmap from the front buffer.

setFPS :: Int -> m ()

Set the goal FPS.

setTitle :: String -> m ()

showCursor :: m ()

hideCursor :: m ()

clearColor :: Color -> m ()

getFPS :: m Int

Get the actual FPS value.

getBoundingBox :: m BoundingBox2

setBoundingBox :: BoundingBox2 -> m ()

Instances

FreeGame UI

(FreeGame m, Monad m) => FreeGame (IdentityT m)

(FreeGame m, Functor m) => FreeGame (F m)

(FreeGame m, Functor m) => FreeGame (Free m)

(FreeGame m, Monad m) => FreeGame (IterT m)

(FreeGame m, Monad m) => FreeGame (ListT m)

(FreeGame m, Monad m) => FreeGame (MaybeT m)

(FreeGame m, Monad m, Error e) => FreeGame (ErrorT e m)

(FreeGame m, Monad m) => FreeGame (ContT r m)

(FreeGame m, Monad m) => FreeGame (StateT s m)

(FreeGame m, Monad m) => FreeGame (StateT s m)

(FreeGame m, Monad m, Monoid w) => FreeGame (WriterT w m)

(FreeGame m, Monad m, Monoid w) => FreeGame (WriterT w m)

(FreeGame m, Monad m, Monoid w) => FreeGame (RWST r w s m)

(FreeGame m, Monad m, Monoid w) => FreeGame (RWST r w s m)