lib:tasty-leancheck

Modules

• Test.Tasty.LeanCheck

Dependencies

• base lib:base >=4 && <5
• leancheck lib:leancheck >=0
• tasty lib:tasty >=0

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• automata test:test
• tasty-leancheck test:test
• tasty-prelude lib:tasty-prelude