module Text.Numeral.Language.JA
( struct
, kanji_cardinal
, daiji_cardinal
, on'yomi_cardinal
, preferred_cardinal
) where
import "base" Data.Function ( ($), const, fix )
import "base" Data.List ( map )
import "base" Data.Maybe ( Maybe(Just) )
import "base" Data.Monoid ( Monoid )
import "base" Data.String ( IsString )
import "base" Prelude ( Num, Integral, () )
import "base-unicode-symbols" Data.Function.Unicode ( (∘) )
import "base-unicode-symbols" Data.Monoid.Unicode ( (⊕) )
import qualified "containers" Data.Map as M ( fromList, lookup )
import "numerals-base" Text.Numeral
import "numerals-base" Text.Numeral.Misc ( dec )
import qualified "numerals-base" Text.Numeral.Exp.Classes as C
struct ∷ (Integral α, C.Unknown β, C.Lit β, C.Neg β, C.Add β, C.Mul β) ⇒ α → β
struct = pos
$ fix
$ findRule ( 0, lit )
( [ ( 11, add 10 R )
, ( 20, mul 10 R L)
, ( 100, step 100 10 R L)
, (1000, step 1000 10 R L)
]
⊕ [ (n, step1 n (dec 4) R L) | n ← map dec [4,8..68] ]
)
(dec 72 1)
kanji_cardinal ∷ (Integral α, Monoid s, IsString s) ⇒ α → Maybe s
kanji_cardinal = kanji_cardinal_repr ∘ struct
kanji_cardinal_repr ∷ (Monoid s, IsString s) ⇒ Exp → Maybe s
kanji_cardinal_repr = render defaultRepr
{ reprValue = \n → M.lookup n syms
, reprAdd = Just $ \_ _ _ → ""
, reprMul = Just $ \_ _ _ → ""
, reprNeg = Just $ \_ _ → "マイナス"
}
where
syms =
M.fromList
[ (0, const "零")
, (1, const "一")
, (2, const "二")
, (3, const "三")
, (4, const "四")
, (5, const "五")
, (6, const "六")
, (7, const "七")
, (8, const "八")
, (9, const "九")
, (10, const "十")
, (100, const "百")
, (dec 3, const "千")
, (dec 4, const "万")
, (dec 8, const "億")
, (dec 12, const "兆")
, (dec 16, const "京")
, (dec 20, const "垓")
, (dec 24, const "𥝱")
, (dec 28, const "穣")
, (dec 32, const "溝")
, (dec 36, const "澗")
, (dec 40, const "正")
, (dec 44, const "載")
, (dec 48, const "極")
, (dec 52, const "恒河沙")
, (dec 56, const "阿僧祇")
, (dec 60, const "那由他/那由多")
, (dec 64, const "不可思議")
, (dec 68, const "無量大数")
]
daiji_cardinal ∷ (Integral α, Monoid s, IsString s) ⇒ α → Maybe s
daiji_cardinal = daiji_cardinal_repr ∘ struct
daiji_cardinal_repr ∷ (Monoid s, IsString s) ⇒ Exp → Maybe s
daiji_cardinal_repr = render defaultRepr
{ reprValue = \n → M.lookup n syms
, reprAdd = Just $ \_ _ _ → ""
, reprMul = Just $ \_ _ _ → ""
, reprNeg = Just $ \_ _ → "マイナス"
}
where
syms =
M.fromList
[ (0, const "零")
, (1, const "壱")
, (2, const "弐")
, (3, const "参")
, (4, const "四")
, (5, const "五")
, (6, const "六")
, (7, const "七")
, (8, const "八")
, (9, const "九")
, (10, const "拾")
, (100, const "百")
, (dec 3, const "千")
, (dec 4, const "万")
]
generic_repr ∷ (Monoid s, IsString s) ⇒ s → s → Repr s
generic_repr four seven = defaultRepr
{ reprValue = \n → M.lookup n syms
, reprAdd = Just $ \_ _ _ → " "
, reprMul = Just $ \_ _ _ → ""
, reprNeg = Just $ \_ _ → "mainasu "
}
where
syms =
M.fromList
[ (0, const "rei")
, (1, const "ichi")
, (2, const "ni")
, (3, const "san")
, (4, const four)
, (5, const "go")
, (6, const "roku")
, (7, const seven)
, (8, const "hachi")
, (9, const "kyū")
, (10, const "jū")
, (100, \c → case c of
(CtxMul _ (Lit 3) _) → "byaku"
_ → "hyaku"
)
, (dec 3, const "sen")
, (dec 4, const "man")
, (dec 8, const "oku")
, (dec 12, const "chō")
, (dec 16, const "kei")
, (dec 20, const "gai")
, (dec 24, const "jo")
, (dec 28, const "jō")
, (dec 32, const "kō")
, (dec 36, const "kan")
, (dec 40, const "sei")
, (dec 44, const "sai")
, (dec 48, const "goku")
, (dec 52, const "gōgasha")
, (dec 56, const "asōgi")
, (dec 60, const "nayuta")
, (dec 64, const "fukashigi")
, (dec 68, const "muryōtaisū")
]
on'yomi_cardinal ∷ (Integral α, Monoid s, IsString s) ⇒ α → Maybe s
on'yomi_cardinal = on'yomi_cardinal_repr ∘ struct
on'yomi_cardinal_repr ∷ (Monoid s, IsString s) ⇒ Exp → Maybe s
on'yomi_cardinal_repr = render $ generic_repr "shi" "shichi"
preferred_cardinal ∷ (Integral α, Monoid s, IsString s) ⇒ α → Maybe s
preferred_cardinal = preferred_cardinal_repr ∘ struct
preferred_cardinal_repr ∷ (Monoid s, IsString s) ⇒ Exp → Maybe s
preferred_cardinal_repr = render $ generic_repr "yon" "nana"