testable for seq and contramap (for testable)

mirage / alcotest

A lightweight and colourful test framework

ISC License

456 stars 80 forks source link

Closed xvw closed 2 months ago

xvw commented 2 months ago

This PR adds:

seq (to produces 'a Seq.t testable) Because the Seq.t type has become very common in the standard library
contramap which allows you to go from an 'a testable to a 'b testable giving a function from b -> 'a (because a testable is a contravariant functor). I have often found the function useful for implementing testables quickly when there is a trivial transformation.

samoht commented 2 months ago

Thanks that looks like a great addition!

LGTM apart questions on names (the most difficult questions, as usual)