Reflex.Localize.Class

Pretty printing of values with localization

Documentation

data GrammarCase

Grammar case to change form of word

Constructors

Nominative

the “subject” case

Accusative

the “direct object” case

Genitive

corresponding to the possessive case or “of + (noun)”

Dative

corresponding to “to + (noun)" or the indirect object

Instrumental

denoting an instrument used in an action

Prepositional

used with many common prepositions, such as “in”, “on” etc.

Instances

Bounded GrammarCase

Defined in Reflex.Localize.Class

Methods

minBound :: GrammarCase

maxBound :: GrammarCase

Enum GrammarCase

Defined in Reflex.Localize.Class

Methods

succ :: GrammarCase -> GrammarCase

pred :: GrammarCase -> GrammarCase

toEnum :: Int -> GrammarCase

fromEnum :: GrammarCase -> Int

enumFrom :: GrammarCase -> [GrammarCase]

enumFromThen :: GrammarCase -> GrammarCase -> [GrammarCase]

enumFromTo :: GrammarCase -> GrammarCase -> [GrammarCase]

enumFromThenTo :: GrammarCase -> GrammarCase -> GrammarCase -> [GrammarCase]

Eq GrammarCase

Defined in Reflex.Localize.Class

Methods

(==) :: GrammarCase -> GrammarCase -> Bool

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

Data GrammarCase

Defined in Reflex.Localize.Class

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GrammarCase -> c GrammarCase

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GrammarCase

toConstr :: GrammarCase -> Constr

dataTypeOf :: GrammarCase -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c GrammarCase)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GrammarCase)

gmapT :: (forall b. Data b => b -> b) -> GrammarCase -> GrammarCase

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GrammarCase -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GrammarCase -> r

gmapQ :: (forall d. Data d => d -> u) -> GrammarCase -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> GrammarCase -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> GrammarCase -> m GrammarCase

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GrammarCase -> m GrammarCase

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GrammarCase -> m GrammarCase

Ord GrammarCase

Defined in Reflex.Localize.Class

Methods

compare :: GrammarCase -> GrammarCase -> Ordering

(<) :: GrammarCase -> GrammarCase -> Bool

(<=) :: GrammarCase -> GrammarCase -> Bool

(>) :: GrammarCase -> GrammarCase -> Bool

(>=) :: GrammarCase -> GrammarCase -> Bool

max :: GrammarCase -> GrammarCase -> GrammarCase

min :: GrammarCase -> GrammarCase -> GrammarCase

Read GrammarCase

Defined in Reflex.Localize.Class

Methods

readsPrec :: Int -> ReadS GrammarCase

readList :: ReadS [GrammarCase]

readPrec :: ReadPrec GrammarCase

readListPrec :: ReadPrec [GrammarCase]

Show GrammarCase

Defined in Reflex.Localize.Class

Methods

showsPrec :: Int -> GrammarCase -> ShowS

show :: GrammarCase -> String

showList :: [GrammarCase] -> ShowS

Generic GrammarCase

Defined in Reflex.Localize.Class

Associated Types

type Rep GrammarCase :: Type -> Type

Methods

from :: GrammarCase -> Rep GrammarCase x

to :: Rep GrammarCase x -> GrammarCase

type Rep GrammarCase

Defined in Reflex.Localize.Class

type Rep GrammarCase = D1 (MetaData "GrammarCase" "Reflex.Localize.Class" "reflex-localize-1.1.0.0-inplace" False) ((C1 (MetaCons "Nominative" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Accusative" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Genitive" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "Dative" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Instrumental" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Prepositional" PrefixI False) (U1 :: Type -> Type))))

class LocalizedPrint a where

Printing human readable localized values.

Minimal implementation is either localizedShow or localizedShowCased

Minimal complete definition

Nothing

Methods

localizedShow :: Language -> a -> Text

Convert value to localized string

localizedShowCased :: GrammarCase -> Language -> a -> Text

Convert value to localized string using grammar case

localized :: MonadLocalized t m => a -> m (Dynamic t Text)

Convert value to a dynamically changed string

Instances

LocalizedPrint ()

Defined in Reflex.Localize.Class

Methods

localizedShow :: Language -> () -> Text

localizedShowCased :: GrammarCase -> Language -> () -> Text

localized :: MonadLocalized t m => () -> m (Dynamic t Text)

LocalizedPrint Text

Defined in Reflex.Localize.Class

Methods

localizedShow :: Language -> Text -> Text

localizedShowCased :: GrammarCase -> Language -> Text -> Text

localized :: MonadLocalized t m => Text -> m (Dynamic t Text)

(LocalizedPrint a, LocalizedPrint b) => LocalizedPrint (Either a b)

Defined in Reflex.Localize.Class

Methods

localizedShow :: Language -> Either a b -> Text

localizedShowCased :: GrammarCase -> Language -> Either a b -> Text

localized :: MonadLocalized t m => Either a b -> m (Dynamic t Text)

defaultLocPrintDyn :: MonadLocalized t m => (Language -> a -> Text) -> a -> m (Dynamic t Text)

Default implementation