-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Library for localization (l10n)
--   
--   Use advanced type-level code to check existence of localizations
--   (usually a textual rendition into some human languages).
@package localization
@version 1.0.0.20180213

module Data.Locale
data Zero
data Succ p
data Locale (ls :: [*]) (l :: *)
[LocaleZ] :: FullLocale l -> Locale (l : ls) l
[LocaleS] :: Locale ls l -> Locale (not_l : ls) l
showFullLocale :: Show (FullLocale l) => FullLocale l -> String
eqLocale :: Eq (FullLocale x) => Eq (FullLocale y) => Locale ls x -> Locale ls y -> Maybe (x :~: y)
compareLocale :: Ord (FullLocale x) => Ord (FullLocale y) => Locale ls x -> Locale ls y -> Ordering
data LocaleIn ls
LocaleIn :: (Locale ls l) -> LocaleIn ls
type LocaleInj ls l = LocaleInjP (Index ls l) ls l
localeInj :: forall l ls. LocaleInj ls l => FullLocale l -> Locale ls l
class LocaleInjP p ls l
localeInjP :: LocaleInjP p ls l => FullLocale l -> Locale ls l
class Localize ls msg a
localize :: Localize ls msg a => LocaleIn ls -> a -> msg
class LocalizeIn l msg a
localizeIn :: LocalizeIn l msg a => FullLocale l -> a -> msg
class Locales ls
locales :: Locales ls => Map Text (LocaleIn ls)
textLocales :: Locales ls => Map (LocaleIn ls) Text
countryCode :: forall ls. Locales ls => LocaleIn ls -> Text
class LocalesFor l
localesFor :: LocalesFor l => Map Text (FullLocale l)
fullLocales :: Show (FullLocale l) => [FullLocale l] -> [(Text, FullLocale l)]
data FR
fr_FR :: LocaleInj ls FR => Locale ls FR
data EN
en_US :: LocaleInj ls EN => Locale ls EN
instance GHC.Show.Show (Data.Locale.FullLocale Data.Locale.FR)
instance GHC.Classes.Ord (Data.Locale.FullLocale Data.Locale.FR)
instance GHC.Classes.Eq (Data.Locale.FullLocale Data.Locale.FR)
instance GHC.Enum.Enum (Data.Locale.FullLocale Data.Locale.FR)
instance GHC.Show.Show (Data.Locale.FullLocale Data.Locale.EN)
instance GHC.Classes.Ord (Data.Locale.FullLocale Data.Locale.EN)
instance GHC.Classes.Eq (Data.Locale.FullLocale Data.Locale.EN)
instance GHC.Enum.Enum (Data.Locale.FullLocale Data.Locale.EN)
instance Data.Locale.LocalesFor Data.Locale.EN
instance Data.Locale.LocalesFor Data.Locale.FR
instance (Data.Locale.LocalesFor l, Data.Locale.Locales ls, GHC.Classes.Ord (Data.Locale.FullLocale l)) => Data.Locale.Locales (l : ls)
instance Data.Locale.Locales ls => GHC.Show.Show (Data.Locale.LocaleIn ls)
instance Data.Locale.Locales '[]
instance Data.Locale.LocalizeIn l msg a => Data.Locale.Localize '[l] msg a
instance (Data.Locale.LocalizeIn l msg a, Data.Locale.Localize (l1 : ls) msg a) => Data.Locale.Localize (l : l1 : ls) msg a
instance Data.Locale.LocaleInjP Data.Locale.Zero (l : ls) l
instance Data.Locale.LocaleInjP p ls l => Data.Locale.LocaleInjP (Data.Locale.Succ p) (not_t : ls) l
instance GHC.Classes.Eq (Data.Locale.LocaleIn ls)
instance GHC.Classes.Ord (Data.Locale.LocaleIn ls)
instance (GHC.Show.Show (Data.Locale.FullLocale l), GHC.Show.Show (Data.Locale.Locale ls l)) => GHC.Show.Show (Data.Locale.Locale (l : ls) l)