Copyright | (C) 2013 Fumiaki Kinoshita |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Fumiaki Kinoshita <fumiexcel@gmail.com> |
Stability | provisional |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
- class Functor p => Affine p where
- class Affine p => Picture2D p where
- class Affine p => Local p where
- getLocation :: p (Location a)
- data Location a = Location (Vec2 -> Vec2) (Vec2 -> Vec2)
- 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
- buttonDown :: ButtonState -> ButtonState
- buttonUp :: ButtonState -> ButtonState
- buttonStay :: ButtonState -> ButtonState
- isDown :: ButtonState -> Bool
- isUp :: ButtonState -> Bool
- isPressed :: ButtonState -> Bool
- class Functor f => Keyboard f where
- keyStates_ :: f (Map Key ButtonState)
- 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
- globalMousePosition :: f Vec2
- mouseButtons_ :: f (Map Int ButtonState)
- mouseInWindow :: f Bool
- mousePosition :: (Applicative f, Mouse f, Local f) => f Vec2
- 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
- fromFinalizer :: FinalizerT IO a -> m a
- embedIO :: FromFinalizer m => IO a -> m a
Documentation
class Functor p => Affine p where Source
rotateR :: Double -> p a -> p a infixr 5 Source
(radians)
rotateD :: Double -> p a -> p a infixr 5 Source
(degrees)
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 Source
The class of types that can be regarded as a kind of picture.
bitmap :: Bitmap -> p () Source
bitmapOnce :: Bitmap -> p () Source
Same as bitmap
, but it does not create a cache.
polygon :: [Vec2] -> p () Source
polygonOutline :: [Vec2] -> p () Source
circle :: Double -> p () Source
circleOutline :: Double -> p () Source
thickness :: Float -> p a -> p a infixr 5 Source
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 Source
getLocation :: p (Location a) Source
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) |
coerceLocation :: Location a -> Location b Source
flipLocation :: Location a -> Location b Source
buttonUp :: ButtonState -> ButtonState Source
isDown :: ButtonState -> Bool Source
isUp :: ButtonState -> Bool Source
isPressed :: ButtonState -> Bool Source
class Functor f => Keyboard f where Source
keyStates_ :: f (Map Key ButtonState) Source
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) |
class Functor f => Mouse f where Source
globalMousePosition :: f Vec2 Source
mouseButtons_ :: f (Map Int ButtonState) Source
mouseInWindow :: f Bool Source
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 Source
Returns the relative coordinate of the cursor.
mousePositionMay :: (Applicative f, Mouse f, Local f) => f (Maybe Vec2) Source
mouseButton :: Mouse f => Int -> f Bool Source
mouseButtonL :: Mouse f => f Bool Source
mouseButtonR :: Mouse f => f Bool Source
mouseButtonM :: Mouse f => f Bool Source
mouseDownL :: Mouse f => f Bool Source
mouseDownR :: Mouse f => f Bool Source
mouseDownM :: Mouse f => f Bool Source
class FromFinalizer m where Source
fromFinalizer :: FinalizerT IO a -> m a Source
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 Source
liftIO
variety for FromFinalizer
.