PackagesReroutesAboutlamdera.com

NoRedInk/elm-check/2.1.0

NOTE: this package is not compatible with Elm 0.19.1

READMEAboutVersionsSourceModules

Check.Test

Submodule providing integration with elm-test.

Convert to tests

evidenceToTest : Evidence -> Test

Convert elm-check's Evidence into an elm-test Test. You can use elm-test's runners to view the results of your property-based tests, alongside the results of unit tests.

Deprecated functions

Everything below this point will be removed in 3.0.0.

Generate unit tests

test : String -> (a -> b) -> (a -> b) -> Investigator a -> Int -> Seed -> Test

Analogous to claim. Will generate a given number of unit tests for given actual and expected statements. If a unit tests fails, test will also generate an additional test representing a minimal input using shrinking.

assert : String -> (a -> Bool) -> Investigator a -> Int -> Seed -> Test

Assert that a given predicate always yields true for a given investigator. Analogous to claimTrue.

Multi-arity

String
-> (a -> b -> c)
-> (a -> b -> c)
-> Investigator a
-> Investigator b
-> Int
-> Seed
-> Test
String
-> (a -> b -> c -> d)
-> (a -> b -> c -> d)
-> Investigator a
-> Investigator b
-> Investigator c
-> Int
-> Seed
-> Test
String
-> (a -> b -> c -> d -> e)
-> (a -> b -> c -> d -> e)
-> Investigator a
-> Investigator b
-> Investigator c
-> Investigator d
-> Int
-> Seed
-> Test
String
-> (a -> b -> c -> d -> e -> f)
-> (a -> b -> c -> d -> e -> f)
-> Investigator a
-> Investigator b
-> Investigator c
-> Investigator d
-> Investigator e
-> Int
-> Seed
-> Test
String
-> (a -> b -> Bool)
-> Investigator a
-> Investigator b
-> Int
-> Seed
-> Test
String
-> (a -> b -> c -> Bool)
-> Investigator a
-> Investigator b
-> Investigator c
-> Int
-> Seed
-> Test
String
-> (a -> b -> c -> d -> Bool)
-> Investigator a
-> Investigator b
-> Investigator c
-> Investigator d
-> Int
-> Seed
-> Test
String
-> (a -> b -> c -> d -> e -> Bool)
-> Investigator a
-> Investigator b
-> Investigator c
-> Investigator d
-> Investigator e
-> Int
-> Seed
-> Test

Modules

About this package serverReroutesreroutes.json
Pages and docs rendering from package.elm-lang.org, © 2012-2020 Evan Czaplicki. © 2026 Lamdera