git.iko.soy/generic-lens
on master help sign in
Use new inspectTest functionality to convert to unit tests
3283578Matthew Pickering
generic-lens.cabal+2
compare with master
unifiedsplit
@@ -79,11 +79,13 @@ test-suite generic-lens-test
79 type: exitcode-stdio-1.0
79 type: exitcode-stdio-1.0
80 hs-source-dirs: test
80 hs-source-dirs: test
81 main-is: Spec.hs
81 main-is: Spec.hs
82+ other-modules: Util
82
83
83 build-depends: base >= 4.9 && <= 5.0
84 build-depends: base >= 4.9 && <= 5.0
84 , generic-lens
85 , generic-lens
85 , profunctors
86 , profunctors
86 , inspection-testing >= 0.1
87 , inspection-testing >= 0.1
88+ , HUnit
87
89
88 default-language: Haskell2010
90 default-language: Haskell2010
89 ghc-options: -Wall -O2 -dsuppress-all
91 ghc-options: -Wall -O2 -dsuppress-all
test/Spec.hs+16−15
@@ -20,9 +20,11 @@ import Data.Generics.Internal.Lens (prismPRavel)
20import Data.Generics.Sum
20import Data.Generics.Sum
21import Data.Generics.Product.Boggle
21import Data.Generics.Product.Boggle
22import Test.Inspection
22import Test.Inspection
23+import Test.HUnit
24+import Util
23
25
24main :: IO ()
26main :: IO ()
25−main = putStrLn "Hello world"
27+main = () <$ runTestTT tests
26
28
27data Record = MkRecord
29data Record = MkRecord
28 { fieldA :: Int
30 { fieldA :: Int
@@ -175,17 +177,16 @@ subtypePrismGeneric = _Sub
175sum1TypePrism :: Prism Sum1 Sum1 Int Int
177sum1TypePrism :: Prism Sum1 Sum1 Int Int
176sum1TypePrism = _Typed @Int
178sum1TypePrism = _Typed @Int
177
179
180+tests = TestList $ map mkHUnitTest
178−inspect $ 'fieldALensManual === 'fieldALensName
181+ [ $(inspectTest $ 'fieldALensManual === 'fieldALensName)
179−inspect $ 'fieldALensManual === 'fieldALensType
182+ , $(inspectTest $ 'fieldALensManual === 'fieldALensType)
180−inspect $ 'fieldALensManual === 'fieldALensPos
183+ , $(inspectTest $ 'fieldALensManual === 'fieldALensPos)
181−inspect $ 'subtypeLensManual === 'subtypeLensGeneric
184+ , $(inspectTest $ 'subtypeLensManual === 'subtypeLensGeneric)
182−inspect $ 'typeChangingManual === 'typeChangingGeneric
185+ , $(inspectTest $ 'typeChangingManual === 'typeChangingGeneric)
183−inspect $ 'typeChangingManual === 'typeChangingGenericPos
186+ , $(inspectTest $ 'typeChangingManual === 'typeChangingGenericPos)
184−inspect $ 'typeChangingManualCompose === 'typeChangingGenericCompose
187+ , $(inspectTest $ 'typeChangingManualCompose === 'typeChangingGenericCompose)
185−inspect $ 'intTraversalManual === 'intTraversalDerived
188+ , $(inspectTest $ 'intTraversalManual === 'intTraversalDerived)
186−inspect $ 'sum1PrismManual === 'sum1PrismB
189+ , $(inspectTest $ 'sum1PrismManual === 'sum1PrismB)
187−inspect $ 'sum1PrismPManual === 'sum1PrismBP
190+ , $(inspectTest $ 'sum1PrismPManual === 'sum1PrismBP)
188−inspect $ 'subtypePrismManual === 'subtypePrismGeneric
191+ , $(inspectTest $ 'subtypePrismManual === 'subtypePrismGeneric)
189−inspect $ 'sum1PrismManual === 'sum1TypePrism
192+ , $(inspectTest $ 'sum1PrismManual === 'sum1TypePrism) ]
190−
191−