From c6da992ccec84be63535f10a19cd42d3d7bdae9d Mon Sep 17 00:00:00 2001 From: Richard Feldman Date: Sun, 27 Mar 2016 05:45:38 -0700 Subject: [PATCH] Remove elm-check --- stages/10/test/Tests.elm | 35 +++------------------------------ stages/10/test/elm-package.json | 1 - stages/7/test/Tests.elm | 35 +++------------------------------ stages/7/test/elm-package.json | 1 - stages/8/test/Tests.elm | 35 +++------------------------------ stages/8/test/elm-package.json | 1 - stages/9/test/Tests.elm | 35 +++------------------------------ stages/9/test/elm-package.json | 1 - 8 files changed, 12 insertions(+), 132 deletions(-) diff --git a/stages/10/test/Tests.elm b/stages/10/test/Tests.elm index 1781dd3..7c06fe2 100644 --- a/stages/10/test/Tests.elm +++ b/stages/10/test/Tests.elm @@ -2,14 +2,7 @@ module Tests (..) where import ElmTest exposing (..) import ElmHub exposing (responseDecoder) -import Json.Decode as Decode -import Json.Encode as Encode -import Check exposing (Claim, Evidence, check, claim, that, is, for) -import Check.Producer exposing (..) -import Check.Test exposing (evidenceToTest) -import String -import ElmHub exposing (..) -import Random +import Json.Decode exposing (decodeString) all : Test @@ -22,7 +15,7 @@ all = """{ "items": [] }""" in assertEqual - (Decode.decodeString responseDecoder emptyResponse) + (decodeString responseDecoder emptyResponse) (Ok []) , test "they can decode responses with results in them" <| let @@ -33,32 +26,10 @@ all = ] }""" in assertEqual - (Decode.decodeString responseDecoder response) + (decodeString responseDecoder response) (Ok [ { id = 5, name = "foo", stars = 42 } , { id = 3, name = "bar", stars = 77 } ] ) - , (claim "they can decode individual search results" - `that` (\( id, name, stars ) -> encodeAndDecode id name stars) - `is` (\( id, name, stars ) -> Ok (SearchResult id name stars)) - `for` tuple3 ( int, string, int ) - ) - |> check 100 defaultSeed - |> evidenceToTest ] - - -encodeAndDecode : Int -> String -> Int -> Result String SearchResult -encodeAndDecode id name stars = - [ ( "id", Encode.int id ) - , ( "full_name", Encode.string name ) - , ( "stargazers_count", Encode.int stars ) - ] - |> Encode.object - |> Encode.encode 0 - |> Decode.decodeString searchResultDecoder - - -defaultSeed = - Random.initialSeed 42 diff --git a/stages/10/test/elm-package.json b/stages/10/test/elm-package.json index e4c57c0..a440485 100644 --- a/stages/10/test/elm-package.json +++ b/stages/10/test/elm-package.json @@ -9,7 +9,6 @@ ], "exposed-modules": [], "dependencies": { - "NoRedInk/elm-check": "3.0.0 <= v < 4.0.0", "deadfoxygrandpa/elm-test": "3.1.1 <= v < 4.0.0", "elm-lang/core": "3.0.0 <= v < 4.0.0", "evancz/elm-effects": "2.0.0 <= v < 3.0.0", diff --git a/stages/7/test/Tests.elm b/stages/7/test/Tests.elm index 1470107..7c06fe2 100644 --- a/stages/7/test/Tests.elm +++ b/stages/7/test/Tests.elm @@ -2,14 +2,7 @@ module Tests (..) where import ElmTest exposing (..) import ElmHub exposing (responseDecoder) -import Json.Decode as Decode -import Json.Encode as Encode -import Check exposing (Claim, Evidence, check, claim, that, is, for) -import Check.Producer exposing (..) -import Check.Test exposing (evidenceToTest) -import String -import ElmHub exposing (..) -import Random +import Json.Decode exposing (decodeString) all : Test @@ -22,7 +15,7 @@ all = """{ "items": [] }""" in assertEqual - (Decode.decodeString responseDecoder emptyResponse) + (decodeString responseDecoder emptyResponse) (Ok []) , test "they can decode responses with results in them" <| let @@ -33,32 +26,10 @@ all = ] }""" in assertEqual - (Decode.decodeString responseDecoder response) + (decodeString responseDecoder response) (Ok [ { id = 5, name = "foo", stars = 42 } , { id = 3, name = "bar", stars = 77 } ] ) - , (claim "they can decode individual search results" - `that` ({- TODO call encodeAndDecode -}) - `is` (\( id, name, stars ) -> Ok (SearchResult id name stars)) - `for` tuple3 ( int, string, int ) - ) - |> check 100 defaultSeed - |> evidenceToTest ] - - -encodeAndDecode : Int -> String -> Int -> Result String SearchResult -encodeAndDecode id name stars = - -- TODO: finish turning this into a JSON String, - -- then Decode it with searchResultDecoder - [ ( "id", Encode.int id ) - , ( "full_name", Encode.string name ) - , ( "stargazers_count", Encode.int stars ) - ] - |> Encode.object - - -defaultSeed = - Random.initialSeed 42 diff --git a/stages/7/test/elm-package.json b/stages/7/test/elm-package.json index e4c57c0..a440485 100644 --- a/stages/7/test/elm-package.json +++ b/stages/7/test/elm-package.json @@ -9,7 +9,6 @@ ], "exposed-modules": [], "dependencies": { - "NoRedInk/elm-check": "3.0.0 <= v < 4.0.0", "deadfoxygrandpa/elm-test": "3.1.1 <= v < 4.0.0", "elm-lang/core": "3.0.0 <= v < 4.0.0", "evancz/elm-effects": "2.0.0 <= v < 3.0.0", diff --git a/stages/8/test/Tests.elm b/stages/8/test/Tests.elm index 1781dd3..7c06fe2 100644 --- a/stages/8/test/Tests.elm +++ b/stages/8/test/Tests.elm @@ -2,14 +2,7 @@ module Tests (..) where import ElmTest exposing (..) import ElmHub exposing (responseDecoder) -import Json.Decode as Decode -import Json.Encode as Encode -import Check exposing (Claim, Evidence, check, claim, that, is, for) -import Check.Producer exposing (..) -import Check.Test exposing (evidenceToTest) -import String -import ElmHub exposing (..) -import Random +import Json.Decode exposing (decodeString) all : Test @@ -22,7 +15,7 @@ all = """{ "items": [] }""" in assertEqual - (Decode.decodeString responseDecoder emptyResponse) + (decodeString responseDecoder emptyResponse) (Ok []) , test "they can decode responses with results in them" <| let @@ -33,32 +26,10 @@ all = ] }""" in assertEqual - (Decode.decodeString responseDecoder response) + (decodeString responseDecoder response) (Ok [ { id = 5, name = "foo", stars = 42 } , { id = 3, name = "bar", stars = 77 } ] ) - , (claim "they can decode individual search results" - `that` (\( id, name, stars ) -> encodeAndDecode id name stars) - `is` (\( id, name, stars ) -> Ok (SearchResult id name stars)) - `for` tuple3 ( int, string, int ) - ) - |> check 100 defaultSeed - |> evidenceToTest ] - - -encodeAndDecode : Int -> String -> Int -> Result String SearchResult -encodeAndDecode id name stars = - [ ( "id", Encode.int id ) - , ( "full_name", Encode.string name ) - , ( "stargazers_count", Encode.int stars ) - ] - |> Encode.object - |> Encode.encode 0 - |> Decode.decodeString searchResultDecoder - - -defaultSeed = - Random.initialSeed 42 diff --git a/stages/8/test/elm-package.json b/stages/8/test/elm-package.json index e4c57c0..a440485 100644 --- a/stages/8/test/elm-package.json +++ b/stages/8/test/elm-package.json @@ -9,7 +9,6 @@ ], "exposed-modules": [], "dependencies": { - "NoRedInk/elm-check": "3.0.0 <= v < 4.0.0", "deadfoxygrandpa/elm-test": "3.1.1 <= v < 4.0.0", "elm-lang/core": "3.0.0 <= v < 4.0.0", "evancz/elm-effects": "2.0.0 <= v < 3.0.0", diff --git a/stages/9/test/Tests.elm b/stages/9/test/Tests.elm index 1781dd3..7c06fe2 100644 --- a/stages/9/test/Tests.elm +++ b/stages/9/test/Tests.elm @@ -2,14 +2,7 @@ module Tests (..) where import ElmTest exposing (..) import ElmHub exposing (responseDecoder) -import Json.Decode as Decode -import Json.Encode as Encode -import Check exposing (Claim, Evidence, check, claim, that, is, for) -import Check.Producer exposing (..) -import Check.Test exposing (evidenceToTest) -import String -import ElmHub exposing (..) -import Random +import Json.Decode exposing (decodeString) all : Test @@ -22,7 +15,7 @@ all = """{ "items": [] }""" in assertEqual - (Decode.decodeString responseDecoder emptyResponse) + (decodeString responseDecoder emptyResponse) (Ok []) , test "they can decode responses with results in them" <| let @@ -33,32 +26,10 @@ all = ] }""" in assertEqual - (Decode.decodeString responseDecoder response) + (decodeString responseDecoder response) (Ok [ { id = 5, name = "foo", stars = 42 } , { id = 3, name = "bar", stars = 77 } ] ) - , (claim "they can decode individual search results" - `that` (\( id, name, stars ) -> encodeAndDecode id name stars) - `is` (\( id, name, stars ) -> Ok (SearchResult id name stars)) - `for` tuple3 ( int, string, int ) - ) - |> check 100 defaultSeed - |> evidenceToTest ] - - -encodeAndDecode : Int -> String -> Int -> Result String SearchResult -encodeAndDecode id name stars = - [ ( "id", Encode.int id ) - , ( "full_name", Encode.string name ) - , ( "stargazers_count", Encode.int stars ) - ] - |> Encode.object - |> Encode.encode 0 - |> Decode.decodeString searchResultDecoder - - -defaultSeed = - Random.initialSeed 42 diff --git a/stages/9/test/elm-package.json b/stages/9/test/elm-package.json index e4c57c0..a440485 100644 --- a/stages/9/test/elm-package.json +++ b/stages/9/test/elm-package.json @@ -9,7 +9,6 @@ ], "exposed-modules": [], "dependencies": { - "NoRedInk/elm-check": "3.0.0 <= v < 4.0.0", "deadfoxygrandpa/elm-test": "3.1.1 <= v < 4.0.0", "elm-lang/core": "3.0.0 <= v < 4.0.0", "evancz/elm-effects": "2.0.0 <= v < 3.0.0",