Safe Haskell	None
Language	Haskell2010

MiniLight.Light

Contents

Re-exports
Orphan instances

Synopsis

class HasLightEnv c where
- lightEnv :: Lens' c LightEnv
- _fontCache :: Lens' c FontMap
- _logger :: Lens' c LogQueue
- _renderer :: Lens' c (Maybe Renderer)
newtype LightT env m a = LightT {
- runLightT' :: ReaderT env m a
}
data LightEnv = LightEnv {
- renderer :: Maybe Renderer
- fontCache :: FontMap
- logger :: LogQueue
}
type MiniLight = LightT LightEnv IO
liftMiniLight :: (HasLightEnv env, MonadIO m) => MiniLight a -> LightT env m a
envLightT :: (env' -> env) -> LightT env m a -> LightT env' m a
mapLightT :: (m a -> n a) -> LightT env m a -> LightT env n a
class HasLoopEnv c where
- loopEnv :: Lens' c LoopEnv
- _events :: Lens' c (MVar [Event])
- _keyStates :: Lens' c (HashMap Scancode Int)
- _signalQueue :: Lens' c (IORef [Event])
data LoopEnv = LoopEnv {
- keyStates :: HashMap Scancode Int
- events :: MVar [Event]
- signalQueue :: IORef [Event]
}
data FontDescriptor = FontDescriptor {
- _descriptorFamilyName :: !Text
- _descriptorStyle :: !FontStyle
}
data FontStyle = FontStyle {
- _fontStyleBold :: !Bool
- _fontStyleItalic :: !Bool
}
loadFontCache :: MonadIO m => m FontMap
loadFont :: (HasLightEnv env, MonadIO m) => FontDescriptor -> Int -> LightT env m Font
withFont :: (HasLightEnv env, MonadIO m, MonadMask m) => FontDescriptor -> Int -> (Font -> LightT env m a) -> LightT env m a
class Monad m => MonadIO (m :: Type -> Type) where
- liftIO :: IO a -> m a

Documentation

class HasLightEnv c where Source #

Minimal complete definition

lightEnv

Methods

lightEnv :: Lens' c LightEnv Source #

_fontCache :: Lens' c FontMap Source #

_logger :: Lens' c LogQueue Source #

_renderer :: Lens' c (Maybe Renderer) Source #

Instances

Instances details

HasLightEnv LightEnv Source #
Instance details Defined in MiniLight.Light Methods lightEnv :: Lens' LightEnv LightEnv Source # _fontCache :: Lens' LightEnv FontMap Source # _logger :: Lens' LightEnv LogQueue Source # _renderer :: Lens' LightEnv (Maybe Renderer) Source #
HasLightEnv LoopState Source #
Instance details Defined in MiniLight Methods lightEnv :: Lens' LoopState LightEnv Source # _fontCache :: Lens' LoopState FontMap Source # _logger :: Lens' LoopState LogQueue Source # _renderer :: Lens' LoopState (Maybe Renderer) Source #

newtype LightT env m a Source #

Constructors

LightT
Fields runLightT' :: ReaderT env m a

Instances

Instances details

Rendering Figure MiniLight Source #
Instance details Defined in MiniLight.Figure Methods translate :: V2 Int -> Figure -> Figure Source # clip :: Rectangle Int -> Figure -> Figure Source # rotate :: Double -> Figure -> Figure Source # text :: Font -> V4 Word8 -> Text -> MiniLight Figure Source # picture :: FilePath -> MiniLight Figure Source # fromTexture :: Texture -> MiniLight Figure Source # rectangleOutline :: V4 Word8 -> V2 Int -> MiniLight Figure Source # rectangleFilled :: V4 Word8 -> V2 Int -> MiniLight Figure Source # triangleOutline :: V4 Word8 -> V2 Int -> MiniLight Figure Source #
Monad m => MonadReader env (LightT env m) Source #
Instance details Defined in MiniLight.Light Methods ask :: LightT env m env # local :: (env -> env) -> LightT env m a -> LightT env m a # reader :: (env -> a) -> LightT env m a #
Monad m => Monad (LightT env m) Source #
Instance details Defined in MiniLight.Light Methods (>>=) :: LightT env m a -> (a -> LightT env m b) -> LightT env m b # (>>) :: LightT env m a -> LightT env m b -> LightT env m b # return :: a -> LightT env m a #
Functor m => Functor (LightT env m) Source #
Instance details Defined in MiniLight.Light Methods fmap :: (a -> b) -> LightT env m a -> LightT env m b # (<$) :: a -> LightT env m b -> LightT env m a #
Applicative m => Applicative (LightT env m) Source #
Instance details Defined in MiniLight.Light Methods pure :: a -> LightT env m a # (<>) :: LightT env m (a -> b) -> LightT env m a -> LightT env m b # liftA2 :: (a -> b -> c) -> LightT env m a -> LightT env m b -> LightT env m c # (>) :: LightT env m a -> LightT env m b -> LightT env m b # (<*) :: LightT env m a -> LightT env m b -> LightT env m a #
MonadIO m => MonadIO (LightT env m) Source #
Instance details Defined in MiniLight.Light Methods liftIO :: IO a -> LightT env m a #
MonadThrow m => MonadThrow (LightT env m) Source #
Instance details Defined in MiniLight.Light Methods throwM :: Exception e => e -> LightT env m a #
MonadCatch m => MonadCatch (LightT env m) Source #
Instance details Defined in MiniLight.Light Methods catch :: Exception e => LightT env m a -> (e -> LightT env m a) -> LightT env m a #
MonadMask m => MonadMask (LightT env m) Source #
Instance details Defined in MiniLight.Light Methods mask :: ((forall a. LightT env m a -> LightT env m a) -> LightT env m b) -> LightT env m b # uninterruptibleMask :: ((forall a. LightT env m a -> LightT env m a) -> LightT env m b) -> LightT env m b # generalBracket :: LightT env m a -> (a -> ExitCase b -> LightT env m c) -> (a -> LightT env m b) -> LightT env m (b, c) #
(Monad m, HasLightEnv env) => MonadLogger (LightT env m) Source #
Instance details Defined in MiniLight.Light Methods getLogger :: LightT env m LogQueue Source # debug :: (MonadIO (LightT env m), ToBuilder s) => s -> LightT env m () Source # info :: (MonadIO (LightT env m), ToBuilder s) => s -> LightT env m () Source # warn :: (MonadIO (LightT env m), ToBuilder s) => s -> LightT env m () Source # err :: (MonadIO (LightT env m), ToBuilder s) => s -> LightT env m () Source #

data LightEnv Source #

The environment for LightT monad.

Constructors

LightEnv
Fields renderer :: Maybe Renderer Renderer for SDL2 fontCache :: FontMap System font information logger :: LogQueue Logger connected stdout

Instances

Instances details

HasLightEnv LightEnv Source #
Instance details Defined in MiniLight.Light Methods lightEnv :: Lens' LightEnv LightEnv Source # _fontCache :: Lens' LightEnv FontMap Source # _logger :: Lens' LightEnv LogQueue Source # _renderer :: Lens' LightEnv (Maybe Renderer) Source #
Rendering Figure MiniLight Source #
Instance details Defined in MiniLight.Figure Methods translate :: V2 Int -> Figure -> Figure Source # clip :: Rectangle Int -> Figure -> Figure Source # rotate :: Double -> Figure -> Figure Source # text :: Font -> V4 Word8 -> Text -> MiniLight Figure Source # picture :: FilePath -> MiniLight Figure Source # fromTexture :: Texture -> MiniLight Figure Source # rectangleOutline :: V4 Word8 -> V2 Int -> MiniLight Figure Source # rectangleFilled :: V4 Word8 -> V2 Int -> MiniLight Figure Source # triangleOutline :: V4 Word8 -> V2 Int -> MiniLight Figure Source #

type MiniLight = LightT LightEnv IO Source #

liftMiniLight :: (HasLightEnv env, MonadIO m) => MiniLight a -> LightT env m a Source #

envLightT :: (env' -> env) -> LightT env m a -> LightT env' m a Source #

mapLightT :: (m a -> n a) -> LightT env m a -> LightT env n a Source #

class HasLoopEnv c where Source #

Minimal complete definition

loopEnv

Methods

loopEnv :: Lens' c LoopEnv Source #

_events :: Lens' c (MVar [Event]) Source #

_keyStates :: Lens' c (HashMap Scancode Int) Source #

_signalQueue :: Lens' c (IORef [Event]) Source #

Instances

Instances details

HasLoopEnv LoopEnv Source #
Instance details Defined in MiniLight.Light Methods loopEnv :: Lens' LoopEnv LoopEnv Source # _events :: Lens' LoopEnv (MVar [Event]) Source # _keyStates :: Lens' LoopEnv (HashMap Scancode Int) Source # _signalQueue :: Lens' LoopEnv (IORef [Event]) Source #
HasLoopEnv LoopState Source #
Instance details Defined in MiniLight Methods loopEnv :: Lens' LoopState LoopEnv Source # _events :: Lens' LoopState (MVar [Event]) Source # _keyStates :: Lens' LoopState (HashMap Scancode Int) Source # _signalQueue :: Lens' LoopState (IORef [Event]) Source #

data LoopEnv Source #

Constructors

LoopEnv
Fields keyStates :: HashMap Scancode Int Current state of keys, represents how many frames the key down has been down events :: MVar [Event] Event queue signalQueue :: IORef [Event] Signals emitted from components are stored in the queue and poll in the next frame.

Instances

Instances details

HasLoopEnv LoopEnv Source #
Instance details Defined in MiniLight.Light Methods loopEnv :: Lens' LoopEnv LoopEnv Source # _events :: Lens' LoopEnv (MVar [Event]) Source # _keyStates :: Lens' LoopEnv (HashMap Scancode Int) Source # _signalQueue :: Lens' LoopEnv (IORef [Event]) Source #

data FontDescriptor #

A font descriptor is a key used to find a font in a font cache.

Constructors

FontDescriptor
Fields _descriptorFamilyName :: !Text The family name of the font _descriptorStyle :: !FontStyle The desired style

Instances

Instances details

Eq FontDescriptor
Instance details Defined in Graphics.Text.TrueType.FontFolders Methods (==) :: FontDescriptor -> FontDescriptor -> Bool # (/=) :: FontDescriptor -> FontDescriptor -> Bool #
Ord FontDescriptor
Instance details Defined in Graphics.Text.TrueType.FontFolders Methods compare :: FontDescriptor -> FontDescriptor -> Ordering # (<) :: FontDescriptor -> FontDescriptor -> Bool # (<=) :: FontDescriptor -> FontDescriptor -> Bool # (>) :: FontDescriptor -> FontDescriptor -> Bool # (>=) :: FontDescriptor -> FontDescriptor -> Bool # max :: FontDescriptor -> FontDescriptor -> FontDescriptor # min :: FontDescriptor -> FontDescriptor -> FontDescriptor #
Show FontDescriptor
Instance details Defined in Graphics.Text.TrueType.FontFolders Methods showsPrec :: Int -> FontDescriptor -> ShowS # show :: FontDescriptor -> String # showList :: [FontDescriptor] -> ShowS #
Hashable FontDescriptor Source #
Instance details Defined in MiniLight.Light Methods hashWithSalt :: Int -> FontDescriptor -> Int # hash :: FontDescriptor -> Int #
Binary FontDescriptor
Instance details Defined in Graphics.Text.TrueType.FontFolders Methods put :: FontDescriptor -> Put # get :: Get FontDescriptor # putList :: [FontDescriptor] -> Put #

data FontStyle #

Describe the basic stylistic properties of a font.

Constructors

FontStyle
Fields _fontStyleBold :: !Bool If the font is bold. _fontStyleItalic :: !Bool If the font is italic.

Instances

Instances details

Eq FontStyle
Instance details Defined in Graphics.Text.TrueType.Header Methods (==) :: FontStyle -> FontStyle -> Bool # (/=) :: FontStyle -> FontStyle -> Bool #
Ord FontStyle
Instance details Defined in Graphics.Text.TrueType.Header Methods compare :: FontStyle -> FontStyle -> Ordering # (<) :: FontStyle -> FontStyle -> Bool # (<=) :: FontStyle -> FontStyle -> Bool # (>) :: FontStyle -> FontStyle -> Bool # (>=) :: FontStyle -> FontStyle -> Bool # max :: FontStyle -> FontStyle -> FontStyle # min :: FontStyle -> FontStyle -> FontStyle #
Show FontStyle
Instance details Defined in Graphics.Text.TrueType.Header Methods showsPrec :: Int -> FontStyle -> ShowS # show :: FontStyle -> String # showList :: [FontStyle] -> ShowS #
Binary FontStyle
Instance details Defined in Graphics.Text.TrueType.Header Methods put :: FontStyle -> Put # get :: Get FontStyle # putList :: [FontStyle] -> Put #

loadFontCache :: MonadIO m => m FontMap Source #

loadFont :: (HasLightEnv env, MonadIO m) => FontDescriptor -> Int -> LightT env m Font Source #

withFont :: (HasLightEnv env, MonadIO m, MonadMask m) => FontDescriptor -> Int -> (Font -> LightT env m a) -> LightT env m a Source #

Re-exports

class Monad m => MonadIO (m :: Type -> Type) where #

Monads in which IO computations may be embedded. Any monad built by applying a sequence of monad transformers to the IO monad will be an instance of this class.

Instances should satisfy the following laws, which state that liftIO is a transformer of monads:

```
liftIO . return = return
```

liftIO (m >>= f) = liftIO m >>= (liftIO . f)

Methods

liftIO :: IO a -> m a #

Lift a computation from the IO monad.

Instances

Instances details

MonadIO IO	Since: base-4.9.0.0
Instance details Defined in Control.Monad.IO.Class Methods liftIO :: IO a -> IO a #
MonadIO Q
Instance details Defined in Language.Haskell.TH.Syntax Methods liftIO :: IO a -> Q a #
MonadIO Sh
Instance details Defined in Shelly.Base Methods liftIO :: IO a -> Sh a #
MonadIO m => MonadIO (MaybeT m)
Instance details Defined in Control.Monad.Trans.Maybe Methods liftIO :: IO a -> MaybeT m a #
MonadIO m => MonadIO (ResourceT m)
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods liftIO :: IO a -> ResourceT m a #
MonadIO m => MonadIO (ListT m)
Instance details Defined in Control.Monad.Trans.List Methods liftIO :: IO a -> ListT m a #
MonadIO m => MonadIO (IdentityT m)
Instance details Defined in Control.Monad.Trans.Identity Methods liftIO :: IO a -> IdentityT m a #
(Monoid w, MonadIO m) => MonadIO (WriterT w m)
Instance details Defined in Control.Monad.Trans.Writer.Strict Methods liftIO :: IO a -> WriterT w m a #
(Monoid w, MonadIO m) => MonadIO (WriterT w m)
Instance details Defined in Control.Monad.Trans.Writer.Lazy Methods liftIO :: IO a -> WriterT w m a #
MonadIO m => MonadIO (StateT s m)
Instance details Defined in Control.Monad.Trans.State.Strict Methods liftIO :: IO a -> StateT s m a #
MonadIO m => MonadIO (StateT s m)
Instance details Defined in Control.Monad.Trans.State.Lazy Methods liftIO :: IO a -> StateT s m a #
MonadIO m => MonadIO (ReaderT r m)
Instance details Defined in Control.Monad.Trans.Reader Methods liftIO :: IO a -> ReaderT r m a #
MonadIO m => MonadIO (ExceptT e m)
Instance details Defined in Control.Monad.Trans.Except Methods liftIO :: IO a -> ExceptT e m a #
(Functor f, MonadIO m) => MonadIO (FreeT f m)
Instance details Defined in Control.Monad.Trans.Free Methods liftIO :: IO a -> FreeT f m a #
(Error e, MonadIO m) => MonadIO (ErrorT e m)
Instance details Defined in Control.Monad.Trans.Error Methods liftIO :: IO a -> ErrorT e m a #
(Monoid w, Functor m, MonadIO m) => MonadIO (AccumT w m)
Instance details Defined in Control.Monad.Trans.Accum Methods liftIO :: IO a -> AccumT w m a #
MonadIO m => MonadIO (WriterT w m)
Instance details Defined in Control.Monad.Trans.Writer.CPS Methods liftIO :: IO a -> WriterT w m a #
MonadIO m => MonadIO (SelectT r m)
Instance details Defined in Control.Monad.Trans.Select Methods liftIO :: IO a -> SelectT r m a #
MonadIO m => MonadIO (LightT env m) Source #
Instance details Defined in MiniLight.Light Methods liftIO :: IO a -> LightT env m a #
MonadIO m => MonadIO (ConduitT i o m)
Instance details Defined in Data.Conduit.Internal.Conduit Methods liftIO :: IO a -> ConduitT i o m a #
MonadIO m => MonadIO (ContT r m)
Instance details Defined in Control.Monad.Trans.Cont Methods liftIO :: IO a -> ContT r m a #
MonadIO m => MonadIO (ParsecT s u m)
Instance details Defined in Text.Parsec.Prim Methods liftIO :: IO a -> ParsecT s u m a #
(Monoid w, MonadIO m) => MonadIO (RWST r w s m)
Instance details Defined in Control.Monad.Trans.RWS.Strict Methods liftIO :: IO a -> RWST r w s m a #
(Monoid w, MonadIO m) => MonadIO (RWST r w s m)
Instance details Defined in Control.Monad.Trans.RWS.Lazy Methods liftIO :: IO a -> RWST r w s m a #
MonadIO m => MonadIO (RWST r w s m)
Instance details Defined in Control.Monad.Trans.RWS.CPS Methods liftIO :: IO a -> RWST r w s m a #
MonadIO m => MonadIO (Pipe l i o u m)
Instance details Defined in Data.Conduit.Internal.Pipe Methods liftIO :: IO a -> Pipe l i o u m a #

Orphan instances

Hashable FontDescriptor Source #
Instance details Methods hashWithSalt :: Int -> FontDescriptor -> Int # hash :: FontDescriptor -> Int #