Text.Localize.State

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.

Data types

data LocState

Localization state

Constructors

LocState

Fields

• lsTranslations :: Translations
• lsLanguage :: LanguageId
• lsContext :: Maybe Context

Instances

Show LocState

Methods

showsPrec :: Int -> LocState -> ShowS

show :: LocState -> String

showList :: [LocState] -> ShowS

Monad m => MonadState LocState (LocalizeT m)

Methods

get :: LocalizeT m LocState

put :: LocState -> LocalizeT m ()

state :: (LocState -> (a, LocState)) -> LocalizeT m a

newtype LocalizeT m a

Localization monad transformer

Constructors

LocalizeT

Fields

• unLocalizeT :: StateT LocState m a

Instances

Monad m => MonadState LocState (LocalizeT m)

Methods

get :: LocalizeT m LocState

put :: LocState -> LocalizeT m ()

state :: (LocState -> (a, LocState)) -> LocalizeT m a

Monad m => Monad (LocalizeT m)

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

fail :: String -> LocalizeT m a

Functor m => Functor (LocalizeT m)

Methods

fmap :: (a -> b) -> LocalizeT m a -> LocalizeT m b

(<$) :: a -> LocalizeT m b -> LocalizeT m a

Monad m => Applicative (LocalizeT m)

Methods

pure :: a -> LocalizeT m a

(<*>) :: LocalizeT m (a -> b) -> LocalizeT m a -> LocalizeT m b

(*>) :: LocalizeT m a -> LocalizeT m b -> LocalizeT m b

(<*) :: LocalizeT m a -> LocalizeT m b -> LocalizeT m a

MonadIO m => MonadIO (LocalizeT m)

Methods

liftIO :: IO a -> LocalizeT m a

Monad m => Localized (LocalizeT m)

Methods

getLanguage :: LocalizeT m LanguageId

getTranslations :: LocalizeT m Translations

getContext :: LocalizeT m (Maybe Context)

Functions

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

Run a computation inside LocalizeT.

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

Set current language

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

Execute some actions with specified language.

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

Set current context.

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

Execute some actions within specific context.