MiniLight.Light

Documentation

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

MonadIO IO

Since: base-4.9.0.0

Defined in Control.Monad.IO.Class

Methods

liftIO :: IO a -> IO a

MonadIO Q

Defined in Language.Haskell.TH.Syntax

Methods

liftIO :: IO a -> Q a

MonadIO m => MonadIO (ListT m)

Defined in Control.Monad.Trans.List

Methods

liftIO :: IO a -> ListT m a

MonadIO m => MonadIO (MaybeT m)

Defined in Control.Monad.Trans.Maybe

Methods

liftIO :: IO a -> MaybeT m a

MonadIO m => MonadIO (ResourceT m)

Defined in Control.Monad.Trans.Resource.Internal

Methods

liftIO :: IO a -> ResourceT m a

MonadIO m => MonadIO (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

liftIO :: IO a -> IdentityT m a

(Error e, MonadIO m) => MonadIO (ErrorT e m)

Defined in Control.Monad.Trans.Error

Methods

liftIO :: IO a -> ErrorT e m a

MonadIO m => MonadIO (ExceptT e m)

Defined in Control.Monad.Trans.Except

Methods

liftIO :: IO a -> ExceptT e m a

MonadIO m => MonadIO (ReaderT r m)

Defined in Control.Monad.Trans.Reader

Methods

liftIO :: IO a -> ReaderT r m a

MonadIO m => MonadIO (StateT s m)

Defined in Control.Monad.Trans.State.Lazy

Methods

liftIO :: IO a -> StateT s m a

MonadIO m => MonadIO (StateT s m)

Defined in Control.Monad.Trans.State.Strict

Methods

liftIO :: IO a -> StateT s m a

(Monoid w, MonadIO m) => MonadIO (WriterT w m)

Defined in Control.Monad.Trans.Writer.Lazy

Methods

liftIO :: IO a -> WriterT w m a

(Monoid w, MonadIO m) => MonadIO (WriterT w m)

Defined in Control.Monad.Trans.Writer.Strict

Methods

liftIO :: IO a -> WriterT w m a

(Monoid w, Functor m, MonadIO m) => MonadIO (AccumT w m)

Defined in Control.Monad.Trans.Accum

Methods

liftIO :: IO a -> AccumT w m a

MonadIO m => MonadIO (SelectT r m)

Defined in Control.Monad.Trans.Select

Methods

liftIO :: IO a -> SelectT r m a

(Functor f, MonadIO m) => MonadIO (FreeT f m)

Defined in Control.Monad.Trans.Free

Methods

liftIO :: IO a -> FreeT f m a

MonadIO m => MonadIO (LightT env m)

Defined in MiniLight.Light

Methods

liftIO :: IO a -> LightT env m a

MonadIO m => MonadIO (ContT r m)

Defined in Control.Monad.Trans.Cont

Methods

liftIO :: IO a -> ContT r m a

MonadIO m => MonadIO (ParsecT s u m)

Defined in Text.Parsec.Prim

Methods

liftIO :: IO a -> ParsecT s u m a

MonadIO m => MonadIO (ConduitT i o m)

Defined in Data.Conduit.Internal.Conduit

Methods

liftIO :: IO a -> ConduitT i o m a

(Monoid w, MonadIO m) => MonadIO (RWST r w s m)

Defined in Control.Monad.Trans.RWS.Lazy

Methods

liftIO :: IO a -> RWST r w s m a

(Monoid w, MonadIO m) => MonadIO (RWST r w s m)

Defined in Control.Monad.Trans.RWS.Strict

Methods

liftIO :: IO a -> RWST r w s m a

MonadIO m => MonadIO (Pipe l i o u m)

Defined in Data.Conduit.Internal.Pipe

Methods

liftIO :: IO a -> Pipe l i o u m a

class HasLightEnv env where

Methods

rendererL :: Lens' env Renderer

fontCacheL :: Lens' env FontMap

Instances

HasLightEnv LightEnv

Defined in MiniLight.Light

Methods

rendererL :: Lens' LightEnv Renderer

fontCacheL :: Lens' LightEnv FontMap

newtype LightT env m a

Constructors

LightT

Fields

• runLightT' :: ReaderT env m a

Instances

Rendering Figure MiniLight

Defined in MiniLight.Figure

Methods

translate :: V2 Int -> Figure -> Figure

clip :: Rectangle Int -> Figure -> Figure

rotate :: Double -> Figure -> Figure

text :: Font -> V4 Word8 -> Text -> MiniLight Figure

picture :: FilePath -> MiniLight Figure

fromTexture :: Texture -> MiniLight Figure

rectangleOutline :: V4 Word8 -> V2 Int -> MiniLight Figure

rectangleFilled :: V4 Word8 -> V2 Int -> MiniLight Figure

triangleOutline :: V4 Word8 -> V2 Int -> MiniLight Figure

Monad m => MonadReader env (LightT env m)

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)

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

