lojban-0.1: Useful utilities for the Lojban language Source code Contents Index

Language.Lojban.Jbovlaste

Contents Types Generation of the database Querying the database Accessing parts of valsis Showing valsi

Synopsis

data JboDB data JboValsi data JboValsiType = CmavoType | GismuType | LujvoType | Fu'ivlaType genDB :: FilePath -> IO JboDB genDBString :: String -> JboDB readDB :: FilePath -> IO JboDB findValsi :: JboDB -> (JboValsi -> Bool) -> Maybe JboValsi filterValsi :: JboDB -> (JboValsi -> Bool) -> [JboValsi] valsi :: JboDB -> String -> [JboValsi] defSub :: JboDB -> String -> [JboValsi] defWildCard :: JboDB -> String -> [JboValsi] valsiWord :: JboValsi -> String valsiGloss :: JboValsi -> [String] valsiDef :: JboValsi -> String valsiRafsis :: JboValsi -> [String] valsiNotes :: JboValsi -> String valsiSelma'o :: JboValsi -> Maybe String valsiSelrafsis :: JboValsi -> [JboValsi] valsiType :: JboValsi -> JboValsiType showValsi :: JboValsi -> String

Types

data JboDB Source

Instances Read JboDB Show JboDB

data JboValsi Source

An opaque data type on which accessors can be used. Instances Eq 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

Produced by Haddock version 2.3.0