numerals-0.4: src/Text/Numeral/Language/DE.hs
{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PackageImports #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE UnicodeSyntax #-}
{-|
[@ISO639-1@] de
[@ISO639-2B@] ger
[@ISO639-2T@] deu
[@ISO639-3@] deu
[@Native name@] Deutsch
[@English name@] German
-}
module Text.Numeral.Language.DE
( -- * Language entry
entry
-- * Conversions
, cardinal
, ordinal
-- * Structure
, struct
-- * Bounds
, bounds
) where
-------------------------------------------------------------------------------
-- Imports
-------------------------------------------------------------------------------
import "base" Data.Bool ( otherwise )
import "base" Data.Function ( ($), const, fix )
import "base" Data.Maybe ( Maybe(Just) )
import "base" Prelude ( Integral, (-), negate )
import "base-unicode-symbols" Data.Function.Unicode ( (∘) )
import "base-unicode-symbols" Data.List.Unicode ( (∈) )
import "base-unicode-symbols" Data.Ord.Unicode ( (≤), (≥) )
import "base-unicode-symbols" Prelude.Unicode ( ℤ )
import qualified "containers" Data.Map as M ( fromList, lookup )
import "this" Text.Numeral
import qualified "this" Text.Numeral.BigNum as BN
import qualified "this" Text.Numeral.Exp as E
import "this" Text.Numeral.Grammar ( Inflection )
import "this" Text.Numeral.Misc ( dec )
import "this" Text.Numeral.Entry
import "text" Data.Text ( Text )
-------------------------------------------------------------------------------
-- DE
-------------------------------------------------------------------------------
entry ∷ Entry
entry = emptyEntry
{ entIso639_1 = Just "de"
, entIso639_2 = ["ger", "deu"]
, entIso639_3 = Just "deu"
, entNativeNames = ["Deutsch"]
, entEnglishName = Just "German"
, entCardinal = Just Conversion
{ toNumeral = cardinal
, toStructure = struct
}
, entOrdinal = Just Conversion
{ toNumeral = ordinal
, toStructure = struct
}
}
cardinal ∷ (Inflection i, Integral α, E.Scale α) ⇒ i → α → Maybe Text
cardinal inf = cardinalRepr inf ∘ struct
ordinal ∷ (Inflection i, Integral α, E.Scale α) ⇒ i → α → Maybe Text
ordinal inf = ordinalRepr inf ∘ struct
struct ∷ ( Integral α, E.Scale α
, E.Unknown β, E.Lit β, E.Neg β, E.Add β, E.Mul β, E.Scale β
)
⇒ α → β
struct = pos
$ fix
$ findRule ( 0, lit )
[ ( 13, add 10 L )
, ( 20, mul 10 L L)
, ( 100, step 100 10 R L)
, (1000, step 1000 1000 R L)
]
(dec 6 - 1)
`combine` pelletierScale R L BN.rule
bounds ∷ (Integral α) ⇒ (α, α)
bounds = let x = dec 60000 - 1 in (negate x, x)
genericRepr ∷ Repr i
genericRepr = defaultRepr
{ reprAdd = Just (⊞)
, reprMul = Just (⊡)
, reprNeg = Just $ \_ _ → "minus "
}
where
(Lit n ⊞ (_ `Mul` Lit 10)) _ | n ≤ 9 = "und"
(_ ⊞ _ ) _ = ""
(_ ⊡ Scale _ _ _) _ = " "
(_ ⊡ _) _ = ""
cardinalRepr ∷ i → Exp i → Maybe Text
cardinalRepr = render genericRepr
{ reprValue = \_ n → M.lookup n syms
, reprScale = BN.pelletierRepr (BN.quantityName "illion" "illionen")
(BN.quantityName "illiarde" "illiarden")
bigNumSyms
}
where
syms =
M.fromList
[ (0, const "null")
, (1, \c → case c of
CtxAdd R _ _ → "eins"
CtxAdd L _ _ → "ein"
CtxMul _ (Lit n) _
| n ≥ dec 6 → "eine"
| n ≥ 100 → "ein"
_ → "eins"
)
, (2, \c → case c of
CtxMul _ (Lit 10) _ → "zwan"
_ → "zwei"
)
, (3, const "drei")
, (4, const "vier")
, (5, const "fünf")
, (6, \c → case c of
CtxAdd _ (Lit 10) _ → "sech"
CtxMul _ (Lit 10) _ → "sech"
_ → "sechs"
)
, (7, \c → case c of
CtxAdd _ (Lit 10) _ → "sieb"
CtxMul _ (Lit 10) _ → "sieb"
_ → "sieben"
)
, (8, const "acht")
, (9, const "neun")
, (10, \c → case c of
CtxMul _ (Lit 3) _ → "ßig"
CtxMul R (Lit _) _ → "zig"
_ → "zehn"
)
, (11, const "elf")
, (12, const "zwölf")
, (100, const "hundert")
, (1000, const "tausend")
]
ordinalRepr ∷ i → Exp i → Maybe Text
ordinalRepr = render genericRepr
{ reprValue = \_ n → M.lookup n syms
, reprScale = BN.pelletierRepr (BN.ordQuantityName "illion" "illionste"
"illion" "illionste"
)
(BN.ordQuantityName "illiarde" "illiardste"
"illiarde" "illiardste"
)
bigNumSyms
}
where
syms =
M.fromList
[ (0, \c → case c of
CtxEmpty → "nullte"
_ → "null"
)
, (1, \c → case c of
_ | isOutside R c → "erste"
CtxAdd {} → "ein"
CtxMul _ (Lit n) _
| n ≥ dec 6 → "eine"
| n ≥ 100 → "ein"
_ → "eins"
)
, (2, \c → case c of
_ | isOutside R c → "zweite"
CtxMul _ (Lit 10) _ → "zwan"
_ → "zwei"
)
, (3, \c → if isOutside R c then "dritte" else "drei")
, (4, \c → if isOutside R c then "vierte" else "vier")
, (5, \c → if isOutside R c then "fünfte" else "fünf")
, (6, \c → case c of
_ | isOutside R c → "sechste"
CtxAdd _ (Lit 10) _ → "sech"
CtxMul _ (Lit 10) _ → "sech"
_ → "sechs"
)
, (7, \c → case c of
_ | isOutside R c → "siebte"
CtxAdd _ (Lit 10) _ → "sieb"
CtxMul _ (Lit 10) _ → "sieb"
_ → "sieben"
)
, (8, \c → if isOutside R c then "achte" else "acht")
, (9, \c → if isOutside R c then "neunte" else "neun")
, (10, \c → case c of
CtxMul _ (Lit 3) _ | isOutside R c → "ßigste"
| otherwise → "ßig"
CtxMul R (Lit _) _ | isOutside R c → "zigste"
| otherwise → "zig"
_ | isOutside R c → "zehnte"
| otherwise → "zehn"
)
, (11, \c → if isOutside R c then "elfte" else "elf")
, (12, \c → if isOutside R c then "zwölfte" else "zwölf")
, (100, \c → if isOutside R c then "hundertste" else "hundert")
, (1000, \c → if isOutside R c then "tausendste" else "tausend")
]
bigNumSyms ∷ [(ℤ, Ctx (Exp i) → Text)]
bigNumSyms =
[ (8, BN.forms "okt" "okto" "okto" "okto" "oktin")
, (10, \c → case c of
CtxAdd _ (Lit 100) _ → "dezi"
CtxMul _ _ (CtxAdd _ (Lit 100) _) → "ginta"
CtxMul {} → "gint"
_ → "dez"
)
, (100, \c → case c of
CtxMul _ (Lit n) _
| n ∈ [2,3,6] → "zent"
| otherwise → "gent"
_ → "zent"
)
]