fail :: String -> LightT env m a

Functor m => Functor (LightT env m)

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)

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)

Defined in MiniLight.Light

Methods

liftIO :: IO a -> LightT env m a

MonadCatch m => MonadCatch (LightT env m)

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)

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)

MonadThrow m => MonadThrow (LightT env m)

Defined in MiniLight.Light

Methods

throwM :: Exception e => e -> LightT env m a

data LightEnv

Constructors

LightEnv

Fields

• renderer :: Renderer
• fontCache :: FontMap

Instances

HasLightEnv LightEnv

Defined in MiniLight.Light

Methods

rendererL :: Lens' LightEnv Renderer

fontCacheL :: Lens' LightEnv FontMap

Rendering Figure MiniLight

Defined in MiniLight.Figure

Methods

translate :: V2 Int -> Figure -> Figure

clip :: Rectangle Int -> Figure -> Figure

rotate :: Double -> Figure -> Figure

text :: Font -> V4 Word8 -> Text -> MiniLight Figure

picture :: FilePath -> MiniLight Figure

fromTexture :: Texture -> MiniLight Figure

rectangleOutline :: V4 Word8 -> V2 Int -> MiniLight Figure

rectangleFilled :: V4 Word8 -> V2 Int -> MiniLight Figure

triangleOutline :: V4 Word8 -> V2 Int -> MiniLight Figure

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

data FontDescriptor

Constructors

FontDescriptor

Fields

• _descriptorFamilyName :: !Text
• _descriptorStyle :: !FontStyle

Instances

Eq FontDescriptor

Defined in Graphics.Text.TrueType.FontFolders

Methods

(==) :: FontDescriptor -> FontDescriptor -> Bool

(/=) :: FontDescriptor -> FontDescriptor -> Bool

Ord FontDescriptor

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

Defined in Graphics.Text.TrueType.FontFolders

Methods

showsPrec :: Int -> FontDescriptor -> ShowS

show :: FontDescriptor -> String

showList :: [FontDescriptor] -> ShowS

Binary FontDescriptor

Defined in Graphics.Text.TrueType.FontFolders

Methods

put :: FontDescriptor -> Put

get :: Get FontDescriptor

putList :: [FontDescriptor] -> Put

Hashable FontDescriptor

Defined in MiniLight.Light

Methods

hashWithSalt :: Int -> FontDescriptor -> Int

hash :: FontDescriptor -> Int

data FontStyle

Constructors

FontStyle

Fields

• _fontStyleBold :: !Bool
• _fontStyleItalic :: !Bool

Instances

Eq FontStyle

Defined in Graphics.Text.TrueType.Header

Methods

(==) :: FontStyle -> FontStyle -> Bool

(/=) :: FontStyle -> FontStyle -> Bool

Ord FontStyle

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

Defined in Graphics.Text.TrueType.Header

Methods

showsPrec :: Int -> FontStyle -> ShowS

show :: FontStyle -> String

showList :: [FontStyle] -> ShowS

Binary FontStyle

Defined in Graphics.Text.TrueType.Header

Methods

put :: FontStyle -> Put

get :: Get FontStyle

putList :: [FontStyle] -> Put

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

Orphan instances

Hashable FontDescriptor

Methods

hashWithSalt :: Int -> FontDescriptor -> Int

hash :: FontDescriptor -> Int