numerals-0.4: src/Text/Numeral/Language/NL.hs
{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PackageImports #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE UnicodeSyntax #-}
{-|
[@ISO639-1@] nl
[@ISO639-2B@] dut
[@ISO639-3@] nld
[@Native name@] Nederlands
[@English name@] Dutch
-}
module Text.Numeral.Language.NL
( -- * Language entry
entry
-- * Conversions
, cardinal
, ordinal
, partitive
, multiplicative
-- * Structure
, struct
-- * Bounds
, bounds
) where
--------------------------------------------------------------------------------
-- Imports
--------------------------------------------------------------------------------
import "base" Control.Monad ( return )
import "base" Data.Bool ( Bool, otherwise )
import "base" Data.Function ( ($), const, fix )
import "base" Data.Functor ( fmap )
import "base" Data.Maybe ( Maybe(Just) )
import "base" Data.Ord ( (<) )
import "base" Prelude ( Integral, (-), negate )
import "base-unicode-symbols" Data.Bool.Unicode ( (∧), (∨) )
import "base-unicode-symbols" Data.Function.Unicode ( (∘) )
import "base-unicode-symbols" Data.List.Unicode ( (∈) )
import "base-unicode-symbols" Data.Monoid.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 qualified "this" Text.Numeral.Grammar as G
import "this" Text.Numeral.Misc ( dec )
import "this" Text.Numeral.Entry
import "text" Data.Text ( Text )
--------------------------------------------------------------------------------
-- NL
--------------------------------------------------------------------------------
entry ∷ Entry
entry = emptyEntry
{ entIso639_1 = Just "nl"
, entIso639_2 = ["dut"]
, entIso639_3 = Just "nld"
, entNativeNames = ["Nederlands"]
, entEnglishName = Just "Dutch"
, entCardinal = Just Conversion
{ toNumeral = cardinal
, toStructure = struct
}
, entOrdinal = Just Conversion
{ toNumeral = ordinal
, toStructure = struct
}
, entPartitive = Just Conversion
{ toNumeral = partitive
, toStructure = \(n, d) → E.frac (struct n) (struct d)
}
, entMultiplicative = Just Conversion
{ toNumeral = multiplicative
, toStructure = struct
}
}
cardinal ∷ (G.Plural i, G.Dative i, Integral α, E.Scale α) ⇒ i → α → Maybe Text
cardinal inf = cardinalRepr inf ∘ struct
ordinal ∷ (Integral α, E.Scale α) ⇒ i → α → Maybe Text
ordinal inf = ordinalRepr "eerste" inf ∘ struct
partitive ∷ ( G.Singular i, G.Plural i, G.NoCase i, G.Dative i
, Integral α, E.Scale α
)
⇒ i → (α, α) → Maybe Text
partitive inf (n, d) = do
n' ← cardinal (G.noCase $ G.singular inf) n
d' ← ordinalRepr "éénde" inf $ struct d
return $ n' ⊕ " " ⊕ d'
multiplicative ∷ ( G.Singular i, G.Plural i, G.NoCase i, G.Dative i
, Integral α, E.Scale α
)
⇒ i → α → Maybe Text
multiplicative inf = fmap (⊕ "maal") ∘ cardinal (G.noCase $ G.singular inf)
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 $ \_ _ → "min "
}
where
(_ ⊞ Lit 10) _ = ""
(Lit n ⊞ _) _ | n ∈ [2,3] = "ën"
| n < 10 = "en"
| otherwise = ""
(_ ⊞ _) _ = ""
cardinalRepr ∷ ∀ i. (G.Plural i, G.Dative i) ⇒ i → Exp i → Maybe Text
cardinalRepr = render genericRepr
{ reprValue = \inf n → M.lookup n (syms inf)
, reprScale = BN.pelletierRepr (\i c → if doPlural i c then "iljoenen" else "iljoen")
(\i c → if doPlural i c then "iljarden" else "iljard")
[]
}
where
doPlural ∷ i → Ctx (Exp i) → Bool
doPlural inf ctx = (G.isPlural inf ∨ G.isDative inf) ∧ isOutside R ctx
syms inf =
M.fromList
[ (0, const "nul")
, (1, pluralDative "één" "éénen" "éénen")
, (2, forms "twee" "twin" "tweeën" "tweeën")
, (3, forms "drie" "der" "drieën" "drieën")
, (4, forms "vier" "veer" "vieren" "vieren")
, (5, pluralDative "vijf" "vijven" "vijven")
, (6, pluralDative "zes" "zessen" "zessen")
, (7, pluralDative "zeven" "zevens" "zevenen")
, (8, \c → case c of
CtxMul _ (Lit 10) _ → "tach"
CtxAdd _ (Lit 10) _ → "ach"
_ | dativeForm c
∨ pluralForm c → "achten"
| otherwise → "acht"
)
, (9, pluralDative "negen" "negens" "negenen")
, (10, \c → case c of
CtxAdd R _ _
| dativeForm c → "tienen"
| pluralForm c → "tiens"
CtxMul R _ _
| dativeForm c → "tigen"
| pluralForm c → "tigs"
| otherwise → "tig"
_ | dativeForm c
∨ pluralForm c → "tienen"
| otherwise → "tien"
)
, ( 11, pluralDative "elf" "elven" "elven")
, ( 12, pluralDative "twaalf" "twaalven" "twaalven")
, ( 100, pluralDative "honderd" "honderden" "honderden")
, (1000, pluralDative "duizend" "duizenden" "duizenden")
]
where
pluralDative ∷ s → s → s → Ctx (Exp i) → s
pluralDative o p d ctx
| pluralForm ctx = p
| dativeForm ctx = d
| otherwise = o
dativeForm ∷ Ctx (Exp i) → Bool
dativeForm ctx = G.isDative inf ∧ isOutside R ctx
pluralForm ∷ Ctx (Exp i) → Bool
pluralForm ctx = G.isPlural inf ∧ isOutside R ctx
forms ∷ s -- ^ Normal form.
→ s -- ^ Added to, or multiplied with ten.
→ s -- ^ Plural form.
→ s -- ^ Dative form.
→ Ctx (Exp i)
→ s
forms n t p d ctx =
case ctx of
CtxMul _ (Lit 10) _ → t
CtxAdd _ (Lit 10) _ → t
_ | dativeForm ctx → d
| pluralForm ctx → p
| otherwise → n
ordinalRepr ∷ Text → i → Exp i → Maybe Text
ordinalRepr one =
render genericRepr
{ reprValue = \_ n → M.lookup n syms
, reprScale = BN.pelletierRepr ( BN.ordQuantityName "iljoen" "iljoenste"
"iljoen" "iljoenste"
)
( BN.ordQuantityName "iljard" "iljardste"
"iljard" "iljardste"
)
[]
}
where
syms =
M.fromList
[ (0, const "nulde")
, (1, \c → case c of
CtxEmpty → one
_ | isOutside R c → "éénde"
| otherwise → "één"
)
, (2, forms "tweede" "twee" "twin")
, (3, forms "derde" "drie" "der")
, (4, forms "vierde" "vier" "veer")
, (5, forms "vijfde" "vijf" "vijf")
, (6, forms "zesde" "zes" "zes")
, (7, forms "zevende" "zeven" "zeven")
, (8, \c → case c of
_ | isOutside R c → "achtste"
CtxMul _ (Lit 10) _ → "tach"
CtxAdd _ (Lit _) _ → "ach"
_ → "acht"
)
, (9, forms "negende" "negen" "negen")
, (10, \c → case c of
CtxMul R _ _ | isOutside R c → "tigste"
| otherwise → "tig"
_ | isOutside R c → "tiende"
| otherwise → "tien"
)
, (11, \c → if isOutside R c then "elfde" else "elf")
, (12, \c → if isOutside R c then "twaalfde" else "twaalf")
, (100, \c → if isOutside R c then "honderdste" else "honderd")
, (1000, \c → if isOutside R c then "duizendste" else "duizend")
]
forms ∷ s -- ^ Ordinal form.
→ s -- ^ Cardinal form.
→ s -- ^ Added to, or multiplied with, ten.
→ Ctx (Exp i)
→ s
forms o c t ctx = case ctx of
_ | isOutside R ctx → o
CtxMul _ (Lit 10) _ → t
CtxAdd _ (Lit _) _ → t
_ → c