lojbanParser-0.1.2: lojban parser

Safe HaskellSafe-Inferred

Language.Lojban.Parser

Documentation

parse :: String -> Either ParseError TextSource

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

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

data TermsGikTerms Source

Constructors

TGT Term TermsGikTerms Term 
Gik Gik 

Instances

data SumtiTail Source

Constructors

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

Instances

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

data RelativeClause Source

Constructors

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

Instances

data Linkargs Source

Constructors

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

Instances

data Links Source

Constructors

BEI Clause [Free] Term (Maybe 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

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

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

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

data Gek Source

Constructors

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

Instances

data IntervalProperty Source

Constructors

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

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

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

data SpaceOffset Source

Constructors

FAhA Clause (Maybe Clause) (Maybe Clause) 

Instances