tfausak/witch
1
1
Fork 0
mirror of https://github.com/tfausak/witch.git synced 2024-11-26 09:43:03 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add tests for tryVia

Browse Source
This commit is contained in:
Taylor Fausak 2021-05-10 21:34:04 -04:00
parent cdd86e9e2f
commit a8c5fce4b6
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/test/Main.hs
View File

@ -62,6 +62,12 @@ main = Hspec.hspec . Hspec.describe "Witch" $ do
Hspec.describe "tryInto" $ do Hspec.describe "tryInto" $ do
test $ hush (Witch.tryInto @Int.Int8 (1 :: Int.Int16)) `Hspec.shouldBe` Just 1 test $ hush (Witch.tryInto @Int.Int8 (1 :: Int.Int16)) `Hspec.shouldBe` Just 1
Hspec.describe "tryVia" $ do
let f = Witch.tryVia @Int.Int16 @Int.Int32 @Int.Int8
test $ hush (f 1) `Hspec.shouldBe` Just 1
test $ hush (f 128) `Hspec.shouldBe` Nothing
test $ hush (f 32768) `Hspec.shouldBe` Nothing
Hspec.describe "unsafeFrom" $ do Hspec.describe "unsafeFrom" $ do
test $ Witch.unsafeFrom (1 :: Int.Int16) `Hspec.shouldBe` (1 :: Int.Int8) test $ Witch.unsafeFrom (1 :: Int.Int16) `Hspec.shouldBe` (1 :: Int.Int8)
test $ Exception.evaluate (Witch.unsafeFrom @Int.Int16 @Int.Int8 128) `Hspec.shouldThrow` Hspec.anyException test $ Exception.evaluate (Witch.unsafeFrom @Int.Int16 @Int.Int8 128) `Hspec.shouldThrow` Hspec.anyException