{- This file is part of razom-text-util.
 -
 - Written in 2015 by fr33domlover <fr33domlover@rel4tion.org>.
 -
 - ♡ Copying is an act of love. Please copy, reuse and share.
 -
 - The author(s) have dedicated all copyright and related and neighboring
 - rights to this software to the public domain worldwide. This software is
 - distributed without any warranty.
 -
 - You should have received a copy of the CC0 Public Domain Dedication along
 - with this software. If not, see
 - <http://creativecommons.org/publicdomain/zero/1.0/>.
 -}

import Control.Monad (unless)
import Data.Smaoin (realnum)
import System.Exit
import Test.QuickCheck
import Test.QuickCheck.Test
import Text.Printf
import Text.Razom
import Text.Regex.Applicative (match)

main :: IO ()
main = do
    results <- mapM (\ (name ,action) -> printf "%-25s: " name >> action) tests
    unless (all isSuccess results) exitFailure

prop_digitsToNum :: Bool
prop_digitsToNum = digitsToNum 2  [1, 0, 1, 1, 0, 1] == 45
                && digitsToNum 16 [15, 15]           == 255

prop_fromDigits :: Bool
prop_fromDigits = fromDigits [1, 4, 2] [8, 5, 7] == realnum 142857 (-3)

prop_uid :: Bool
prop_uid = match uid "<12<34\\>46\\\\7>" == Just "12<34>46\\7"

prop_generator :: Bool
prop_generator = match generator "<%>"      == Just ""
              && match generator "<%label>" == Just "label"

prop_escapeUid :: Bool
prop_escapeUid = escapeUid "1>2\\3" == "1\\>2\\\\3"

prop_unescapeUid :: Bool
prop_unescapeUid = unescapeUid "1\\>2\\\\3" == "1>2\\3"

prop_literal :: Bool
prop_literal = match literal "{{1\\}2\\\\3}}" == Just "1\\}2\\\\3"

tests :: [(String, IO Result)]
tests =
    [ ("digitsToNum", quickCheckResult prop_digitsToNum)
    , ("fromDigits",  quickCheckResult prop_fromDigits)
    , ("uid",         quickCheckResult prop_uid)
    , ("generator",   quickCheckResult prop_generator)
    , ("escapeUid",   quickCheckResult prop_escapeUid)
    , ("unescapeUid", quickCheckResult prop_unescapeUid)
    , ("literal",     quickCheckResult prop_literal)
    ]