Safe Haskell	Safe-Inferred

Language.Lojban.Parser

Documentation

parse :: String -> Either ParseError Text Source

data ParseError Source

Instances

Eq ParseError
Ord ParseError
Show ParseError

type Text = Sentence Source

type Clause = ([String], String, Indicators)Source

data Sentence Source

Constructors

Selbri Selbri
SelbriTailTerms Selbri [Term] (Maybe Clause) [Free]
GekSentence Gek Sentence Gik Sentence [Term] (Maybe Clause) [Free]
KEGekSentence (Maybe Tag) Clause [Free] Sentence (Maybe Clause) [Free]
NAGekSentence Clause [Free] Sentence
GihekBO Sentence Gihek (Maybe Tag) Clause [Free] Sentence [Term] (Maybe Clause) [Free]
GihekSentence Sentence [(Gihek, [Free], Sentence, [Term], Maybe Clause, [Free])]
GihekKE Sentence Gihek (Maybe Tag) Clause [Free] Sentence (Maybe Clause) [Free] [Term] (Maybe Clause) [Free]
TermsBridiTail [Term] (Maybe Clause) [Free] Sentence
PrenexSentence [Term] Clause [Free] Sentence
TUhE (Maybe Tag) Clause [Free] Text (Maybe Clause) [Free]
IBOStatement Statement Clause (Maybe JoikJek) (Maybe Tag) Clause [Free] Statement
IBO Statement Clause (Maybe JoikJek) (Maybe Tag) Clause [Free]
IJoikJek Statement [(Clause, JoikJek, [Free], Maybe Statement)]
Prenex [Term] Clause [Free] Statement
FPrenex [Term] Clause [Free]
FTermsVAU [Term] (Maybe Clause) [Free]
FEk Ek [Free]
FGihek Gihek [Free]
FQuantifier Quantifier
FNA Clause [Free]
FRelativeClause RelativeClause
FLinks Links
FLinkargs Linkargs
StatementI Statement [(Clause, [Free], Maybe Statement)]
NIhO Paragraph [Clause] [Free] Paragraphs
IText_1 Clause (Maybe JoikJek) (Maybe (Maybe Tag, Clause)) [Free] (Maybe Text)
HeadNIhO [Clause] [Free] (Maybe Paragraphs)
TopText [Clause] (Either [Clause] (Maybe [([String], String)])) [Free] (Maybe (JoikJek, [Free])) (Maybe Text) (Maybe Pre)

Instances

Eq Sentence
Data Sentence
Show Sentence
Typeable Sentence

data Sumti Source

Constructors

TermsPEhETerms Term [(Clause, [Free], JoikJek, [Free], Term)]
TermCEhETerm Term [(Clause, [Free], Term)]
TagSumti Tag Sumti
KU (Maybe Clause) [Free]
NAKU Clause Clause [Free]
NUhIGek Clause [Free] Gek [Term] (Maybe Clause) [Free] Gik [Term] (Maybe Clause) [Free]
NUhI Clause [Free] [Term] (Maybe Clause) [Free]
Gek Gek TermsGikTerms
ZO [String] String String Indicators [Free]
ZOI [String] String [String] Indicators [Free]
LOhU [String] String [String] Pre Indicators [Free]
LerfuString LerfuString (Maybe Clause) [Free]
LU Clause Text (Maybe Clause) [Free]
LAhE_NAhE Clause (Maybe Clause) [Free] (Maybe RelativeClauses) Sumti (Maybe Clause) [Free]
KOhA Clause [Free]
LALE Clause [Free] SumtiTail (Maybe Clause) [Free]
LA Clause [Free] (Maybe RelativeClauses) [Clause] [Free]
LI Clause [Free] Mex (Maybe Clause) [Free]
OuterQuantifier (Maybe Quantifier) Sumti (Maybe RelativeClauses)
SQuantifierSelbri Quantifier Selbri (Maybe Clause) [Free] (Maybe RelativeClauses)
GekSumti Gek Sumti Gik Sumti
JoikEkBOSumti Sumti JoikEk [Free] (Maybe Tag) Clause [Free] Sumti
JoikEkSumti Sumti [(JoikEk, [Free], Sumti)]
JoikEkKESumti Sumti JoikEk [Free] (Maybe Tag) Clause [Free] Sumti (Maybe Clause) [Free]
VUhO Sumti Clause [Free] RelativeClauses

Instances

Eq Sumti
Data Sumti
Show Sumti
Typeable Sumti

data TermsGikTerms Source

Constructors

TGT Term TermsGikTerms Term
Gik Gik

Instances

Eq TermsGikTerms
Data TermsGikTerms
Show TermsGikTerms
Typeable TermsGikTerms

data Selbri Source

Constructors

