Text.Numeral.BigNum

Documentation

cardinal :: (Monoid s, IsString s, Integral α) => α -> Maybe s

rule :: (Integral α, Unknown β, Lit β, Add β, Mul β) => Rule α β

cardinalRepr :: (Monoid s, IsString s) => Repr s

symMap :: (Integral α, IsString s) => Map α (Ctx Exp -> s)

forms :: s -> s -> s -> s -> s -> Ctx Exp -> s

scaleRepr

Arguments

:: (IsString s, Monoid s)

=> s

Postfix for singular names.

-> s

Postfix for plural names.

-> [(ℤ, Ctx Exp -> s)]

-> ℤ

-> ℤ

-> Exp

-> Ctx Exp

-> Maybe s

pelletierRepr

Arguments

:: (IsString s, Monoid s)

=> s

Postfix for singular offset 0 names.

-> s

Postfix for singular offset 0 names.

-> s

Postfix for plural offset 3 names.

-> s

Postfix for plural offset 3 names.

-> [(ℤ, Ctx Exp -> s)]

-> ℤ

-> ℤ

-> Exp

-> Ctx Exp

-> Maybe s