numerals-0.1: Utilities for working with numerals

Text.Numeral

Contents

Synopsis

Types

data NumConfig s Source

Constructors

NumConfig 

Fields

ncCardinal :: Integer -> Maybe (NumSymbol s)
 
ncNeg :: s -> s
 
ncOne :: (Integer, s) -> s
 
ncAdd :: (Integer, s) -> (Integer, s) -> s
 
ncMul :: (Integer, s) -> (Integer, s) -> s
 

data NumSymbol s Source

Constructors

NumSym 

Fields

symType :: SymbolType
 
symVal :: Integer
 
symScope :: Integer
 
symRepr :: Gender -> SymbolContext -> s
 

data SymbolType Source

Constructors

Terminal 
Add 
Mul 

Instances

data SymbolContext Source

Constructors

EmptyContext 
LA Integer SymbolContext 
RA Integer SymbolContext 
LM Integer SymbolContext 
RM Integer SymbolContext 

Instances

data Gender Source

Grammatical gender

Constructors

Neuter 
Masculine 
Feminine 

Instances

Cardinals

cardinal :: NumConfig s -> Gender -> Integer -> Maybe sSource

findSym :: [NumSymbol s] -> Integer -> Maybe (NumSymbol s)Source

Smart NumSymbol constructors

term :: Integer -> (SymbolContext -> s) -> NumSymbol sSource

add :: Integer -> Integer -> (SymbolContext -> s) -> NumSymbol sSource

mul :: Integer -> (SymbolContext -> s) -> NumSymbol sSource

termG :: Integer -> (Gender -> SymbolContext -> s) -> NumSymbol sSource

addG :: Integer -> Integer -> (Gender -> SymbolContext -> s) -> NumSymbol sSource

mulG :: Integer -> (Gender -> SymbolContext -> s) -> NumSymbol sSource

Symbol representation helper functions

gender :: s -> s -> Gender -> sSource

genderN :: s -> s -> s -> Gender -> sSource

tenForms :: s -> s -> s -> SymbolContext -> sSource

Constructs a symbol representation based on the relation of the symbol with the number 10. The chosen representation depends on the context in which the symbol is used: d) default: x a) additive: 10 + x m) multiplicative: x * 10

tenFormsG :: (Gender -> s) -> (Gender -> s) -> (Gender -> s) -> Gender -> SymbolContext -> sSource

tenForms' :: s -> s -> s -> s -> SymbolContext -> sSource

Constructs a symbol representation based on the relation of the symbol with the number 10. The chosen representation depends on the context in which the symbol is used: d) default: x a) additive: 10 + x mt) multiplicative: x * 10 mh) multiplicative: x * 100

mulForms :: s -> s -> SymbolContext -> sSource