Brivla Clause [Free]
GOhA Clause (Maybe Clause) [Free]
KE Clause [Free] Selbri (Maybe Clause) [Free]
ME Clause [Free] Sumti (Maybe Clause) [Free] (Maybe Clause) [Free]
MOI NumberLerfuString Clause [Free]
NUhA Clause [Free] MexOperator
SE Clause [Free] Selbri
JAI Clause [Free] (Maybe Tag) Selbri
NAhE Clause [Free] Selbri
Linkargs Selbri Linkargs
CEI Selbri [(Clause, [Free], Selbri)]
BO Selbri Clause [Free] Selbri
GuhekGik (Maybe Clause) [Free] Guhek Selbri Gik Selbri
JekJoikBO Selbri JoikJek (Maybe Tag) Clause [Free] Selbri
JoikJek Selbri [JoikJekSelbri5]
Tanru [Selbri]
CO Selbri Clause [Free] Selbri
NA Clause [Free] Selbri
Tag Tag Selbri
NU Clause (Maybe Clause) [Free] [(JoikJek, [Free], Clause, Maybe Clause, [Free])] Sentence (Maybe Clause) [Free]

Instances

Eq Selbri
Data Selbri
Show Selbri
Typeable Selbri

data RelativeClause Source

Constructors

GOI Clause [Free] Term (Maybe Clause) [Free]
NOI Clause [Free] Sentence (Maybe Clause) [Free]
RelativeClauseZIhE RelativeClause [(Clause, [Free], RelativeClause)]

Instances

Eq RelativeClause
Data RelativeClause
Show RelativeClause
Typeable RelativeClause

data Linkargs Source

Constructors

BE Clause [Free] Term (Maybe Links) (Maybe Clause) [Free]

Instances

Eq Linkargs
Data Linkargs
Show Linkargs
Typeable Linkargs

data Links Source

Constructors

BEI Clause [Free] Term (Maybe Links)

Instances

Eq Links
Data Links
Show Links
Typeable Links

data MexOperator Source

Constructors

VUhU Clause [Free]
NAhU Clause [Free] Selbri (Maybe Clause) [Free]
MAhO Clause [Free] Mex (Maybe Clause) [Free]
NAhEOperator Clause [Free] MexOperator
SEOperator Clause [Free] MexOperator
KEOperator Clause [Free] MexOperator (Maybe Clause) [Free]
GuhekOperator Guhek MexOperator Gik MexOperator
JekJoikBOOperator MexOperator JoikJek (Maybe Tag) Clause [Free] MexOperator
JoikJekJoikKEOperator MexOperator [Either (JoikJek, [Free], MexOperator) (Joik, Maybe Tag, Clause, [Free], MexOperator, Maybe Clause, [Free])]

Instances

Eq MexOperator
Data MexOperator
Show MexOperator
Typeable MexOperator

data Operand Source

Constructors

OLerfuString LerfuString (Maybe Clause) [Free]
OperandJoikEkBO Operand JoikEk [Free] (Maybe Tag) Clause [Free] Operand
OperandJoikEk Operand [(JoikEk, [Free], Operand)]
OperandJoikEkKE Operand JoikEk [Free] (Maybe Tag) Clause [Free] Operand (Maybe Clause) [Free]
MexOperatorMex Mex [(MexOperator, Mex)]
FUhA Clause [Free] RPExpression
PEhO (Maybe Clause) [Free] MexOperator [Mex] (Maybe Clause) [Free]
BIhE Mex Clause [Free] MexOperator Mex
VEI Clause [Free] Mex (Maybe Clause) [Free]
Number Number (Maybe Clause) [Free]
NIhE Clause [Free] Selbri (Maybe Clause) [Free]
MOhE Clause [Free] Sumti (Maybe Clause) [Free]
JOhI Clause [Free] [Mex] (Maybe Clause) [Free]
GekOperand Gek Operand Gik Operand
LAhE_NAhEOperand Clause (Maybe Clause) [Free] Operand (Maybe Clause) [Free]

Instances

Eq Operand
Data Operand
Show Operand
Typeable Operand

data RPExpression Source

Constructors

RPExpression Operand (Maybe RPExpressionTail)

Instances

Eq RPExpression
Data RPExpression
Show RPExpression
Typeable RPExpression

data RPExpressionTail Source

Constructors

RPExpressionTail RPExpression MexOperator (Maybe RPExpressionTail)

Instances

Eq RPExpressionTail
Data RPExpressionTail
Show RPExpressionTail
Typeable RPExpressionTail

data Free Source

Constructors

