Portability | non-portable |
---|---|
Stability | provisional |
Maintainer | Fumiaki Kinoshita <fumiexcel@gmail.com> |
Safe Haskell | None |
- 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 whereSource
rotateR :: Double -> p a -> p aSource
(radians)
rotateD :: Double -> p a -> p aSource
(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, Error e) => Affine (ErrorT e 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, 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 whereSource
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 aSource
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, Error e) => Picture2D (ErrorT e 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, 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 whereSource
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, Error e) => Local (ErrorT e 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, 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 bSource
flipLocation :: Location a -> Location bSource
isDown :: ButtonState -> BoolSource
isUp :: ButtonState -> BoolSource
isPressed :: ButtonState -> BoolSource
class Functor f => Keyboard f whereSource
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, Error e) => Keyboard (ErrorT e 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, 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 whereSource
globalMousePosition :: f Vec2Source
mouseButtons_ :: f (Map Int ButtonState)Source
mouseInWindow :: f BoolSource
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, Error e) => Mouse (ErrorT e 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, 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 Vec2Source
Returns the relative coordinate of the cursor.
mousePositionMay :: (Applicative f, Mouse f, Local f) => f (Maybe Vec2)Source
mouseButton :: Mouse f => Int -> f BoolSource
mouseButtonL :: Mouse f => f BoolSource
mouseButtonR :: Mouse f => f BoolSource
mouseButtonM :: Mouse f => f BoolSource
mouseDownL :: Mouse f => f BoolSource
mouseDownR :: Mouse f => f BoolSource
mouseDownM :: Mouse f => f BoolSource
class FromFinalizer m whereSource
fromFinalizer :: FinalizerT IO a -> m aSource
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, Error e) => FromFinalizer (ErrorT e m) | |
(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, 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 aSource
liftIO
variety for FromFinalizer
.