Merge pull request #33 from Tsukuba-Programming-Lab/#19_ImplExample

#19 example 追加

Author: Yuta1004

README.md

@@ -1,8 +1,23 @@
 # Copager2（仮）
 
-## Bin
+## 記述例（[app/src/Arithmetic.hs](./app/Arithmetic.hs)）
 
-- [Main](./app) : メインプログラム
+```haskell
+main :: IO ()
+main = do
+    input <- getLine
+    result <- runProcessor mkProcessor input
+    case result of
+        Right sexp -> print sexp
+        Left err -> putStrLn $ "error: " ++ show err
+
+mkProcessor :: ProcessorT IO ArithmeticToken ArithmeticRule (SExp _ _)
+mkProcessor = ProcessorT $ do
+    token <- lex
+    events <- parse token
+    consume events
+
+```
 
 ## Library
 
@@ -12,40 +27,14 @@
 
 ## Example
 
-### 記述例（[app/Main.hs](./app/Main.hs)）
+### 普通のパーサ
 
-```haskell
-main :: IO ()
-main = do
-    input <- getLine
-    result <- runProcessor mkProcessor input
-    case result of
-        Left err -> putStrLn $ "error: " ++ show err
-        Right sexp -> fmtPrint sexp
-
-mkProcessor :: ProcessorT IO ArithmeticToken ArithmeticRule () (SExp _ _)
-mkProcessor = ProcessorT setup process where
-    setup _ = (mkSLR1 Addition, empty)
-    process = do
-        token <- lex
-        events <- parse token
-        consume events
-```
+- [lang-arithmetic](./app/lang/src/Arithmetic.hs) : 四則演算
+- [lang-json](./app/lang/src/json.hs) : JSON
+- [lang-pl0](./app/lang/src/Pl0.hs) : Pl/0
+- [lang-xml](./app/lang/src/Xml.hs) : Xml
 
-### 実行
+### エラーハンドリング
 
-```
-$ cabal run main
-(10 + 20) * 30
-- Addition
-  - Multiplication
-    - Multiplication
-      - Number
-        - Addition
-          - Addition
-            - Multiplication
-              - Number: 10
-          - Multiplication
-            - Number: 20
-    - Number: 30
-```
+- [errh-panicmode](./app/errh/src/PanicMode.hs) : パニックモード
+- [errh-corchuelo](./app/errh/src/Corchuelo.hs) : Corchuelo (※)

app/errh_corchuelo/errh_corchuelo.cabal renamed to app/errh/errh.cabal

@@ -1,12 +1,22 @@
 cabal-version:      3.0
-name:               errh-corchuelo
+name:               errh
 version:            0.1.0.0
 author:             NakagamiYuta
 maintainer:         guguru0014@gmail.com
 build-type:         Simple
 
+executable errh-panicmode
+    main-is:        PanicMode.hs
+    hs-source-dirs: src
+    build-depends:
+        base,
+        mtl,
+        copager2,
+        language,
+        err-handling,
+
 executable errh-corchuelo
-    main-is:        Main.hs
+    main-is:        corchuelo.hs
     hs-source-dirs: src
     build-depends:
         base,

app/errh_corchuelo/src/Main.hs renamed to app/errh/src/Corchuelo.hs

@@ -0,0 +1,42 @@
+cabal-version:      3.0
+name:               lang
+version:            0.1.0.0
+author:             NakagamiYuta
+maintainer:         guguru0014@gmail.com
+build-type:         Simple
+
+executable lang-arithmetic
+    main-is:        Arithmetic.hs
+    hs-source-dirs: src
+    build-depends:
+        base,
+        mtl,
+        copager2,
+        language,
+
+executable lang-json
+    main-is:        Json.hs
+    hs-source-dirs: src
+    build-depends:
+        base,
+        mtl,
+        copager2,
+        language,
+
+executable lang-pl0
+    main-is:        Pl0.hs
+    hs-source-dirs: src
+    build-depends:
+        base,
+        mtl,
+        copager2,
+        language,
+
+executable lang-xml
+    main-is:        Xml.hs
+    hs-source-dirs: src
+    build-depends:
+        base,
+        mtl,
+        copager2,
+        language,

app/errh_panicmode/src/Main.hs renamed to app/errh/src/PanicMode.hs

@@ -0,0 +1,25 @@
+{-# LANGUAGE PartialTypeSignatures #-}
+{-# OPTIONS_GHC -Wno-partial-type-signatures #-}
+
+import Prelude hiding (lex)
+
+import Copager2.Prelude
+import Copager2.Lex.RegexLex (lex)
+import Copager2.Parse.LR.Common.Driver (parse)
+import Copager2.IR.SExp (SExp, consume)
+
+import Language.Json (JsonToken, JsonRule)
+
+main :: IO ()
+main = do
+    input <- getLine
+    result <- runProcessor mkProcessor input
+    case result of
+        Right sexp -> print sexp
+        Left err -> putStrLn $ "error: " ++ show err
+
+mkProcessor :: ProcessorT IO JsonToken JsonRule (SExp _ _)
+mkProcessor = ProcessorT $ do
+    token <- lex
+    events <- parse token
+    consume events

app/errh_panicmode/errh_panicmode.cabal

@@ -0,0 +1,25 @@
+{-# LANGUAGE PartialTypeSignatures #-}
+{-# OPTIONS_GHC -Wno-partial-type-signatures #-}
+
+import Prelude hiding (lex)
+
+import Copager2.Prelude
+import Copager2.Lex.RegexLex (lex)
+import Copager2.Parse.LR.Common.Driver (parse)
+import Copager2.IR.SExp (SExp, consume)
+
+import Language.Pl0 (Pl0Token, Pl0Rule)
+
+main :: IO ()
+main = do
+    input <- getLine
+    result <- runProcessor mkProcessor input
+    case result of
+        Right sexp -> print sexp
+        Left err -> putStrLn $ "error: " ++ show err
+
+mkProcessor :: ProcessorT IO Pl0Token Pl0Rule (SExp _ _)
+mkProcessor = ProcessorT $ do
+    token <- lex
+    events <- parse token
+    consume events

app/lang/lang.cabal

@@ -0,0 +1,25 @@
+{-# LANGUAGE PartialTypeSignatures #-}
+{-# OPTIONS_GHC -Wno-partial-type-signatures #-}
+
+import Prelude hiding (lex)
+
+import Copager2.Prelude
+import Copager2.Lex.RegexLex (lex)
+import Copager2.Parse.LR.Common.Driver (parse)
+import Copager2.IR.SExp (SExp, consume)
+
+import Language.Xml (XmlToken, XmlRule)
+
+main :: IO ()
+main = do
+    input <- getLine
+    result <- runProcessor mkProcessor input
+    case result of
+        Right sexp -> print sexp
+        Left err -> putStrLn $ "error: " ++ show err
+
+mkProcessor :: ProcessorT IO XmlToken XmlRule (SExp _ _)
+mkProcessor = ProcessorT $ do
+    token <- lex
+    events <- parse token
+    consume events