VocativeSumti [Clause] (Maybe Sumti) (Maybe Clause)
XINumber Clause [Free] NumberLerfuString (Maybe Clause)
XIMex Clause [Free] Clause [Free] Mex (Maybe Clause)
SEI Clause [Free] (Maybe ([Term], Maybe Clause, [Free])) Selbri (Maybe Clause)
SOI Clause [Free] Sumti (Maybe Sumti) (Maybe Clause)
TO Clause Text (Maybe Clause)
MAI NumberLerfuString Clause
VocativeSelbri [Clause] (Maybe RelativeClauses) Selbri (Maybe RelativeClauses) (Maybe Clause)
VocativeCmene [Clause] (Maybe RelativeClauses) [Clause] [Free] (Maybe RelativeClauses) (Maybe Clause)

Instances

Eq Free
Data Free
Show Free
Typeable Free

data JoikJek Source

Constructors

JOI (Maybe Clause) Clause (Maybe Clause)
Jek (Maybe Clause) (Maybe Clause) Clause (Maybe Clause)
Ek (Maybe Clause) (Maybe Clause) Clause (Maybe Clause)
Gihek (Maybe Clause) (Maybe Clause) Clause (Maybe Clause)
BIhI (Maybe Clause) Clause (Maybe Clause)
GAhO Clause JoikJek Clause

Instances

Eq JoikJek
Data JoikJek
Show JoikJek
Typeable JoikJek

data Gek Source

Constructors

GA (Maybe Clause) Clause (Maybe Clause) [Free]
JoikGI Joik Clause [Free]
STagGik Tag Gik

Instances

Eq Gek
Data Gek
Show Gek
Typeable Gek

data IntervalProperty Source

Constructors

ROI Number Clause (Maybe Clause)
TAhE Clause (Maybe Clause)
ZAhO Clause (Maybe Clause)

Instances

Eq IntervalProperty
Data IntervalProperty
Show IntervalProperty
Typeable IntervalProperty

data Tag Source

Constructors

BAI (Maybe Clause) (Maybe Clause) Clause (Maybe Clause) (Maybe Clause)
FA Clause [Free]
KI Clause
CUhE Clause
Time (Maybe Clause) [(Clause, Maybe Clause, Maybe Clause)] (Maybe (Clause, Maybe (Clause, Maybe Clause))) [IntervalProperty]
Space (Maybe Clause) [SpaceOffset] (Maybe SpaceInterval) (Maybe (Clause, SpaceOffset))
SpaceTime Tense Tense
TimeSpace Tense Tense
TenseCAhA Tense Clause
CAhA Clause
NAhETenseKI (Maybe Clause) Tense (Maybe Clause)
SimpleTenseModalFree Tag [Free]
FIhO Clause [Free] Selbri (Maybe Clause) [Free]
JoikJekTag Tag [(JoikJek, [Free], Tag)]
JekJoikSTag Tag [(JoikJek, Tag)]

Instances

Eq Tag
Data Tag
Show Tag
Typeable Tag

data SpaceInterval Source

Constructors

FEhE [(Clause, IntervalProperty)]
VEhAVIhA (Maybe Clause) (Maybe Clause)
VEhAVIhAFAhA (Maybe Clause) (Maybe Clause) Clause (Maybe Clause)
VEhAVIhAFEhE (Maybe Clause) (Maybe Clause) SpaceInterval
VEhAVIhAFAhAFEhE (Maybe Clause) (Maybe Clause) Clause (Maybe Clause) SpaceInterval

Instances

Eq SpaceInterval
Data SpaceInterval
Show SpaceInterval
Typeable SpaceInterval

data SpaceOffset Source

Constructors

FAhA Clause (Maybe Clause) (Maybe Clause)

Instances

Eq SpaceOffset
Data SpaceOffset
Show SpaceOffset
Typeable SpaceOffset

type Indicators = [[([String], String)]]Source

type Term = Sumti Source

type Gik = (Clause, Maybe Clause, [Free])Source

type Gihek = JoikJek Source

type Statement = Sentence Source

type Ek = JoikJek Source

type Quantifier = Operand Source

type Paragraph = Sentence Source

type Paragraphs = Sentence Source

type Pre = ([String], String)Source

type LerfuString = [Clause]Source

type RelativeClauses = RelativeClause Source

type Mex = Operand Source

type JoikEk = JoikJek Source

type NumberLerfuString = [Clause]Source

type Guhek = (Maybe Clause, Clause, Maybe Clause, [Free])Source

type JoikJekSelbri5 = Either (JoikJek, [Free], Selbri) (Joik, Maybe Tag, Clause, [Free], Selbri, Maybe Clause, [Free])Source

type Joik = JoikJek Source

type Number = [Clause]Source

type Tense = Tag Source

SumtiSumtiTail Sumti (Maybe RelativeClauses) SumtiTail
RelativeClausesSumtiTail RelativeClauses SumtiTail
SelbriRelativeClauses Selbri (Maybe RelativeClauses)
STQuantifierSelbri Quantifier Selbri (Maybe RelativeClauses)
QuantifierSumti Quantifier Sumti

Eq SumtiTail
Data SumtiTail
Show SumtiTail
Typeable SumtiTail