lojbanParser 0.1.3 → 0.1.5
raw patch · 3 files changed
+21/−20 lines, 3 files
Files
- lojbanParser.cabal +1/−1
- src/Language/Lojban/Parser.hs +1/−0
- src/TestPappy.hs +19/−19
lojbanParser.cabal view
@@ -2,7 +2,7 @@ cabal-version: >= 1.6 name: lojbanParser-version: 0.1.3+version: 0.1.5 stability: experimental author: .iocikun.juj. <PAF01143@nifty.ne.jp> maintainer: .iocikun.juj. <PAF01143@nifty.ne.jp>
src/Language/Lojban/Parser.hs view
@@ -2,6 +2,7 @@ parse, ParseError, Text,+ Clause, Sentence(..), Sumti(..),
src/TestPappy.hs view
@@ -59,7 +59,7 @@ | HeadNIhO [Clause] [Free] (Maybe Paragraphs) | TopText [Clause] (Either [Clause] (Maybe [([String], String)])) [Free] (Maybe (JoikJek, [Free])) (Maybe Text) (Maybe Pre)- deriving Show+ deriving (Eq, Show) data Sumti = TermsPEhETerms Term [(Clause, [Free], JoikJek, [Free], Term)]@@ -91,12 +91,12 @@ | JoikEkKESumti Sumti JoikEk [Free] (Maybe Tag) Clause [Free] Sumti (Maybe Clause) [Free] | VUhO Sumti Clause [Free] RelativeClauses- deriving Show+ deriving (Eq, Show) data TermsGikTerms = TGT Term TermsGikTerms Term | Gik Gik- deriving Show+ deriving (Eq, Show) data SumtiTail = SumtiSumtiTail Sumti (Maybe RelativeClauses) SumtiTail@@ -104,7 +104,7 @@ | SelbriRelativeClauses Selbri (Maybe RelativeClauses) | STQuantifierSelbri Quantifier Selbri (Maybe RelativeClauses) | QuantifierSumti Quantifier Sumti- deriving Show+ deriving (Eq, Show) data Selbri = Brivla Clause [Free]@@ -129,7 +129,7 @@ | NU Clause (Maybe Clause) [Free] [(JoikJek, [Free], Clause, Maybe Clause, [Free])] Sentence (Maybe Clause) [Free]- deriving Show+ deriving (Eq, Show) type RelativeClauses = RelativeClause @@ -137,17 +137,17 @@ = GOI Clause [Free] Term (Maybe Clause) [Free] | NOI Clause [Free] Sentence (Maybe Clause) [Free] | RelativeClauseZIhE RelativeClause [(Clause, [Free], RelativeClause)]- deriving Show+ deriving (Eq, Show) type JoikJekSelbri5 = Either (JoikJek, [Free], Selbri) (Joik, (Maybe Tag), Clause, [Free], Selbri, Maybe Clause, [Free]) data Linkargs = BE Clause [Free] Term (Maybe Links) (Maybe Clause) [Free]- deriving Show+ deriving (Eq, Show) data Links = BEI Clause [Free] Term (Maybe Links)- deriving Show+ deriving (Eq, Show) type Quantifier = Operand type Mex = Operand@@ -164,7 +164,7 @@ [Either (JoikJek, [Free], MexOperator) (Joik, Maybe Tag, Clause, [Free], MexOperator, Maybe Clause, [Free])]- deriving Show+ deriving (Eq, Show) data Operand = OLerfuString LerfuString (Maybe Clause) [Free]@@ -183,14 +183,14 @@ | JOhI Clause [Free] [Mex] (Maybe Clause) [Free] | GekOperand Gek Operand Gik Operand | LAhE_NAhEOperand Clause (Maybe Clause) [Free] Operand (Maybe Clause) [Free]- deriving Show+ deriving (Eq, Show) data RPExpression = RPExpression Operand (Maybe RPExpressionTail)- deriving Show+ deriving (Eq, Show) data RPExpressionTail = RPExpressionTail RPExpression MexOperator (Maybe RPExpressionTail)- deriving Show+ deriving (Eq, Show) type NumberLerfuString = [Clause] type Number = [Clause]@@ -208,7 +208,7 @@ (Maybe RelativeClauses) (Maybe Clause) | VocativeCmene [Clause] (Maybe RelativeClauses) [Clause] [Free] (Maybe RelativeClauses) (Maybe Clause)- deriving Show+ deriving (Eq, Show) type Clause = ([String], String, Indicators) type Pre = ([String], String)@@ -226,12 +226,12 @@ | Gihek (Maybe Clause) (Maybe Clause) Clause (Maybe Clause) | BIhI (Maybe Clause) Clause (Maybe Clause) | GAhO Clause JoikJek Clause- deriving Show+ deriving (Eq, Show) data Gek = GA (Maybe Clause) Clause (Maybe Clause) [Free] | JoikGI Joik Clause [Free] | STagGik Tag Gik- deriving Show+ deriving (Eq, Show) -- type Guhek = ([Clause], [Free]) -- type Gik = ([Clause], [Free]) type Guhek = (Maybe Clause, Clause, Maybe Clause, [Free])@@ -242,7 +242,7 @@ = ROI Number Clause (Maybe Clause) | TAhE Clause (Maybe Clause) | ZAhO Clause (Maybe Clause)- deriving Show+ deriving (Eq, Show) data Tag = BAI (Maybe Clause) (Maybe Clause) Clause (Maybe Clause) (Maybe Clause)@@ -261,7 +261,7 @@ | FIhO Clause [Free] Selbri (Maybe Clause) [Free] | JoikJekTag Tag [(JoikJek, [Free], Tag)] | JekJoikSTag Tag [(JoikJek, Tag)]- deriving Show+ deriving (Eq, Show) data SpaceInterval = FEhE [(Clause, IntervalProperty)]@@ -269,11 +269,11 @@ | VEhAVIhAFAhA (Maybe Clause) (Maybe Clause) Clause (Maybe Clause) | VEhAVIhAFEhE (Maybe Clause) (Maybe Clause) SpaceInterval | VEhAVIhAFAhAFEhE (Maybe Clause) (Maybe Clause) Clause (Maybe Clause) SpaceInterval- deriving Show+ deriving (Eq, Show) data SpaceOffset = FAhA Clause (Maybe Clause) (Maybe Clause)- deriving Show+ deriving (Eq, Show) {- main = do