Sha256: a17b92f3795602aec33d33412627ccc15b0a730bf4dc6ee2d11086046ff6e52b

Contents?: true

Size: 1.62 KB

Versions: 240

Compression:

Stored size: 1.62 KB

Contents

module ZipperTest

open NUnit.Framework

open Zipper

let empty = None
let bt v l r = tree v l r |> Some

let leaf v = bt v None None

let t1 = tree 1 (bt 2 empty    (leaf 3)) (leaf 4)
let t2 = tree 1 (bt 5 empty    (leaf 3)) (leaf 4)
let t3 = tree 1 (bt 2 (leaf 5) (leaf 3)) (leaf 4)
let t4 = tree 1 (leaf 2)                 (leaf 4)

[<Test>]
let ``Data is retained``() =
    Assert.That(toTree (fromTree t1), Is.EqualTo(t1))

[<Test>]
[<Ignore("Remove to run test")>]
let ``left, right and value``() =
    Assert.That(t1 |> fromTree |> left |> Option.get |> right |> Option.get |> value, Is.EqualTo(3))

[<Test>]
[<Ignore("Remove to run test")>]
let ``Dead end``() =
    Assert.That(t1 |> fromTree |> left |> Option.get |> left, Is.EqualTo(None))

[<Test>]
[<Ignore("Remove to run test")>]
let ``Tree from deep focus``() =
    Assert.That(t1 |> fromTree |> left |> Option.get |> right |> Option.get |> toTree, Is.EqualTo(t1))

[<Test>]
[<Ignore("Remove to run test")>]
let ``setValue``() =
    Assert.That(t1 |> fromTree |> left |> Option.get |> setValue 5 |> toTree, Is.EqualTo(t2))

[<Test>]
[<Ignore("Remove to run test")>]
let ``setLeft with Some``() =
    Assert.That(t1 |> fromTree |> left |> Option.get |> setLeft (tree 5 None None |> Some) |> toTree, Is.EqualTo(t3))

[<Test>]
[<Ignore("Remove to run test")>]
let ``setRight with None``() =
    Assert.That(t1 |> fromTree |> left |> Option.get |> setRight None |> toTree, Is.EqualTo(t4))

[<Test>]
[<Ignore("Remove to run test")>]
let ``Different paths to same zipper``() =
    Assert.That(t1 |> fromTree |> left |> Option.get |> up |> Option.get |> right, Is.EqualTo(t1 |> fromTree |> right))

Version data entries

240 entries across 240 versions & 1 rubygems

Version Path
trackler-2.2.1.22 tracks/fsharp/exercises/zipper/ZipperTest.fs
trackler-2.2.1.21 tracks/fsharp/exercises/zipper/ZipperTest.fs
trackler-2.2.1.20 tracks/fsharp/exercises/zipper/ZipperTest.fs
trackler-2.2.1.19 tracks/fsharp/exercises/zipper/ZipperTest.fs
trackler-2.2.1.18 tracks/fsharp/exercises/zipper/ZipperTest.fs
trackler-2.2.1.17 tracks/fsharp/exercises/zipper/ZipperTest.fs
trackler-2.2.1.16 tracks/fsharp/exercises/zipper/ZipperTest.fs
trackler-2.2.1.15 tracks/fsharp/exercises/zipper/ZipperTest.fs
trackler-2.2.1.14 tracks/fsharp/exercises/zipper/ZipperTest.fs
trackler-2.2.1.13 tracks/fsharp/exercises/zipper/ZipperTest.fs
trackler-2.2.1.12 tracks/fsharp/exercises/zipper/ZipperTest.fs
trackler-2.2.1.11 tracks/fsharp/exercises/zipper/ZipperTest.fs
trackler-2.2.1.10 tracks/fsharp/exercises/zipper/ZipperTest.fs
trackler-2.2.1.9 tracks/fsharp/exercises/zipper/ZipperTest.fs
trackler-2.2.1.8 tracks/fsharp/exercises/zipper/ZipperTest.fs
trackler-2.2.1.7 tracks/fsharp/exercises/zipper/ZipperTest.fs
trackler-2.2.1.6 tracks/fsharp/exercises/zipper/ZipperTest.fs
trackler-2.2.1.5 tracks/fsharp/exercises/zipper/ZipperTest.fs
trackler-2.2.1.4 tracks/fsharp/exercises/zipper/ZipperTest.fs
trackler-2.2.1.3 tracks/fsharp/exercises/zipper/ZipperTest.fs