module SatelliteTests open FsUnit.Xunit open Xunit open Satellite [] let ``Empty tree`` () = let expected: Result = Ok ( Empty ) treeFromTraversals [] [] |> should equal expected [] let ``Tree with one item`` () = let expected: Result = Ok ( Node("a", Empty, Empty) ) treeFromTraversals ["a"] ["a"] |> should equal expected [] let ``Tree with many items`` () = let expected: Result = Ok ( Node( "a", Node("i", Empty, Empty), Node( "x", Node("f", Empty, Empty), Node("r", Empty, Empty) ) ) ) treeFromTraversals ["i"; "a"; "f"; "x"; "r"] ["a"; "i"; "x"; "f"; "r"] |> should equal expected [] let ``Reject traversals of different length`` () = let expected: Result = Error "traversals must have the same length" treeFromTraversals ["b"; "a"; "r"] ["a"; "b"] |> should equal expected [] let ``Reject inconsistent traversals of same length`` () = let expected: Result = Error "traversals must have the same elements" treeFromTraversals ["a"; "b"; "c"] ["x"; "y"; "z"] |> should equal expected [] let ``Reject traversals with repeated items`` () = let expected: Result = Error "traversals must contain unique items" treeFromTraversals ["b"; "a"; "a"] ["a"; "b"; "a"] |> should equal expected [] let ``A degenerate binary tree`` () = let expected: Result = Ok ( Node( "a", Node( "b", Node( "c", Node("d", Empty, Empty), Empty ), Empty ), Empty ) ) treeFromTraversals ["d"; "c"; "b"; "a"] ["a"; "b"; "c"; "d"] |> should equal expected [] let ``Another degenerate binary tree`` () = let expected: Result = Ok ( Node( "a", Empty, Node( "b", Empty, Node( "c", Empty, Node("d", Empty, Empty) ) ) ) ) treeFromTraversals ["a"; "b"; "c"; "d"] ["a"; "b"; "c"; "d"] |> should equal expected [] let ``Tree with many more items`` () = let expected: Result = Ok ( Node( "a", Node( "b", Node( "d", Node("g", Empty, Empty), Node("h", Empty, Empty) ), Empty ), Node( "c", Node("e", Empty, Empty), Node( "f", Node("i", Empty, Empty), Empty ) ) ) ) treeFromTraversals ["g"; "d"; "h"; "b"; "a"; "e"; "c"; "i"; "f"] ["a"; "b"; "d"; "g"; "h"; "c"; "e"; "f"; "i"] |> should equal expected