FreeGame

Game

type Game = IterT Frame

runGame :: WindowMode -> BoundingBox2 -> 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)

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

Generalize Game to any monad based on FreeGame.

data WindowMode

Constructors

Windowed

Resizable

FullScreen

Instances

Eq WindowMode

Ord WindowMode

Read WindowMode

Show WindowMode

type BoundingBox2 = Box V2 Double

data Box f a :: (* -> *) -> * -> *

The type of bounding box for arbitrary vector f. The functions for this type assume that f is a "zipping" Applicative.

Constructors

Box (f a) (f a)

Instances

Monad f => Monad (Box f)

Functor f => Functor (Box f)

Applicative f => Applicative (Box f)

Foldable f => Foldable (Box f)

Traversable f => Traversable (Box f)

Eq (f a) => Eq (Box f a)

Ord (f a) => Ord (Box f a)

Read (f a) => Read (Box f a)

Show (f a) => Show (Box f a)

isInside :: (Applicative f, Foldable f, Ord a) => f a -> Box f a -> Bool

check whether the point is in the box.

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

Adds an extra layer to a free monad value.

In particular, for the iterative monad Iter, this makes the computation require one more step, without changing its final result.

runIter (delay ma) == Right ma

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

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

Generalize Frame to any monad based on FreeGame.

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 :: Double -> 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) => FreeGame (ContT r m)

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

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

(FreeGame m, Monad m) => FreeGame (ExceptT e 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

Minimal complete definition

scale, translate

Methods

rotateR :: Double -> p a -> p a infixr 5

(radians)

rotateD :: Double -> p a -> p a infixr 5

(degrees)

scale :: Vec2 -> p a -> p a infixr 5

translate :: Vec2 -> p a -> p a infixr 5

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) => 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) => Affine (ExceptT e 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

Minimal complete definition

getLocation

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) => 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) => Local (ExceptT e 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 infixr 5

color :: Color -> p a -> p a infixr 5

blendMode :: BlendMode -> p a -> p a infixr 5

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) => 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) => Picture2D (ExceptT e 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

data Bitmap

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.

clipBitmap :: Bitmap -> Box V2 Int -> Bitmap

loadBitmaps :: FilePath -> Q [Dec]

Load and define all pictures in the specified directory. On base >= 4.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 FIXME: This may cause name duplication if there are multiple non-alphanumeric file names.

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) => 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) => Keyboard (ExceptT e 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 where

Minimal complete definition

globalMousePosition, mouseButtons_, mouseInWindow, mouseScroll

Methods

mouseInWindow :: f Bool

mouseScroll :: f Vec2

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) => 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) => Mouse (ExceptT e 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)

mousePositionMay :: (Applicative f, Mouse f, Local f) => f (Maybe Vec2)

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

Minimal complete definition

fromFinalizer

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) => FromFinalizer (ContT r m)

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

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

(FromFinalizer m, Monad m) => FromFinalizer (ExceptT e 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　variety for FromFinalizer.

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

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

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

Deprecated: use keyPress instead