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
Show 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
Show Sumti

data TermsGikTerms Source

Constructors

TGT Term TermsGikTerms Term
Gik Gik

Instances

Eq TermsGikTerms
Show TermsGikTerms

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

Eq SumtiTail
Show SumtiTail

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
Show 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
Show RelativeClause

data Linkargs Source

Constructors

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

Instances

Eq Linkargs
Show Linkargs

data Links Source

Constructors

BEI Clause [Free] Term (Maybe Links)

Instances

Eq Links
Show 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
Show 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
Show Operand

data RPExpression Source

Constructors

RPExpression Operand (Maybe RPExpressionTail)

Instances

Eq RPExpression
Show RPExpression

data RPExpressionTail Source

Constructors

RPExpressionTail RPExpression MexOperator (Maybe RPExpressionTail)

Instances

Eq RPExpressionTail
Show 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
Show 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
Show JoikJek

data Gek Source

Constructors

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

Instances

Eq Gek
Show Gek

data IntervalProperty Source

Constructors

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

Instances

Eq IntervalProperty
Show 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
Show 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
Show SpaceInterval

data SpaceOffset Source

Constructors

FAhA Clause (Maybe Clause) (Maybe Clause)

Instances

Eq SpaceOffset
Show SpaceOffset