From 5e62ab18c186a9d9bc7178bcda7451735b8f9b4a Mon Sep 17 00:00:00 2001 From: Taylor Fausak Date: Sat, 29 May 2021 11:56:31 +0000 Subject: [PATCH] Split tests into groups --- src/test/Main.hs | 125 ++++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 123 insertions(+), 2 deletions(-) diff --git a/src/test/Main.hs b/src/test/Main.hs index fe11f9a..03f28af 100644 --- a/src/test/Main.hs +++ b/src/test/Main.hs @@ -92,7 +92,14 @@ main = runTestTTAndExit $ "Witch" ~: ] ] , "Instances" ~: - [ "From Int8 Int16" ~: + [ "From a a" ~: + let f = Witch.from @Int @Int in + [ f 0 ~?= 0 + ] + + -- Int8 + + , "From Int8 Int16" ~: let f = Witch.from @Int.Int8 @Int.Int16 in [ f 0 ~?= 0 , f 127 ~?= 127 @@ -170,6 +177,9 @@ main = runTestTTAndExit $ "Witch" ~: , f 127 ~?= 127 , f (-128) ~?= (-128) ] + + -- Int16 + , "TryFrom Int16 Int8" ~: let f = hush . Witch.tryFrom @Int.Int16 @Int.Int8 in [ f 0 ~?= Just 0 @@ -251,7 +261,9 @@ main = runTestTTAndExit $ "Witch" ~: , f 32767 ~?= 32767 , f (-32768) ~?= (-32768) ] - ] + + -- Int32 + , "TryFrom Int32 Int8" ~: let f = hush . Witch.tryFrom @Int.Int32 @Int.Int8 in [ f 0 ~?= Just 0 @@ -338,6 +350,9 @@ main = runTestTTAndExit $ "Witch" ~: , f 2147483647 ~?= 2147483647 , f (-2147483648) ~?= (-2147483648) ] + + -- Int64 + , "TryFrom Int64 Int8" ~: let f = hush . Witch.tryFrom @Int.Int64 @Int.Int8 in [ f 0 ~?= Just 0 @@ -434,6 +449,9 @@ main = runTestTTAndExit $ "Witch" ~: , f (-9007199254740991) ~?= Just (-9007199254740991) , f (-9007199254740992) ~?= Nothing ] + + -- Int + , "TryFrom Int Int8" ~: let f = hush . Witch.tryFrom @Int @Int.Int8 in [ f 0 ~?= Just 0 @@ -541,6 +559,9 @@ main = runTestTTAndExit $ "Witch" ~: then f (-9007199254740992) ~?= Nothing else f x ~?= Just (fromIntegral x) ] + + -- Integer + , "TryFrom Integer Int8" ~: let f = hush . Witch.tryFrom @Integer @Int.Int8 in [ f 0 ~?= Just 0 @@ -638,6 +659,9 @@ main = runTestTTAndExit $ "Witch" ~: , f (-9007199254740991) ~?= Just (-9007199254740991) , f (-9007199254740992) ~?= Nothing ] + + -- Word8 + , "From Word8 Word16" ~: let f = Witch.from @Word.Word8 @Word.Word16 in [ f 0 ~?= 0 @@ -704,6 +728,9 @@ main = runTestTTAndExit $ "Witch" ~: [ f 0 ~?= 0 , f 255 ~?= 255 ] + + -- Word16 + , "TryFrom Word16 Word8" ~: let f = hush . Witch.tryFrom @Word.Word16 @Word.Word8 in [ f 0 ~?= Just 0 @@ -772,6 +799,9 @@ main = runTestTTAndExit $ "Witch" ~: [ f 0 ~?= 0 , f 65535 ~?= 65535 ] + + -- Word32 + , "TryFrom Word32 Word8" ~: let f = hush . Witch.tryFrom @Word.Word32 @Word.Word8 in [ f 0 ~?= Just 0 @@ -845,6 +875,9 @@ main = runTestTTAndExit $ "Witch" ~: [ f 0 ~?= 0 , f 4294967295 ~?= 4294967295 ] + + -- Word64 + , "TryFrom Word64 Word8" ~: let f = hush . Witch.tryFrom @Word.Word64 @Word.Word8 in [ f 0 ~?= Just 0 @@ -922,6 +955,9 @@ main = runTestTTAndExit $ "Witch" ~: , f 9007199254740991 ~?= Just 9007199254740991 , f 9007199254740992 ~?= Nothing ] + + -- Word + , "TryFrom Word Word8" ~: let f = hush . Witch.tryFrom @Word @Word.Word8 in [ f 0 ~?= Just 0 @@ -1007,6 +1043,9 @@ main = runTestTTAndExit $ "Witch" ~: then f 9007199254740992 ~?= Nothing else f x ~?= Just (fromIntegral x) ] + + -- Natural + , "TryFrom Natural Word8" ~: let f = hush . Witch.tryFrom @Natural.Natural @Word.Word8 in [ f 0 ~?= Just 0 @@ -1084,6 +1123,9 @@ main = runTestTTAndExit $ "Witch" ~: , f 9007199254740991 ~?= Just 9007199254740991 , f 9007199254740992 ~?= Nothing ] + + -- Float + , "TryFrom Float Int8" ~: let f = hush . Witch.tryFrom @Float @Int.Int8 in [ f 0 ~?= Just 0 @@ -1227,6 +1269,9 @@ main = runTestTTAndExit $ "Witch" ~: , f (1 / 0) ~?= (1 / 0) , f (-1 / 0) ~?= (-1 / 0) ] + + -- Double + , "TryFrom Double Int8" ~: let f = hush . Witch.tryFrom @Double @Int.Int8 in [ f 0 ~?= Just 0 @@ -1376,6 +1421,9 @@ main = runTestTTAndExit $ "Witch" ~: , f (1 / 0) ~?= (1 / 0) , f (-1 / 0) ~?= (-1 / 0) ] + + -- Ratio + , "From a (Ratio a)" ~: let f = Witch.from @Int @(Ratio.Ratio Int) in [ Witch.from @Integer @Rational 0 ~?= 0 @@ -1400,6 +1448,9 @@ main = runTestTTAndExit $ "Witch" ~: , f 0.5 ~?= 0.5 , f (-0.5) ~?= (-0.5) ] + + -- Fixed + , "From Integer (Fixed a)" ~: let f = Witch.from @Integer @Fixed.Deci in [ Witch.from @Integer @Fixed.Uni 1 ~?= 1 @@ -1410,6 +1461,9 @@ main = runTestTTAndExit $ "Witch" ~: [ Witch.from @Fixed.Uni @Integer 1 ~?= 1 , f 1 ~?= 10 ] + + -- Complex + , "From a (Complex a)" ~: let f = Witch.from @Float @(Complex.Complex Float) in [ Witch.from @Double @(Complex.Complex Double) 1 ~?= 1 @@ -1422,6 +1476,9 @@ main = runTestTTAndExit $ "Witch" ~: , f 1 ~?= Just 1 , f (0 Complex.:+ 1) ~?= Nothing ] + + -- NonEmpty + , "TryFrom [a] (NonEmpty a)" ~: let f = hush . Witch.tryFrom @[Int] @(NonEmpty.NonEmpty Int) in [ f [] ~?= Nothing @@ -1433,6 +1490,9 @@ main = runTestTTAndExit $ "Witch" ~: [ f (1 NonEmpty.:| []) ~?= [1] , f (1 NonEmpty.:| [2]) ~?= [1, 2] ] + + -- Set + , "From [a] (Set a)" ~: let f = Witch.from @[Char] @(Set.Set Char) in [ f [] ~?= Set.fromList [] @@ -1446,6 +1506,9 @@ main = runTestTTAndExit $ "Witch" ~: , f (Set.fromList ['a']) ~?= ['a'] , f (Set.fromList ['a', 'b']) ~?= ['a', 'b'] ] + + -- IntSet + , "From [Int] IntSet" ~: let f = Witch.from @[Int] @IntSet.IntSet in [ f [] ~?= IntSet.fromList [] @@ -1458,6 +1521,9 @@ main = runTestTTAndExit $ "Witch" ~: , f (IntSet.fromList [1]) ~?= [1] , f (IntSet.fromList [1, 2]) ~?= [1, 2] ] + + -- Map + , "From [(k, v)] (Map k v)" ~: let f = Witch.from @[(Char, Int)] @(Map.Map Char Int) in [ f [] ~?= Map.empty @@ -1471,6 +1537,9 @@ main = runTestTTAndExit $ "Witch" ~: , f (Map.fromList [('a', 1)]) ~?= [('a', 1)] , f (Map.fromList [('a', 1), ('b', 2)]) ~?= [('a', 1), ('b', 2)] ] + + -- IntMap + , "From [(Int, v)] (IntMap v)" ~: let f = Witch.from @[(Int, Char)] @(IntMap.IntMap Char) in [ f [] ~?= IntMap.fromList [] @@ -1484,6 +1553,9 @@ main = runTestTTAndExit $ "Witch" ~: , f (IntMap.fromList [(1, 'a')]) ~?= [(1, 'a')] , f (IntMap.fromList [(1, 'a'), (2, 'b')]) ~?= [(1, 'a'), (2, 'b')] ] + + -- Seq + , "From [a] (Seq a)" ~: let f = Witch.from @[Int] @(Seq.Seq Int) in [ f [] ~?= Seq.fromList [] @@ -1496,6 +1568,9 @@ main = runTestTTAndExit $ "Witch" ~: , f (Seq.fromList [1]) ~?= [1] , f (Seq.fromList [1, 2]) ~?= [1, 2] ] + + -- ByteString + , "From [Word8] ByteString" ~: let f = Witch.from @[Word.Word8] @ByteString.ByteString in [ f [] ~?= ByteString.pack [] @@ -1526,6 +1601,9 @@ main = runTestTTAndExit $ "Witch" ~: , f (ByteString.pack [0x61]) ~?= Just (Text.pack "a") , f (ByteString.pack [0xff]) ~?= Nothing ] + + -- LazyByteString + , "From [Word8] LazyByteString" ~: let f = Witch.from @[Word.Word8] @LazyByteString.ByteString in [ f [] ~?= LazyByteString.pack [] @@ -1550,6 +1628,9 @@ main = runTestTTAndExit $ "Witch" ~: , f (LazyByteString.pack [0x61]) ~?= Just (LazyText.pack "a") , f (LazyByteString.pack [0xff]) ~?= Nothing ] + + -- ShortByteString + , "From [Word8] ShortByteString" ~: let f = Witch.from @[Word.Word8] @ShortByteString.ShortByteString in [ f [] ~?= ShortByteString.pack [] @@ -1568,6 +1649,9 @@ main = runTestTTAndExit $ "Witch" ~: , f (ShortByteString.pack [0x00]) ~?= ByteString.pack [0x00] , f (ShortByteString.pack [0x0f, 0xf0]) ~?= ByteString.pack [0x0f, 0xf0] ] + + -- Text + , "From Text LazyText" ~: let f = Witch.from @Text.Text @LazyText.Text in [ f (Text.pack "") ~?= LazyText.pack "" @@ -1579,6 +1663,9 @@ main = runTestTTAndExit $ "Witch" ~: [ f (Text.pack "") ~?= ByteString.pack [] , f (Text.pack "a") ~?= ByteString.pack [0x61] ] + + -- LazyText + , "From LazyText Text" ~: let f = Witch.from @LazyText.Text @Text.Text in [ f (LazyText.pack "") ~?= Text.pack "" @@ -1590,6 +1677,9 @@ main = runTestTTAndExit $ "Witch" ~: [ f (LazyText.pack "") ~?= LazyByteString.pack [] , f (LazyText.pack "a") ~?= LazyByteString.pack [0x61] ] + + -- String + , "From String Text" ~: let f = Witch.from @String @Text.Text in [ f "" ~?= Text.pack "" @@ -1614,6 +1704,9 @@ main = runTestTTAndExit $ "Witch" ~: , f (LazyText.pack "a") ~?= "a" , f (LazyText.pack "ab") ~?= "ab" ] + + -- Day + , "From Integer Day" ~: let f = Witch.from @Integer @Time.Day in [ f 0 ~?= Time.ModifiedJulianDay 0 @@ -1622,10 +1715,16 @@ main = runTestTTAndExit $ "Witch" ~: let f = Witch.from @Time.Day @Integer in [ f (Time.ModifiedJulianDay 0) ~?= 0 ] + + -- DayOfWeek + , "From Day DayOfWeek" ~: let f = Witch.from @Time.Day @Time.DayOfWeek in [ f (Time.ModifiedJulianDay 0) ~?= Time.Wednesday ] + + -- UniversalTime + , "From Rational UniversalTime" ~: let f = Witch.from @Rational @Time.UniversalTime in [ f 0 ~?= Time.ModJulianDate 0 @@ -1634,6 +1733,9 @@ main = runTestTTAndExit $ "Witch" ~: let f = Witch.from @Time.UniversalTime @Rational in [ f (Time.ModJulianDate 0) ~?= 0 ] + + -- DiffTime + , "From Pico DiffTime" ~: let f = Witch.from @Fixed.Pico @Time.DiffTime in [ f 0 ~?= 0 @@ -1642,6 +1744,9 @@ main = runTestTTAndExit $ "Witch" ~: let f = Witch.from @Time.DiffTime @Fixed.Pico in [ f 0 ~?= 0 ] + + -- NominalDiffTime + , "From Pico NominalDiffTime" ~: let f = Witch.from @Fixed.Pico @Time.NominalDiffTime in [ f 0 ~?= 0 @@ -1650,6 +1755,9 @@ main = runTestTTAndExit $ "Witch" ~: let f = Witch.from @Time.NominalDiffTime @Fixed.Pico in [ f 0 ~?= 0 ] + + -- POSIXTime + , "From SystemTime POSIXTime" ~: let f = Witch.from @Time.SystemTime @Time.POSIXTime in [ f (Time.MkSystemTime 0 0) ~?= 0 @@ -1662,6 +1770,9 @@ main = runTestTTAndExit $ "Witch" ~: let f = Witch.from @Time.POSIXTime @Time.UTCTime in [ f 0 ~?= unixEpoch ] + + -- SystemTime + , "From UTCTime SystemTime" ~: let f = Witch.from @Time.UTCTime @Time.SystemTime in [ f unixEpoch ~?= Time.MkSystemTime 0 0 @@ -1674,6 +1785,9 @@ main = runTestTTAndExit $ "Witch" ~: let f = Witch.from @Time.SystemTime @Time.UTCTime in [ f (Time.MkSystemTime 0 0) ~?= unixEpoch ] + + -- TimeOfDay + , "From DiffTime TimeOfDay" ~: let f = Witch.from @Time.DiffTime @Time.TimeOfDay in [ f 0 ~?= Time.TimeOfDay 0 0 0 @@ -1690,6 +1804,9 @@ main = runTestTTAndExit $ "Witch" ~: let f = Witch.from @Time.TimeOfDay @Rational in [ f (Time.TimeOfDay 0 0 0) ~?= 0 ] + + -- CalendarDiffTime + , "From CalendarDiffDays CalendarDiffTime" ~: let f = Witch.from @Time.CalendarDiffDays @Time.CalendarDiffTime in [ f (Time.CalendarDiffDays 0 0) ~?= Time.CalendarDiffTime 0 0 @@ -1698,10 +1815,14 @@ main = runTestTTAndExit $ "Witch" ~: let f = Witch.from @Time.NominalDiffTime @Time.CalendarDiffTime in [ f 0 ~?= Time.CalendarDiffTime 0 0 ] + + -- ZonedTime + , "From ZonedTime UTCTime" ~: let f = Witch.from @Time.ZonedTime @Time.UTCTime in [ f (Time.ZonedTime (Time.LocalTime (Time.ModifiedJulianDay 0) (Time.TimeOfDay 0 0 0)) Time.utc) ~?= Time.UTCTime (Time.ModifiedJulianDay 0) 0 ] + ] ] unixEpoch :: Time.UTCTime