Contents

import Data.Maybe        (fromJust)
import Test.Hspec        (Spec, it, shouldBe)
import Test.Hspec.Runner (configFastFail, defaultConfig, hspecWith)

import Zipper
 ( BinTree(BT)
 , fromTree
 , left
 , right
 , setLeft
 , setRight
 , setValue
 , toTree
 , up
 , value
 )

main :: IO ()
main = hspecWith defaultConfig {configFastFail = True} specs

specs :: Spec
specs = do

    let leaf v     = node v Nothing Nothing
        node v l r = Just (BT v l r :: BinTree Int)
        t1         = BT 1 (node 2 Nothing  $ leaf 3) $ leaf 4
        t2         = BT 1 (node 5 Nothing  $ leaf 3) $ leaf 4
        t3         = BT 1 (node 2 (leaf 5) $ leaf 3) $ leaf 4
        t4         = BT 1 (leaf 2                  ) $ leaf 4

    it "data is retained" $
      toTree (fromTree t1)
      `shouldBe` t1

    it "left, right and value" $
      (value . fromJust . right . fromJust . left . fromTree) t1
      `shouldBe` 3

    it "dead end" $
      (left . fromJust . left . fromTree) t1
      `shouldBe` Nothing

    it "tree from deep focus" $
      (toTree . fromJust . right . fromJust . left . fromTree) t1
      `shouldBe` t1

    it "setValue" $
      (toTree . setValue 5 . fromJust . left . fromTree) t1
      `shouldBe` t2

    it "setLeft with Just" $
      (toTree . setLeft (leaf 5) . fromJust . left . fromTree) t1
      `shouldBe` t3

    it "setRight with Nothing" $
      (toTree . setRight Nothing . fromJust . left . fromTree) t1
      `shouldBe` t4

    it "different paths to same zipper" $
      (right . fromJust . up . fromJust . left . fromTree) t1
      `shouldBe` (right . fromTree) t1

Version data entries

96 entries across 96 versions & 1 rubygems

Version	Path
trackler-2.2.1.45	tracks/haskell/exercises/zipper/test/Tests.hs
trackler-2.2.1.44	tracks/haskell/exercises/zipper/test/Tests.hs
trackler-2.2.1.43	tracks/haskell/exercises/zipper/test/Tests.hs
trackler-2.2.1.42	tracks/haskell/exercises/zipper/test/Tests.hs
trackler-2.2.1.41	tracks/haskell/exercises/zipper/test/Tests.hs
trackler-2.2.1.40	tracks/haskell/exercises/zipper/test/Tests.hs
trackler-2.2.1.39	tracks/haskell/exercises/zipper/test/Tests.hs
trackler-2.2.1.38	tracks/haskell/exercises/zipper/test/Tests.hs
trackler-2.2.1.37	tracks/haskell/exercises/zipper/test/Tests.hs
trackler-2.2.1.36	tracks/haskell/exercises/zipper/test/Tests.hs
trackler-2.2.1.35	tracks/haskell/exercises/zipper/test/Tests.hs
trackler-2.2.1.34	tracks/haskell/exercises/zipper/test/Tests.hs
trackler-2.2.1.33	tracks/haskell/exercises/zipper/test/Tests.hs
trackler-2.2.1.32	tracks/haskell/exercises/zipper/test/Tests.hs
trackler-2.2.1.31	tracks/haskell/exercises/zipper/test/Tests.hs
trackler-2.2.1.30	tracks/haskell/exercises/zipper/test/Tests.hs
trackler-2.2.1.29	tracks/haskell/exercises/zipper/test/Tests.hs
trackler-2.2.1.28	tracks/haskell/exercises/zipper/test/Tests.hs
trackler-2.2.1.27	tracks/haskell/exercises/zipper/test/Tests.hs
trackler-2.2.1.26	tracks/haskell/exercises/zipper/test/Tests.hs