Call

System

type Time = Double

class Monad m => MonadObjective m where

Associated Types

data Address e m

type Residence m :: * -> *

Methods

(.-) :: Address e m -> e a -> m a infix 3

Send a message to the pointed one.

new :: Object e (Residence m) -> m (Address e m)

Add an object to the environment.

Instances

MonadObjective IO

MonadObjective m => MonadObjective (IdentityT m)

MonadObjective m => MonadObjective (ListT m)

MonadObjective m => MonadObjective (MaybeT m)

MonadObjective (System s)

MonadObjective m => MonadObjective (ContT r m)

MonadObjective m => MonadObjective (ReaderT r m)

MonadObjective m => MonadObjective (StateT s m)

MonadObjective m => MonadObjective (StateT s m)

MonadObjective m => MonadObjective (ExceptT er m)

(Monoid w, MonadObjective m) => MonadObjective (WriterT w m)

(Monoid w, MonadObjective m) => MonadObjective (WriterT w m)

(Monoid w, MonadObjective m) => MonadObjective (RWST r w s m)

(Monoid w, MonadObjective m) => MonadObjective (RWST r w s m)

(.&) :: (MonadObjective m, Stateful s e) => Address e m -> StateT s m a -> m a infix 3

data System s a

Instances

Monad (System s)

Functor (System s)

Applicative (System s)

MonadIO (System s)

MonadObjective (System s)

MonadSystem (System s)

data Address e (System s) = Control Int (MVar (Object e (System s)))

type Residence (System s) = System s

runSystem :: WindowMode -> BoundingBox2 -> (forall s. System s a) -> IO (Maybe a)

runSystemDefault :: (forall s. System s a) -> IO (Maybe a)

class (MonadIO m, MonadObjective m) => MonadSystem m where

Methods

linkMouse :: Mouse e => Address e m -> m ()

linkKeyboard :: Keyboard e => Address e m -> m ()

linkGraphic :: Graphic e => Address e m -> m ()

linkAudio :: Audio e => Address e m -> m ()

unlinkMouse :: Address e m -> m ()

unlinkKeyboard :: Address e m -> m ()

unlinkGraphic :: Address e m -> m ()

unlinkAudio :: Address e m -> m ()

stand :: m ()

wait :: Double -> m ()

Instances

MonadSystem (System s)

Component crafting

module Control.Object

class Mouse f where

Methods

cursorEvent :: Vec2 -> f ()

scrollEvent :: Vec2 -> f ()

mouseButtonEvent :: Int -> Bool -> f ()

Instances

Mouse MouseEvent

Mouse e => Mouse (AccessT s e)

class Keyboard f where

Methods

keyEvent :: Key -> Bool -> f ()

Instances

Keyboard KeyEvent

Keyboard e => Keyboard (AccessT s e)

class Graphic e where

Methods

pullGraphic :: Time -> e (Picture ())

Instances

Graphic PullGraphic

Graphic e => Graphic (AccessT s e)

class Audio e where

Methods

pullAudio :: Time -> Int -> e [V2 Float]

Instances

Audio PullAudio

Audio e => Audio (AccessT s e)

Free instances

data PullGraphic a

Constructors

PullGraphic !Time (Picture () -> a)

Instances

Functor PullGraphic

Graphic PullGraphic

data PullAudio a

Constructors

PullAudio !Time !Int ([V2 Float] -> a)

Instances

Functor PullAudio

Audio PullAudio

data KeyEvent a

Constructors

KeyEvent !Key !Bool a

Instances

Functor KeyEvent

Keyboard KeyEvent

data MouseEvent a

Constructors

CursorEvent !Vec2 a

ScrollEvent !Vec2 a

MouseButtonEvent !Int !Bool a

Instances

Mouse MouseEvent

Concrete types

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.

newtype Picture a

Constructors

Picture

Fields

runPicture :: forall m. (Applicative m, Monad m, Picture2D m) => m a

Instances

Monad Picture

Functor Picture

Applicative Picture

Picture2D Picture

Affine Picture

data Bitmap

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

Load an image file.

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 IO

Affine Picture

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

Given TextureStorage => Picture2D IO

Picture2D Picture

newtype Source a

Constructors

Source (Time -> a)

readWAVE :: MonadIO m => FilePath -> m (Source Stereo)

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

IO

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

Lift a computation from the IO monad.

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.

Reexports

module Control.Monad

module Control.Applicative

module Control.Bool

module Data.Color

module Data.Color.Names

module Linear