Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org : sbvPlugin : 0.5

GHC plugin for proving properties over Haskell functions using SMT solvers, based on the SBV package. See Data.SBV.Plugin for a quick example, or the modules under Data.SBV.Plugin.Examples for more details.

Registry - Download - JSON
purl: pkg:hackage/[email protected]
Published: over 8 years ago
Indexed: about 2 years ago
Related tag: v0.5 - compare

Readme

Dependencies

base >=4.8 && <5
containers *
ghc *
ghc-prim *
mtl *
sbv >=5.7
template-haskell *