Reflex.Localize.Trans

Plug-in implementation for MonadLocalized using wrapper around ReaderT. Internal module, implementation details can be changed at any moment.

Documentation

data LocalizeEnv t

Constructors

LocalizeEnv

Fields

• locEnvLangRef :: !(ExternalRef t Language)

Instances

Generic (LocalizeEnv t)

Defined in Reflex.Localize.Trans

Associated Types

type Rep (LocalizeEnv t) :: Type -> Type

Methods

from :: LocalizeEnv t -> Rep (LocalizeEnv t) x

to :: Rep (LocalizeEnv t) x -> LocalizeEnv t

type Rep (LocalizeEnv t)

Defined in Reflex.Localize.Trans

type Rep (LocalizeEnv t) = D1 (MetaData "LocalizeEnv" "Reflex.Localize.Trans" "reflex-localize-1.1.0.0-inplace" False) (C1 (MetaCons "LocalizeEnv" PrefixI True) (S1 (MetaSel (Just "locEnvLangRef") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ExternalRef t Language))))

newLangEnv :: (Reflex t, TriggerEvent t m, MonadIO m) => Language -> m (LocalizeEnv t)

Allocate new environment for LocalizeT.

newtype LocalizeT t m a

Plug-in implementation of MonadLocalized.

Constructors

LocalizeT

Fields

• unLocalizeT :: ReaderT (LocalizeEnv t) m a

Instances

(Group q, Additive q, Query q, Eq q, MonadQuery t q m, Monad m) => MonadQuery t q (LocalizeT t m)

Defined in Reflex.Localize.Trans

Methods

tellQueryIncremental :: Incremental t (AdditivePatch q) -> LocalizeT t m ()

askQueryResult :: LocalizeT t m (Dynamic t (QueryResult q))

queryIncremental :: Incremental t (AdditivePatch q) -> LocalizeT t m (Dynamic t (QueryResult q))

(Monoid w, DynamicWriter t w m) => DynamicWriter t w (LocalizeT t m)

Defined in Reflex.Localize.Trans

Methods

tellDyn :: Dynamic t w -> LocalizeT t m ()

(Semigroup w, EventWriter t w m) => EventWriter t w (LocalizeT t m)

Defined in Reflex.Localize.Trans

Methods

tellEvent :: Event t w -> LocalizeT t m ()

MonadReader e m => MonadReader e (LocalizeT t m)

Defined in Reflex.Localize.Trans

Methods

ask :: LocalizeT t m e

local :: (e -> e) -> LocalizeT t m a -> LocalizeT t m a

reader :: (e -> a) -> LocalizeT t m a

MonadState s m => MonadState s (LocalizeT t m)

Defined in Reflex.Localize.Trans

Methods

get :: LocalizeT t m s

put :: s -> LocalizeT t m ()

state :: (s -> (a, s)) -> LocalizeT t m a

NotReady t m => NotReady t (LocalizeT t m)

Defined in Reflex.Localize.Trans

Methods

notReadyUntil :: Event t a -> LocalizeT t m ()

notReady :: LocalizeT t m ()

PerformEvent t m => PerformEvent t (LocalizeT t m)

Defined in Reflex.Localize.Trans

Associated Types

type Performable (LocalizeT t m) :: Type -> Type

Methods

performEvent :: Event t (Performable (LocalizeT t m) a) -> LocalizeT t m (Event t a)

performEvent_ :: Event t (Performable (LocalizeT t m) ()) -> LocalizeT t m ()

TriggerEvent t m => TriggerEvent t (LocalizeT t m)

Defined in Reflex.Localize.Trans

Methods

newTriggerEvent :: LocalizeT t m (Event t a, a -> IO ())

newTriggerEventWithOnComplete :: LocalizeT t m (Event t a, a -> IO () -> IO ())

newEventWithLazyTriggerWithOnComplete :: ((a -> IO () -> IO ()) -> IO (IO ())) -> LocalizeT t m (Event t a)

Requester t m => Requester t (LocalizeT t m)

Defined in Reflex.Localize.Trans

Associated Types

type Request (LocalizeT t m) :: Type -> Type

type Response (LocalizeT t m) :: Type -> Type

Methods

requesting :: Event t (Request (LocalizeT t m) a) -> LocalizeT t m (Event t (Response (LocalizeT t m) a))

requesting_ :: Event t (Request (LocalizeT t m) a) -> LocalizeT t m ()

PostBuild t m => PostBuild t (LocalizeT t m)

Defined in Reflex.Localize.Trans

Methods

getPostBuild :: LocalizeT t m (Event t ())

Adjustable t m => Adjustable t (LocalizeT t m)

Defined in Reflex.Localize.Trans

Methods

runWithReplace :: LocalizeT t m a -> Event t (LocalizeT t m b) -> LocalizeT t m (a, Event t b)

