web-routing 0.1.1 → 0.1.2

raw patch · 2 files changed

+18/−1 lines, 2 files

Files

• tests/Tree.hs +16/−0
• web-routing.cabal +2/−1

@@ -0,0 +1,16 @@+module Tree(test) where++import Network.Routing.Tree+import Test.Tasty+import Test.Tasty.QuickCheck+import Unsafe.Coerce++mkTestTree :: Int -> Tree+mkTestTree i = foldr cons Tip $ map unsafeCoerce [0..i]++testTreeToList :: Int -> Tree -> [Int]+testTreeToList l t = foldr (\i b -> unsafeCoerce (t `index` i) : b) [] [0..l]++test :: TestTree+test = testProperty "Data.Apiary.Tree" $ \len ->+    testTreeToList len (mkTestTree len) == [0..len]

@@ -1,5 +1,5 @@ name:                web-routing-version:             0.1.1+version:             0.1.2 synopsis:            simple routing library -- description:          license:             MIT@@ -39,6 +39,7 @@   type:                exitcode-stdio-1.0   ghc-options:         -threaded   main-is:             tasty.hs+  other-modules:       Tree   hs-source-dirs:      tests, src   build-depends:       base             >=4.6  && <4.8                      , tasty            >=0.10 && <0.11