Types

Instances

Read JboDB
Show JboDB

data JboValsi Source

An opaque data type on which accessors can be used.

Instances

Eq JboValsi
Ord JboValsi
Read JboValsi
Show JboValsi

data JboValsiType Source

Constructors

CmavoType
GismuType
LujvoType
Fu'ivlaType

Instances

Eq JboValsiType
Ord JboValsiType
Read JboValsiType
Show JboValsiType

Generation of the database

genDB :: FilePath -> IO JboDB Source

Generate a database from the Jbovlaste XML export file.

genDBString :: String -> JboDB Source

Generate a database from the Jbovlaste XML export.

readDB :: FilePath -> IO JboDB Source

Read in a database from file.

Querying the database

findValsi :: JboDB -> (JboValsi -> Bool) -> Maybe JboValsi Source

Find valsi(s) by a predicate.

filterValsi :: JboDB -> (JboValsi -> Bool) -> [JboValsi]Source

Filter valsi(s) by a predicate.

valsi :: JboDB -> String -> [JboValsi]Source

Find valsi(s) by word or gloss or rafsi.

defSub :: JboDB -> String -> [JboValsi]Source

Find valsi(s) by definition substring.

defWildCard :: JboDB -> String -> [JboValsi]Source

Find valsi(s) by definition wild card string.

Accessing parts of valsis

valsiWord :: JboValsi -> String Source

Get the word of a valsi.

valsiGloss :: JboValsi -> [String]Source

Get the gloss(es) of a valsi.

valsiDef :: JboValsi -> String Source

Get the definition of a valsi.

valsiRafsis :: JboValsi -> [String]Source

Get any rafsis of a valsi.

valsiNotes :: JboValsi -> String Source

Get the notes of a valsi.

valsiSelma'o :: JboValsi -> Maybe String Source

Get the selma'o of a cmavo (Nothing for non-cmavo).

valsiSelrafsis :: JboValsi -> [JboValsi]Source

Get the selrafsis of a lujvo (empty list for non-lujvo).

valsiType :: JboValsi -> JboValsiType Source

Get the type of a valsi.

Showing valsi

showValsi :: JboValsi -> String Source

showType :: JboValsi -> [Char]Source