iri-0.5: test/Main.hs

module Main where

import Iri.Parsing.ByteString qualified as D
import Iri.Parsing.Text qualified as F
import Iri.QuasiQuoter
import Iri.Rendering.ByteString qualified as E
import Iri.Rendering.Text qualified as C
import Test.Tasty
import Test.Tasty.HUnit
import Prelude

main :: IO ()
main =
  defaultMain
    $ testGroup "All tests"
    $ [ testCase "No path"
          $ assertEqual
            ""
            (Right "https://ru.wikipedia.org?query")
            ( fmap
                C.iri
                (D.uri "https://ru.wikipedia.org?query")
            ),
        testCase "Cyrillic path" $ do
          assertEqual
            ""
            (Right "https://ru.wikipedia.org/wiki/Баренцбург")
            ( fmap
                C.iri
                (D.uri "https://ru.wikipedia.org/wiki/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D1%86%D0%B1%D1%83%D1%80%D0%B3")
            ),
        testCase "Complex query" $ do
          assertEqual
            ""
            (Right "https://news.yandex.ru/yandsearch?cl4url=iz.ru/669426/2017-11-10/smi-inoagenty-obiazhut-soobshchat-ob-etom-v-sotcsetiakh&lang=ru&from=main_portal&stid=5bdMOjSopWu34pdT-391&lr=213&msid=1510328052.50316.22874.7658&mlid=1510327228.glob_225.904af5bb")
            ( fmap
                C.iri
                (D.uri "https://news.yandex.ru/yandsearch?cl4url=iz.ru/669426/2017-11-10/smi-inoagenty-obiazhut-soobshchat-ob-etom-v-sotcsetiakh&lang=ru&from=main_portal&stid=5bdMOjSopWu34pdT-391&lr=213&msid=1510328052.50316.22874.7658&mlid=1510327228.glob_225.904af5bb")
            ),
        testCase "Rendering"
          $ let inputs =
                  [ "https://ru.wikipedia.org/wiki/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D1%86%D0%B1%D1%83%D1%80%D0%B3",
                    "https://news.yandex.ru/yandsearch?cl4url=iz.ru/669426/2017-11-10/smi-inoagenty-obiazhut-soobshchat-ob-etom-v-sotcsetiakh&lang=ru&from=main_portal&stid=5bdMOjSopWu34pdT-391&lr=213&msid=1510328052.50316.22874.7658&mlid=1510327228.glob_225.904af5bb"
                  ]
             in forM_ inputs $ \input ->
                  assertEqual "" (Right input) (fmap E.uri (D.uri input)),
        testCase "about:blank" $ assertEqual "" "about:blank" (E.uri [uri|about:blank|]),
        testCase "Empty hierarchy" $ assertEqual "" "about:" (E.uri [uri|about:|]),
        testCase "HTTP URI Text Rendering"
          $ assertEqual
            ""
            "https://ru.wikipedia.org/wiki/Баренцбург"
            (C.httpIri [httpUri|https://ru.wikipedia.org/wiki/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D1%86%D0%B1%D1%83%D1%80%D0%B3|]),
        testCase "HTTP URI Show"
          $ assertEqual
            ""
            "\"https://ru.wikipedia.org/wiki/Баренцбург\""
            (show [httpUri|https://ru.wikipedia.org/wiki/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D1%86%D0%B1%D1%83%D1%80%D0%B3|]),
        testCase "Messed up URIs"
          $ let testUri uri =
                  assertEqual "Original and parsed URIs are not equal" (Right uri) (fmap E.uri (D.uri uri))
             in traverse_
                  testUri
                  [ "http://m.ru.hellomagazine.com/krasota-i-zdorove/ukhod-za-kozhey-i-volosami/11373-5-prichesok-kotorye-sdelayut-vas-molozhe.html?utm_medium=teaser&utm_campaign=gnezdo1&utm_term=15376&utm_content=[TID",
                    "https://m.tsargrad.tv/news/komediju_113156?%90\"%20"
                  ],
        testCase "User Info"
          $ assertEqual "" (Right "http://user:password@localhost:993") (fmap E.uri (D.uri "http://user:password@localhost:993")),
        testGroup "IRI parser vs. URI parser"
          $ let testUriIri iri uri =
                  testCase (iri <> " vs. " <> uri)
                    $ assertEqual "" (F.iri (fromString iri)) (D.uri (fromString uri))
             in [ testUriIri
                    "https://ru.wikipedia.org/wiki/Баренцбург"
                    "https://ru.wikipedia.org/wiki/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D1%86%D0%B1%D1%83%D1%80%D0%B3",
                  testUriIri
                    "https://www.w3.org/International/articles/idn-and-iri/JP納豆/引き割り納豆.html"
                    "https://www.w3.org/International/articles/idn-and-iri/JP%E7%B4%8D%E8%B1%86/%E5%BC%95%E3%81%8D%E5%89%B2%E3%82%8A%E7%B4%8D%E8%B1%86.html",
                  testUriIri
                    "http://点心和烤鸭.w3.mag.keio.ac.jp"
                    "http://xn--0trv4xfvn8el34t.w3.mag.keio.ac.jp/"
                ],
        testGroup "Mess"
          $ [ testCase "1"
                $ assertEqual
                  ""
                  (Right "https://www.kupivip.ru/catalog/muzhchinam/odezhda?srcid=goo-tm-open&lpu=|source:google|medium:cpc|adposition:1t1|creative:195388077752|term:%2B%D0%B2%D0%B8%D0%BF%20%2B%D0%BA%D1%83%D0%BF%D0%B8|campaignid:801742449|campaign:goo_tm_mob_s_male|other:m|ad:1|&gclid=CjwKEAjwgb3OBRDNi_2TwZ6u7D4SJADsmW8QKiRxDZZ0hRAnyspAcVW582c7zzQSA7CC0FavPR63dBoCrKPw_wcB")
                  (fmap E.uri (D.uri "https://www.kupivip.ru/catalog/muzhchinam/odezhda?srcid=goo-tm-open&lpu=|source:google|medium:cpc|adposition:1t1|creative:195388077752|term:%2B%D0%B2%D0%B8%D0%BF%20%2B%D0%BA%D1%83%D0%BF%D0%B8|campaignid:801742449|campaign:goo_tm_mob_s_male|other:m|ad:1|&gclid=CjwKEAjwgb3OBRDNi_2TwZ6u7D4SJADsmW8QKiRxDZZ0hRAnyspAcVW582c7zzQSA7CC0FavPR63dBoCrKPw_wcB")),
              testGroup "2"
                $ [ testCase "show"
                      $ assertEqual
                        ""
                        (Right "\"https://www.pleer.ru/search_%e4%eb%ff+%e1%e5%eb%fc%ff+%f1%f3%f8%e8%eb%ea%e0.html\"")
                        (fmap show (D.uri "https://www.pleer.ru/search_%e4%eb%ff+%e1%e5%eb%fc%ff+%f1%f3%f8%e8%eb%ea%e0.html")),
                    testCase "Text rendering"
                      $ assertEqual
                        ""
                        (Right "https://www.pleer.ru/search_%e4%eb%ff+%e1%e5%eb%fc%ff+%f1%f3%f8%e8%eb%ea%e0.html")
                        (fmap C.iri (D.uri "https://www.pleer.ru/search_%e4%eb%ff+%e1%e5%eb%fc%ff+%f1%f3%f8%e8%eb%ea%e0.html"))
                  ]
            ]
      ]