plutarch-quickcheck-2.2.2: Quickcheck for Plutarch.
Bridge between QuickCheck and Plutarch. The interfaces provide easy ways to construct properties about Plutarch functions.
Bridge between QuickCheck and Plutarch. The interfaces provide easy ways to construct properties about Plutarch functions.
You can find any exported type, constructor, class, function or pattern defined in this package by (approximate) name.
| Key | Shortcut |
|---|---|
| s | Open this search box |
| esc | Close this search box |
| ↓,ctrl + j | Move down in search results |
| ↑,ctrl + k | Move up in search results |
| ↵ | Go to active search result |