cerchez07/elm-0.19-workshop
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove elm-check

Browse Source
This commit is contained in:
Richard Feldman
2016-03-27 05:45:38 -07:00
parent 18739c9983
commit c6da992cce
8 changed files with 12 additions and 132 deletions
Download Patch File Download Diff File Expand all files Collapse all files

35
stages/10/test/Tests.elm
View File

@@ -2,14 +2,7 @@ module Tests (..) where
import ElmTest exposing (..) import ElmTest exposing (..)
import ElmHub exposing (responseDecoder) import ElmHub exposing (responseDecoder)
import Json.Decode as Decode import Json.Decode exposing (decodeString)
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
all : Test all : Test
@@ -22,7 +15,7 @@ all =
"""{ "items": [] }""" """{ "items": [] }"""
in in
assertEqual assertEqual
(Decode.decodeString responseDecoder emptyResponse) (decodeString responseDecoder emptyResponse)
(Ok []) (Ok [])
, test "they can decode responses with results in them" , test "they can decode responses with results in them"
<| let <| let
@@ -33,32 +26,10 @@ all =
] }""" ] }"""
in in
assertEqual assertEqual
(Decode.decodeString responseDecoder response) (decodeString responseDecoder response)
(Ok (Ok
[ { id = 5, name = "foo", stars = 42 } [ { id = 5, name = "foo", stars = 42 }
, { id = 3, name = "bar", stars = 77 } , { 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

1
stages/10/test/elm-package.json
View File

@@ -9,7 +9,6 @@
], ],
"exposed-modules": [], "exposed-modules": [],
"dependencies": { "dependencies": {
"NoRedInk/elm-check": "3.0.0 <= v < 4.0.0",
"deadfoxygrandpa/elm-test": "3.1.1 <= v < 4.0.0", "deadfoxygrandpa/elm-test": "3.1.1 <= v < 4.0.0",
"elm-lang/core": "3.0.0 <= v < 4.0.0", "elm-lang/core": "3.0.0 <= v < 4.0.0",
"evancz/elm-effects": "2.0.0 <= v < 3.0.0", "evancz/elm-effects": "2.0.0 <= v < 3.0.0",

35
stages/7/test/Tests.elm
View File

@@ -2,14 +2,7 @@ module Tests (..) where
import ElmTest exposing (..) import ElmTest exposing (..)
import ElmHub exposing (responseDecoder) import ElmHub exposing (responseDecoder)
import Json.Decode as Decode import Json.Decode exposing (decodeString)
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
all : Test all : Test
@@ -22,7 +15,7 @@ all =
"""{ "items": [] }""" """{ "items": [] }"""
in in
assertEqual assertEqual
(Decode.decodeString responseDecoder emptyResponse) (decodeString responseDecoder emptyResponse)
(Ok []) (Ok [])
, test "they can decode responses with results in them" , test "they can decode responses with results in them"
<| let <| let
@@ -33,32 +26,10 @@ all =
] }""" ] }"""
in in
assertEqual assertEqual
(Decode.decodeString responseDecoder response) (decodeString responseDecoder response)
(Ok (Ok
[ { id = 5, name = "foo", stars = 42 } [ { id = 5, name = "foo", stars = 42 }
, { id = 3, name = "bar", stars = 77 } , { 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

1
stages/7/test/elm-package.json
View File

@@ -9,7 +9,6 @@
], ],
"exposed-modules": [], "exposed-modules": [],
"dependencies": { "dependencies": {
"NoRedInk/elm-check": "3.0.0 <= v < 4.0.0",
"deadfoxygrandpa/elm-test": "3.1.1 <= v < 4.0.0", "deadfoxygrandpa/elm-test": "3.1.1 <= v < 4.0.0",
"elm-lang/core": "3.0.0 <= v < 4.0.0", "elm-lang/core": "3.0.0 <= v < 4.0.0",
"evancz/elm-effects": "2.0.0 <= v < 3.0.0", "evancz/elm-effects": "2.0.0 <= v < 3.0.0",

35
stages/8/test/Tests.elm
View File

@@ -2,14 +2,7 @@ module Tests (..) where
import ElmTest exposing (..) import ElmTest exposing (..)
import ElmHub exposing (responseDecoder) import ElmHub exposing (responseDecoder)
import Json.Decode as Decode import Json.Decode exposing (decodeString)
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
all : Test all : Test
@@ -22,7 +15,7 @@ all =
"""{ "items": [] }""" """{ "items": [] }"""
in in
assertEqual assertEqual
(Decode.decodeString responseDecoder emptyResponse) (decodeString responseDecoder emptyResponse)
(Ok []) (Ok [])
, test "they can decode responses with results in them" , test "they can decode responses with results in them"
<| let <| let
@@ -33,32 +26,10 @@ all =
] }""" ] }"""
in in
assertEqual assertEqual
(Decode.decodeString responseDecoder response) (decodeString responseDecoder response)
(Ok (Ok
[ { id = 5, name = "foo", stars = 42 } [ { id = 5, name = "foo", stars = 42 }
, { id = 3, name = "bar", stars = 77 } , { 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

1
stages/8/test/elm-package.json
View File

@@ -9,7 +9,6 @@
], ],
"exposed-modules": [], "exposed-modules": [],
"dependencies": { "dependencies": {
"NoRedInk/elm-check": "3.0.0 <= v < 4.0.0",
"deadfoxygrandpa/elm-test": "3.1.1 <= v < 4.0.0", "deadfoxygrandpa/elm-test": "3.1.1 <= v < 4.0.0",
"elm-lang/core": "3.0.0 <= v < 4.0.0", "elm-lang/core": "3.0.0 <= v < 4.0.0",
"evancz/elm-effects": "2.0.0 <= v < 3.0.0", "evancz/elm-effects": "2.0.0 <= v < 3.0.0",

35
stages/9/test/Tests.elm
View File

@@ -2,14 +2,7 @@ module Tests (..) where
import ElmTest exposing (..) import ElmTest exposing (..)
import ElmHub exposing (responseDecoder) import ElmHub exposing (responseDecoder)
import Json.Decode as Decode import Json.Decode exposing (decodeString)
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
all : Test all : Test
@@ -22,7 +15,7 @@ all =
"""{ "items": [] }""" """{ "items": [] }"""
in in
assertEqual assertEqual
(Decode.decodeString responseDecoder emptyResponse) (decodeString responseDecoder emptyResponse)
(Ok []) (Ok [])
, test "they can decode responses with results in them" , test "they can decode responses with results in them"
<| let <| let
@@ -33,32 +26,10 @@ all =
] }""" ] }"""
in in
assertEqual assertEqual
(Decode.decodeString responseDecoder response) (decodeString responseDecoder response)
(Ok (Ok
[ { id = 5, name = "foo", stars = 42 } [ { id = 5, name = "foo", stars = 42 }
, { id = 3, name = "bar", stars = 77 } , { 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

1
stages/9/test/elm-package.json
View File

@@ -9,7 +9,6 @@
], ],
"exposed-modules": [], "exposed-modules": [],
"dependencies": { "dependencies": {
"NoRedInk/elm-check": "3.0.0 <= v < 4.0.0",
"deadfoxygrandpa/elm-test": "3.1.1 <= v < 4.0.0", "deadfoxygrandpa/elm-test": "3.1.1 <= v < 4.0.0",
"elm-lang/core": "3.0.0 <= v < 4.0.0", "elm-lang/core": "3.0.0 <= v < 4.0.0",
"evancz/elm-effects": "2.0.0 <= v < 3.0.0", "evancz/elm-effects": "2.0.0 <= v < 3.0.0",