FreeGame

Game

type Game = IterT Frame

runGame :: WindowMode -> BoundingBox Double -> Game a -> IO (Maybe a)

Game is a kind of procedure but you can also use it like a value. free-game's design is based on free structures, however, you don't have to mind it -- Just apply runGame, and enjoy.

For more examples, see https://github.com/fumieval/free-game/tree/master/examples.

runGameDefault :: Game a -> IO (Maybe a)

data WindowMode

Constructors

Windowed

FullScreen

data BoundingBox a

2D bounding box

Constructors

BoundingBox a a a a

Instances

Functor BoundingBox

Typeable1 BoundingBox

Foldable BoundingBox

Traversable BoundingBox

Eq a => Eq (BoundingBox a)

Ord a => Ord (BoundingBox a)

Read a => Read (BoundingBox a)

Show a => Show (BoundingBox a)

delay :: (Monad f, MonadFree f m) => m a -> m a

tick :: (Monad f, MonadFree f m) => m ()

Delimit the computation to yield a frame.

foreverFrame :: (Monad f, Monad m, MonadTrans t, MonadFree f (t m)) => m a -> t m any

foreverFrame :: Frame a -> Game any

untick :: (Monad m, FreeGame m) => IterT Frame a -> m (Either (IterT Frame a) a)

Extract the next frame of the action.

untickInfinite :: (Monad m, FreeGame m) => IterT Frame Void -> m (IterT Frame Void)

An infinite version of untick.

Frame

type Frame = F UI

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. Please do not use this function to draw pictures.

takeScreenshot :: m Bitmap

Generate a Bitmap from the front buffer.

setFPS :: Int -> m ()

setTitle :: String -> m ()

showCursor :: m ()

hideCursor :: m ()

clearColor :: Color -> m ()

getFPS :: m Int

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)

Transformations

type Vec2 = V2 Double

class Functor p => Affine p where

Methods

rotateR :: Double -> p a -> p a

(radians)

rotateD :: Double -> p a -> p a

(degrees)

scale :: Vec2 -> p a -> p a

translate :: Vec2 -> p a -> p a

Instances

Affine Location

Affine UI

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

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

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

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

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

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

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

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

(Affine m, Monad m) => Affine (ReaderT r m)

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

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

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

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

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

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

class Affine p => Local p

Instances

Local UI

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

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

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

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

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

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

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

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

(Local m, Monad m) => Local (ReaderT s m)

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

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

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

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

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

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

globalize :: Local f => Vec2 -> f Vec2

localize :: Local f => Vec2 -> f Vec2

Pictures

class Affine p => Picture2D p where

The class of types that can be regarded as a kind of picture.

Methods

bitmap :: Bitmap -> p ()

Construct a Picture2D from a Bitmap.

bitmapOnce :: Bitmap -> p ()

Same as bitmap, but it does not create a cache.

line :: [Vec2] -> p ()

polygon :: [Vec2] -> p ()

polygonOutline :: [Vec2] -> p ()

circle :: Double -> p ()

circleOutline :: Double -> p ()

thickness :: Float -> p a -> p a

color :: Color -> p a -> p a

blendMode :: BlendMode -> p a -> p a

Instances

Picture2D UI

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

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

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

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

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

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

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

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

(Picture2D m, Monad m) => Picture2D (ReaderT r m)

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

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

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

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

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

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

data BlendMode

Constructors

Normal

Inverse

Add

Multiply

Screen

Instances

Enum BlendMode

Eq BlendMode

Ord BlendMode

Read BlendMode

Show BlendMode

Typeable BlendMode

type Bitmap = Image PixelRGBA8

bitmapSize :: Bitmap -> (Int, Int)

Get the size of the Bitmap.

readBitmap :: MonadIO m => FilePath -> m Bitmap

Load an image file.

cropBitmap

Arguments

:: Bitmap

original bitmap

-> (Int, Int)

width and height

-> (Int, Int)

x and y

-> Bitmap

result

Extract a Bitmap from the specified range.

loadBitmaps :: FilePath -> Q [Dec]

Load and define all pictures in the specified directory. In GHC >= 7.6, file paths to actually load will be respect to the directory of the executable. Otherwise it will be based on the current directory.

loadBitmapsWith :: ExpQ -> FilePath -> Q [Dec]

The type of the given ExpQ must be FilePath -> IO FilePath

writeBitmap :: MonadIO m => FilePath -> Bitmap -> m ()

Save Bitmap into a file.

Text

data Font

Font object

loadFont :: MonadIO m => FilePath -> m Font

text :: (FromFinalizer m, Monad m, Picture2D m) => Font -> Double -> String -> m ()

Render a String.

Keyboard

class Functor f => Keyboard f where

