Safe Haskell	None
Language	Haskell2010

Text.Localize.State

Contents

Data types
Functions

Description

This module offers a simple implementation of Localized class via StateT transformer. This implementation is usable if you have nothing against adding yet another transformer to your already complicated monadic stack. Otherwise, it may be simpler for you to add necessary fields to one of StateTs or ReaderTs in your stack.

Synopsis

data LocState = LocState {
- lsTranslations :: Translations
- lsLanguage :: LanguageId
- lsContext :: Maybe Context
}
newtype LocalizeT m a = LocalizeT {
- unLocalizeT :: StateT LocState m a
}
runLocalizeT :: Monad m => LocalizeT m a -> LocState -> m a
setLanguage :: Monad m => LanguageId -> LocalizeT m ()
withLanguage :: Monad m => LanguageId -> LocalizeT m a -> LocalizeT m a
setContext :: Monad m => Maybe Context -> LocalizeT m ()
withContext :: Monad m => Maybe Context -> LocalizeT m a -> LocalizeT m a

Data types

data LocState Source #

Localization state

Constructors

LocState
Fields lsTranslations :: Translations lsLanguage :: LanguageId lsContext :: Maybe Context

Instances

Instances details

Show LocState Source #
Instance details Defined in Text.Localize.State Methods showsPrec :: Int -> LocState -> ShowS # show :: LocState -> String # showList :: [LocState] -> ShowS #
Monad m => MonadState LocState (LocalizeT m) Source #
Instance details Defined in Text.Localize.State Methods get :: LocalizeT m LocState # put :: LocState -> LocalizeT m () # state :: (LocState -> (a, LocState)) -> LocalizeT m a #

newtype LocalizeT m a Source #

Localization monad transformer

Constructors

LocalizeT
Fields unLocalizeT :: StateT LocState m a

Instances

Instances details

Monad m => MonadState LocState (LocalizeT m) Source #
Instance details Defined in Text.Localize.State Methods get :: LocalizeT m LocState # put :: LocState -> LocalizeT m () # state :: (LocState -> (a, LocState)) -> LocalizeT m a #
Monad m => Monad (LocalizeT m) Source #
Instance details Defined in Text.Localize.State Methods (>>=) :: LocalizeT m a -> (a -> LocalizeT m b) -> LocalizeT m b # (>>) :: LocalizeT m a -> LocalizeT m b -> LocalizeT m b # return :: a -> LocalizeT m a #
Functor m => Functor (LocalizeT m) Source #
Instance details Defined in Text.Localize.State Methods fmap :: (a -> b) -> LocalizeT m a -> LocalizeT m b # (<$) :: a -> LocalizeT m b -> LocalizeT m a #
Monad m => Applicative (LocalizeT m) Source #
Instance details Defined in Text.Localize.State Methods pure :: a -> LocalizeT m a # (<>) :: LocalizeT m (a -> b) -> LocalizeT m a -> LocalizeT m b # liftA2 :: (a -> b -> c) -> LocalizeT m a -> LocalizeT m b -> LocalizeT m c # (>) :: LocalizeT m a -> LocalizeT m b -> LocalizeT m b # (<*) :: LocalizeT m a -> LocalizeT m b -> LocalizeT m a #
MonadIO m => MonadIO (LocalizeT m) Source #
Instance details Defined in Text.Localize.State Methods liftIO :: IO a -> LocalizeT m a #
Monad m => Localized (LocalizeT m) Source #
Instance details Defined in Text.Localize.State Methods getLanguage :: LocalizeT m LanguageId Source # getTranslations :: LocalizeT m Translations Source # getContext :: LocalizeT m (Maybe Context) Source #

Functions

runLocalizeT :: Monad m => LocalizeT m a -> LocState -> m a Source #

Run a computation inside LocalizeT.

setLanguage :: Monad m => LanguageId -> LocalizeT m () Source #

Set current language

withLanguage :: Monad m => LanguageId -> LocalizeT m a -> LocalizeT m a Source #

Execute some actions with specified language.

setContext :: Monad m => Maybe Context -> LocalizeT m () Source #

Set current context.

withContext :: Monad m => Maybe Context -> LocalizeT m a -> LocalizeT m a Source #

Execute some actions within specific context.