Call.System

The system

data System s a

Instances

Monad (System s)

Functor (System s)

Applicative (System s)

Tower (System s)

MonadIO (System s)

MonadObjective (System s)

data Instance e m (System s) = InstanceS (MVar (Object e m))

type Floors (System s) = (:>) (* -> *) IO (Empty (* -> *))

runSystem :: WindowMode -> Box V2 Float -> (forall s. System s a) -> IO (Maybe a)

forkSystem :: System s () -> System s ThreadId

Time

stand :: System s ()

wait :: Time -> System s ()

getTime :: System s Time

setFPS :: Float -> System s ()

Raw input

keyPress :: Key -> System s Bool

mousePosition :: System s (V2 Float)

mouseButton :: Int -> System s Bool

enableCursor :: System s ()

hideCursor :: System s ()

disableCursor :: System s ()

getGamepads :: System s [Gamepad]

gamepadButtons :: Gamepad -> System s [Bool]

gamepadAxes :: Gamepad -> System s [Float]

Component

linkGraphic :: (Time -> System s Sight) -> System s ()

linkPicture :: (Time -> System s Picture) -> System s ()

linkAudio :: (Time -> Int -> System s (Vector Stereo)) -> System s ()

linkKeyboard :: (Chatter Key -> System s ()) -> System s ()

linkMouse :: (MouseEvent -> System s ()) -> System s ()

linkGamepad :: (GamepadEvent -> System s ()) -> System s ()

Others

setTitle :: String -> System s ()

clearColor :: RGBA -> System s ()

getBoundingBox :: System s (Box V2 Float)

setBoundingBox :: Box V2 Float -> System s ()

takeScreenshot :: System s Bitmap