traverseIntMapWithKeyWithAdjust :: (Key -> v -> LocalizeT t m v') -> IntMap v -> Event t (PatchIntMap v) -> LocalizeT t m (IntMap v', Event t (PatchIntMap v'))

traverseDMapWithKeyWithAdjust :: GCompare k => (forall a. k a -> v a -> LocalizeT t m (v' a)) -> DMap k v -> Event t (PatchDMap k v) -> LocalizeT t m (DMap k v', Event t (PatchDMap k v'))

traverseDMapWithKeyWithAdjustWithMove :: GCompare k => (forall a. k a -> v a -> LocalizeT t m (v' a)) -> DMap k v -> Event t (PatchDMapWithMove k v) -> LocalizeT t m (DMap k v', Event t (PatchDMapWithMove k v'))

(PerformEvent t m, MonadHold t m, Adjustable t m, MonadFix m, MonadIO (Performable m), PostBuild t m, MonadIO m) => MonadLocalized t (LocalizeT t m)

Defined in Reflex.Localize.Trans

Methods

setLanguage :: Language -> LocalizeT t m ()

setLanguageE :: Event t Language -> LocalizeT t m ()

getLanguage :: LocalizeT t m (Dynamic t Language)

MonadTrans (LocalizeT t)

Defined in Reflex.Localize.Trans

Methods

lift :: Monad m => m a -> LocalizeT t m a

MonadSample t m => MonadSample (t :: Type) (LocalizeT t m)

Defined in Reflex.Localize.Trans

Methods

sample :: Behavior t a -> LocalizeT t m a

MonadHold t m => MonadHold (t :: Type) (LocalizeT t m)

Defined in Reflex.Localize.Trans

Methods

hold :: a -> Event t a -> LocalizeT t m (Behavior t a)

holdDyn :: a -> Event t a -> LocalizeT t m (Dynamic t a)

holdIncremental :: Patch p => PatchTarget p -> Event t p -> LocalizeT t m (Incremental t p)

buildDynamic :: PushM t a -> Event t a -> LocalizeT t m (Dynamic t a)

headE :: Event t a -> LocalizeT t m (Event t a)

now :: LocalizeT t m (Event t ())

Monad m => Monad (LocalizeT t m)

Defined in Reflex.Localize.Trans

Methods

(>>=) :: LocalizeT t m a -> (a -> LocalizeT t m b) -> LocalizeT t m b

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

return :: a -> LocalizeT t m a

fail :: String -> LocalizeT t m a

Functor m => Functor (LocalizeT t m)

Defined in Reflex.Localize.Trans

Methods

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

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

MonadFix m => MonadFix (LocalizeT t m)

Defined in Reflex.Localize.Trans

Methods

mfix :: (a -> LocalizeT t m a) -> LocalizeT t m a

Applicative m => Applicative (LocalizeT t m)

Defined in Reflex.Localize.Trans

Methods

pure :: a -> LocalizeT t m a

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

liftA2 :: (a -> b -> c) -> LocalizeT t m a -> LocalizeT t m b -> LocalizeT t m c

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

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

MonadIO m => MonadIO (LocalizeT t m)

Defined in Reflex.Localize.Trans

Methods

liftIO :: IO a -> LocalizeT t m a

MonadJSM m => MonadJSM (LocalizeT t m)

Defined in Reflex.Localize.Trans

Methods

liftJSM' :: JSM a -> LocalizeT t m a

Generic (LocalizeT t m a)

Defined in Reflex.Localize.Trans

Associated Types

type Rep (LocalizeT t m a) :: Type -> Type

Methods

from :: LocalizeT t m a -> Rep (LocalizeT t m a) x

to :: Rep (LocalizeT t m a) x -> LocalizeT t m a

type Performable (LocalizeT t m)

Defined in Reflex.Localize.Trans

type Performable (LocalizeT t m) = Performable (ReaderT (LocalizeEnv t) m)

type Response (LocalizeT t m)

Defined in Reflex.Localize.Trans

type Response (LocalizeT t m) = Response (ReaderT (LocalizeEnv t) m)

type Request (LocalizeT t m)

Defined in Reflex.Localize.Trans

type Request (LocalizeT t m) = Request (ReaderT (LocalizeEnv t) m)

type Rep (LocalizeT t m a)

Defined in Reflex.Localize.Trans

type Rep (LocalizeT t m a) = D1 (MetaData "LocalizeT" "Reflex.Localize.Trans" "reflex-localize-1.1.0.0-inplace" True) (C1 (MetaCons "LocalizeT" PrefixI True) (S1 (MetaSel (Just "unLocalizeT") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ReaderT (LocalizeEnv t) m a))))

runLocalizeT :: LocalizeT t m a -> LocalizeEnv t -> m a

Execute localization widget with given environment.

runLocalize :: (Reflex t, TriggerEvent t m, MonadIO m) => Language -> LocalizeT t m a -> m a

Simplified version of runLocalizeT