FreeGame.Class

Documentation

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 => 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 Float -> 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)

class Affine p => Local p where

Methods

getLocation :: p (Location a)

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)

data Location a

Constructors

Location (Vec2 -> Vec2) (Vec2 -> Vec2)

Instances

Functor Location

Affine Location

coerceLocation :: Location a -> Location b

flipLocation :: Location a -> Location b

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

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

rot2 :: Floating a => a -> V2 a -> V2 a

data ButtonState

Constructors

Down

Press

Up

Release

ChatterDown

ChatterUp

buttonDown :: ButtonState -> ButtonState

buttonUp :: ButtonState -> ButtonState

buttonStay :: ButtonState -> ButtonState

isDown :: ButtonState -> Bool

isUp :: ButtonState -> Bool

isPressed :: ButtonState -> Bool

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)

keyStates :: Keyboard f => f (Map Key Bool)

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

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

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

class Functor f => Mouse f where

Methods

globalMousePosition :: f Vec2

mouseButtons_ :: f (Map Int ButtonState)

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)

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

Returns the relative coordinate of the cursor.

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

mouseButtons :: Mouse f => f (Map Int Bool)

mouseButton :: Mouse f => Int -> f Bool

mouseDown :: Mouse f => Int -> f Bool

mouseUp :: Mouse f => Int -> f Bool

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

class FromFinalizer m where

Methods

fromFinalizer :: FinalizerT IO a -> m a

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.