Safe Haskell	Safe
Language	Haskell2010

Data.Locale

Contents

Type Zero
Type Succ
Type Index
Type Locale
Class Localize
- Class LocalizeIn
Class Locales
- Class LocalesFor
Type FR
Type EN

Synopsis

Type `Zero`

data Zero Source #

Instances

LocaleInjP Zero ((:) * l ls) l Source #
Methods localeInjP :: FullLocale l -> Locale ((* ': l) ls) l Source #

Type `Succ`

data Succ p Source #

Instances

LocaleInjP p ls l => LocaleInjP (Succ p) ((:) * not_t ls) l Source #
Methods localeInjP :: FullLocale l -> Locale ((* ': not_t) ls) l Source #

Type `Index`

type family Index xs x where ... Source #

Equations

Index (x ': xs) x = Zero
Index (not_x ': xs) x = Succ (Index xs x)

Type `Locale`

data Locale (ls :: [*]) (l :: *) where Source #

Constructors

LocaleZ :: FullLocale l -> Locale (l ': ls) l
LocaleS :: Locale ls l -> Locale (not_l ': ls) l infixr 5

Instances

(Show (FullLocale l), Show (Locale ls l)) => Show (Locale ((:) * l ls) l) Source #
Methods showsPrec :: Int -> Locale ((* ': l) ls) l -> ShowS # show :: Locale ((* ': l) ls) l -> String # showList :: [Locale ((* ': l) ls) l] -> ShowS #

showFullLocale :: Show (FullLocale l) => FullLocale l -> String Source #

eqLocale :: Eq (FullLocale x) => Eq (FullLocale y) => Locale ls x -> Locale ls y -> Maybe (x :~: y) Source #

compareLocale :: Ord (FullLocale x) => Ord (FullLocale y) => Locale ls x -> Locale ls y -> Ordering Source #

Type `FullLocale`

data family FullLocale (l :: *) :: * Source #

Instances

Enum (FullLocale EN) Source #
Methods succ :: FullLocale EN -> FullLocale EN # pred :: FullLocale EN -> FullLocale EN # toEnum :: Int -> FullLocale EN # fromEnum :: FullLocale EN -> Int # enumFrom :: FullLocale EN -> [FullLocale EN] # enumFromThen :: FullLocale EN -> FullLocale EN -> [FullLocale EN] # enumFromTo :: FullLocale EN -> FullLocale EN -> [FullLocale EN] # enumFromThenTo :: FullLocale EN -> FullLocale EN -> FullLocale EN -> [FullLocale EN] #
Enum (FullLocale FR) Source #
Methods succ :: FullLocale FR -> FullLocale FR # pred :: FullLocale FR -> FullLocale FR # toEnum :: Int -> FullLocale FR # fromEnum :: FullLocale FR -> Int # enumFrom :: FullLocale FR -> [FullLocale FR] # enumFromThen :: FullLocale FR -> FullLocale FR -> [FullLocale FR] # enumFromTo :: FullLocale FR -> FullLocale FR -> [FullLocale FR] # enumFromThenTo :: FullLocale FR -> FullLocale FR -> FullLocale FR -> [FullLocale FR] #
Eq (FullLocale EN) Source #
Methods (==) :: FullLocale EN -> FullLocale EN -> Bool # (/=) :: FullLocale EN -> FullLocale EN -> Bool #
Eq (FullLocale FR) Source #
Methods (==) :: FullLocale FR -> FullLocale FR -> Bool # (/=) :: FullLocale FR -> FullLocale FR -> Bool #
Ord (FullLocale EN) Source #
Methods compare :: FullLocale EN -> FullLocale EN -> Ordering # (<) :: FullLocale EN -> FullLocale EN -> Bool # (<=) :: FullLocale EN -> FullLocale EN -> Bool # (>) :: FullLocale EN -> FullLocale EN -> Bool # (>=) :: FullLocale EN -> FullLocale EN -> Bool # max :: FullLocale EN -> FullLocale EN -> FullLocale EN # min :: FullLocale EN -> FullLocale EN -> FullLocale EN #
Ord (FullLocale FR) Source #
Methods compare :: FullLocale FR -> FullLocale FR -> Ordering # (<) :: FullLocale FR -> FullLocale FR -> Bool # (<=) :: FullLocale FR -> FullLocale FR -> Bool # (>) :: FullLocale FR -> FullLocale FR -> Bool # (>=) :: FullLocale FR -> FullLocale FR -> Bool # max :: FullLocale FR -> FullLocale FR -> FullLocale FR # min :: FullLocale FR -> FullLocale FR -> FullLocale FR #
Show (FullLocale EN) Source #
Methods showsPrec :: Int -> FullLocale EN -> ShowS # show :: FullLocale EN -> String # showList :: [FullLocale EN] -> ShowS #
Show (FullLocale FR) Source #
Methods showsPrec :: Int -> FullLocale FR -> ShowS # show :: FullLocale FR -> String # showList :: [FullLocale FR] -> ShowS #
data FullLocale EN Source #
data FullLocale EN = EN_AG \| EN_AU \| EN_BW \| EN_CA \| EN_DK \| EN_GB \| EN_HK \| EN_IE \| EN_IL \| EN_IN \| EN_NG \| EN_NZ \| EN_PH \| EN_SG \| EN_US \| EN_ZA \| EN_ZM \| EN_ZW
data FullLocale FR Source #
data FullLocale FR = FR_BE \| FR_CA \| FR_CH \| FR_FR \| FR_LU

Type `LocaleIn`

data LocaleIn ls Source #

Constructors

(Eq (FullLocale l), Ord (FullLocale l)) => LocaleIn (Locale ls l)

Instances

Eq (LocaleIn ls) Source #
Methods (==) :: LocaleIn ls -> LocaleIn ls -> Bool # (/=) :: LocaleIn ls -> LocaleIn ls -> Bool #
Ord (LocaleIn ls) Source #
Methods compare :: LocaleIn ls -> LocaleIn ls -> Ordering # (<) :: LocaleIn ls -> LocaleIn ls -> Bool # (<=) :: LocaleIn ls -> LocaleIn ls -> Bool # (>) :: LocaleIn ls -> LocaleIn ls -> Bool # (>=) :: LocaleIn ls -> LocaleIn ls -> Bool # max :: LocaleIn ls -> LocaleIn ls -> LocaleIn ls # min :: LocaleIn ls -> LocaleIn ls -> LocaleIn ls #
Locales ls => Show (LocaleIn ls) Source #
Methods showsPrec :: Int -> LocaleIn ls -> ShowS # show :: LocaleIn ls -> String # showList :: [LocaleIn ls] -> ShowS #

Class `LocaleInj`

type LocaleInj ls l = LocaleInjP (Index ls l) ls l Source #

localeInj :: forall l ls. LocaleInj ls l => FullLocale l -> Locale ls l Source #

Class `LocaleInjP`

class LocaleInjP p ls l where Source #

Minimal complete definition

localeInjP

Methods

localeInjP :: FullLocale l -> Locale ls l Source #

Instances

LocaleInjP Zero ((:) * l ls) l Source #
Methods localeInjP :: FullLocale l -> Locale ((* ': l) ls) l Source #
LocaleInjP p ls l => LocaleInjP (Succ p) ((:) * not_t ls) l Source #
Methods localeInjP :: FullLocale l -> Locale ((* ': not_t) ls) l Source #

Class `Localize`

class Localize ls msg a where Source #

Minimal complete definition

localize

Methods

localize :: LocaleIn ls -> a -> msg Source #

Instances

(LocalizeIn l msg a, Localize ((:) * l1 ls) msg a) => Localize ((:) * l ((:) * l1 ls)) msg a Source #
Methods localize :: LocaleIn ((* ': l) ((* ': l1) ls)) -> a -> msg Source #
LocalizeIn l msg a => Localize ((:) * l ([] *)) msg a Source #
Methods localize :: LocaleIn ((* ': l) [*]) -> a -> msg Source #

Class `LocalizeIn`

class LocalizeIn l msg a where Source #

Minimal complete definition

localizeIn

Methods

localizeIn :: FullLocale l -> a -> msg Source #

Class `Locales`

class Locales ls where Source #

Minimal complete definition

locales

Methods

locales :: Map Text (LocaleIn ls) Source #

Instances

Locales ([] *) Source #
Methods locales :: Map Text (LocaleIn [*]) Source #
(LocalesFor l, Locales ls, Ord (FullLocale l)) => Locales ((:) * l ls) Source #
Methods locales :: Map Text (LocaleIn ((* ': l) ls)) Source #

textLocales :: Locales ls => Map (LocaleIn ls) Text Source #

countryCode :: forall ls. Locales ls => LocaleIn ls -> Text Source #

Class `LocalesFor`

class LocalesFor l where Source #

Minimal complete definition

localesFor

Methods

localesFor :: Map Text (FullLocale l) Source #

Instances

LocalesFor EN Source #
Methods localesFor :: Map Text (FullLocale EN) Source #
LocalesFor FR Source #
Methods localesFor :: Map Text (FullLocale FR) Source #

fullLocales :: Show (FullLocale l) => [FullLocale l] -> [(Text, FullLocale l)] Source #

Type `FR`

data FR Source #

Instances

LocalesFor FR Source #
Methods localesFor :: Map Text (FullLocale FR) Source #
Enum (FullLocale FR) Source #
Methods succ :: FullLocale FR -> FullLocale FR # pred :: FullLocale FR -> FullLocale FR # toEnum :: Int -> FullLocale FR # fromEnum :: FullLocale FR -> Int # enumFrom :: FullLocale FR -> [FullLocale FR] # enumFromThen :: FullLocale FR -> FullLocale FR -> [FullLocale FR] # enumFromTo :: FullLocale FR -> FullLocale FR -> [FullLocale FR] # enumFromThenTo :: FullLocale FR -> FullLocale FR -> FullLocale FR -> [FullLocale FR] #
Eq (FullLocale FR) Source #
Methods (==) :: FullLocale FR -> FullLocale FR -> Bool # (/=) :: FullLocale FR -> FullLocale FR -> Bool #
Ord (FullLocale FR) Source #
Methods compare :: FullLocale FR -> FullLocale FR -> Ordering # (<) :: FullLocale FR -> FullLocale FR -> Bool # (<=) :: FullLocale FR -> FullLocale FR -> Bool # (>) :: FullLocale FR -> FullLocale FR -> Bool # (>=) :: FullLocale FR -> FullLocale FR -> Bool # max :: FullLocale FR -> FullLocale FR -> FullLocale FR # min :: FullLocale FR -> FullLocale FR -> FullLocale FR #
Show (FullLocale FR) Source #
Methods showsPrec :: Int -> FullLocale FR -> ShowS # show :: FullLocale FR -> String # showList :: [FullLocale FR] -> ShowS #
data FullLocale FR Source #
data FullLocale FR = FR_BE \| FR_CA \| FR_CH \| FR_FR \| FR_LU

fr_FR :: LocaleInj ls FR => Locale ls FR Source #

Type `EN`

data EN Source #

Instances

LocalesFor EN Source #
Methods localesFor :: Map Text (FullLocale EN) Source #
Enum (FullLocale EN) Source #
Methods succ :: FullLocale EN -> FullLocale EN # pred :: FullLocale EN -> FullLocale EN # toEnum :: Int -> FullLocale EN # fromEnum :: FullLocale EN -> Int # enumFrom :: FullLocale EN -> [FullLocale EN] # enumFromThen :: FullLocale EN -> FullLocale EN -> [FullLocale EN] # enumFromTo :: FullLocale EN -> FullLocale EN -> [FullLocale EN] # enumFromThenTo :: FullLocale EN -> FullLocale EN -> FullLocale EN -> [FullLocale EN] #
Eq (FullLocale EN) Source #
Methods (==) :: FullLocale EN -> FullLocale EN -> Bool # (/=) :: FullLocale EN -> FullLocale EN -> Bool #
Ord (FullLocale EN) Source #
Methods compare :: FullLocale EN -> FullLocale EN -> Ordering # (<) :: FullLocale EN -> FullLocale EN -> Bool # (<=) :: FullLocale EN -> FullLocale EN -> Bool # (>) :: FullLocale EN -> FullLocale EN -> Bool # (>=) :: FullLocale EN -> FullLocale EN -> Bool # max :: FullLocale EN -> FullLocale EN -> FullLocale EN # min :: FullLocale EN -> FullLocale EN -> FullLocale EN #
Show (FullLocale EN) Source #
Methods showsPrec :: Int -> FullLocale EN -> ShowS # show :: FullLocale EN -> String # showList :: [FullLocale EN] -> ShowS #
data FullLocale EN Source #
data FullLocale EN = EN_AG \| EN_AU \| EN_BW \| EN_CA \| EN_DK \| EN_GB \| EN_HK \| EN_IE \| EN_IL \| EN_IN \| EN_NG \| EN_NZ \| EN_PH \| EN_SG \| EN_US \| EN_ZA \| EN_ZM \| EN_ZW

en_US :: LocaleInj ls EN => Locale ls EN Source #

Type Zero

Type Succ

Type Index

Type Locale

Type FullLocale

Type LocaleIn

Class LocaleInj

Class LocaleInjP

Class Localize

Class LocalizeIn

Class Locales

Class LocalesFor

Type FR

Type EN

Type `Zero`

Type `Succ`

Type `Index`

Type `Locale`

Type `FullLocale`

Type `LocaleIn`

Class `LocaleInj`

Class `LocaleInjP`

Class `Localize`

Class `LocalizeIn`

Class `Locales`

Class `LocalesFor`

Type `FR`

Type `EN`