|
|
|
@ -9,13 +9,13 @@ import Network.Xmpp.Internal |
|
|
|
import Test.Hspec |
|
|
|
import Test.Hspec |
|
|
|
import Test.Tasty.QuickCheck |
|
|
|
import Test.Tasty.QuickCheck |
|
|
|
import Test.Tasty |
|
|
|
import Test.Tasty |
|
|
|
import Test.Tasty.Hspec |
|
|
|
|
|
|
|
import Test.Tasty.TH |
|
|
|
import Test.Tasty.TH |
|
|
|
|
|
|
|
import Test.Tasty.HUnit |
|
|
|
|
|
|
|
|
|
|
|
import Tests.Arbitrary () |
|
|
|
import Tests.Arbitrary () |
|
|
|
|
|
|
|
|
|
|
|
case_JidFromText :: Spec |
|
|
|
case_JidFromText :: Assertion |
|
|
|
case_JidFromText = describe "jidFromText" $ do |
|
|
|
case_JidFromText = hspec . describe "jidFromText" $ do |
|
|
|
it "parses a full JID" $ jidFromText "foo@bar.com/quux" |
|
|
|
it "parses a full JID" $ jidFromText "foo@bar.com/quux" |
|
|
|
`shouldBe` Just (Jid (Just "foo") |
|
|
|
`shouldBe` Just (Jid (Just "foo") |
|
|
|
"bar.com" |
|
|
|
"bar.com" |
|
|
|
@ -49,8 +49,8 @@ prop_jidFromText_leftInverse :: Jid -> Bool |
|
|
|
prop_jidFromText_leftInverse jid = (jidFromText $ jidToText jid) == Just jid |
|
|
|
prop_jidFromText_leftInverse jid = (jidFromText $ jidToText jid) == Just jid |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
case_LangTagParser :: Spec |
|
|
|
case_LangTagParser :: Assertion |
|
|
|
case_LangTagParser = describe "langTagFromText" $ |
|
|
|
case_LangTagParser = hspec . describe "langTagFromText" $ |
|
|
|
it "has some properties" $ pendingWith "Check requirements" |
|
|
|
it "has some properties" $ pendingWith "Check requirements" |
|
|
|
|
|
|
|
|
|
|
|
parserTests :: TestTree |
|
|
|
parserTests :: TestTree |
|
|
|
|