Methods

keyStates_ :: f (Map Key ButtonState)

Instances

Keyboard UI

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

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

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

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

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

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

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

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

(Keyboard m, Monad m) => Keyboard (ReaderT s m)

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

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

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

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

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

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

data Key

Constructors

KeyUnknown

KeySpace

KeyApostrophe

KeyComma

KeyMinus

KeyPeriod

KeySlash

Key0

Key1

Key2

Key3

Key4

Key5

Key6

Key7

Key8

Key9

KeySemicolon

KeyEqual

KeyA

KeyB

KeyC

KeyD

KeyE

KeyF

KeyG

KeyH

KeyI

KeyJ

KeyK

KeyL

KeyM

KeyN

KeyO

KeyP

KeyQ

KeyR

KeyS

KeyT

KeyU

KeyV

KeyW

KeyX

KeyY

KeyZ

KeyLeftBracket

KeyBackslash

KeyRightBracket

KeyGraveAccent

KeyWorld1

KeyWorld2

KeyEscape

KeyEnter

KeyTab

KeyBackspace

KeyInsert

KeyDelete

KeyRight

KeyLeft

KeyDown

KeyUp

KeyPageUp

KeyPageDown

KeyHome

KeyEnd

KeyCapsLock

KeyScrollLock

KeyNumLock

KeyPrintScreen

KeyPause

KeyF1

KeyF2

KeyF3

KeyF4

KeyF5

KeyF6

KeyF7

KeyF8

KeyF9

KeyF10

KeyF11

KeyF12

KeyF13

KeyF14

KeyF15

KeyF16

KeyF17

KeyF18

KeyF19

KeyF20

KeyF21

KeyF22

KeyF23

KeyF24

KeyF25

KeyPad0

KeyPad1

KeyPad2

KeyPad3

KeyPad4

KeyPad5

KeyPad6

KeyPad7

KeyPad8

KeyPad9

KeyPadDecimal

KeyPadDivide

KeyPadMultiply

KeyPadSubtract

KeyPadAdd

KeyPadEnter

KeyPadEqual

KeyLeftShift

KeyLeftControl

KeyLeftAlt

KeyLeftSuper

KeyRightShift

KeyRightControl

KeyRightAlt

KeyRightSuper

KeyMenu

Instances

Bounded Key

Enum Key

Eq Key

Ord Key

Read Key

Show Key

Typeable Key

charToKey :: Char -> Key

keyPress :: Keyboard f => Key -> f Bool

keyUp :: Keyboard f => Key -> f Bool

keyDown :: Keyboard f => Key -> f Bool

Mouse

class Functor f => Mouse f

Instances

Mouse UI

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

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

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

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

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

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

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

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

(Mouse m, Monad m) => Mouse (ReaderT r m)

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

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

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

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

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

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

mousePosition :: (Applicative f, Mouse f, Local f) => f Vec2

Returns the relative coordinate of the cursor.

mouseButtonL :: Mouse f => f Bool

mouseButtonR :: Mouse f => f Bool

mouseButtonM :: Mouse f => f Bool

mouseDownL :: Mouse f => f Bool

mouseDownR :: Mouse f => f Bool

mouseDownM :: Mouse f => f Bool

mouseUpL :: Mouse f => f Bool

mouseUpR :: Mouse f => f Bool

mouseUpM :: Mouse f => f Bool

IO

class FromFinalizer m

Instances

FromFinalizer UI

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

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

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

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

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

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

FromFinalizer (FinalizerT IO)

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

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

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

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

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

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

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

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

embedIO :: FromFinalizer m => IO a -> m a

liftIO :: MonadIO m => forall a. IO a -> m a

Lift a computation from the IO monad.

randomness :: (Random r, FromFinalizer m) => (r, r) -> m r

Get a given range of value.

Utility functions

unitV2 :: Floating a => a -> V2 a

An unit vector with the specified angle.

angleV2 :: RealFloat a => V2 a -> a

An angle of the given vector.

degrees :: Floating a => a -> a

Convert radians to degrees.

radians :: Floating a => a -> a

Convert degrees to radians.

Reexports

module Control.Monad

module Control.Applicative

module Control.Bool

module Data.Color

module Data.Color.Names

module Linear

Deprecated

fromBitmap :: Picture2D p => Bitmap -> p ()

Deprecated: Use bitmap instead

loadBitmapFromFile :: MonadIO m => FilePath -> m Bitmap

Deprecated: use readBitmap instead

colored :: Picture2D p => Color -> p a -> p a

Deprecated: Use color instead

keyChar :: Keyboard f => Char -> f Bool

keySpecial :: Keyboard f => Key -> f Bool

Deprecated: use keyPress instead