Consider applicative DSL

scalaz / testz

The pure testing library by scalaz.

Other

89 stars 13 forks source link

Consider applicative DSL #6

Closed jdegoes closed 6 years ago

jdegoes commented 6 years ago

Goals:

Parallelize tests to the extent possible
Add documentation at arbitrary nodes
Support singletons, lists, maps, whatever F[_] shaped structure
Print out documentation for a test without running it
Filter over tests to implement test-only type functionality

Etc.

edmundnoble commented 6 years ago

Fortunately, the DSL as it is right now already supports parallelism at the test level. You can also add documentation by defining custom suite types; the same goes with printing docs for a test without running them.

EDIT: Technically the DSL makes test registration "monoid homomorphisms from a free monoid", so it's actually more powerful from the consumer-end than Applicative.

edmundnoble commented 6 years ago

Right, this is done now. Though the test DSL is totally decoupled from the runner, so it's very possible to use any DSL you want, all of the DSLs I have right now are monoidal.

edmundnoble commented 6 years ago

Now that we have DocHarness, I think it's clear that we fully support this.