Package sbv version 3.4-0 component lib:sbv :: Monadoc

Version 3.4-0 of sbv is deprecated.

The latest version of sbv is 10.12-0.

lib:sbv

Modules

Dependencies

QuickCheck lib:QuickCheck >=0
array lib:array >=0
async lib:async >=0
base lib:base >=4 && <5
containers lib:containers >=0
deepseq lib:deepseq >=0
directory lib:directory >=0
filepath lib:filepath >=0
mtl lib:mtl >=0
old-time lib:old-time >=0
pretty lib:pretty >=0
process lib:process >=0
random lib:random >=0
syb lib:syb >=0

Reverse dependencies

Direct only. Not exhaustive.

copilot-sbv lib:copilot-sbv
linearEqSolver lib:linearEqSolver
regex-genex exe:genex
regex-genex lib:regex-genex
sbv exe:SBVUnitTests
sbv test:SBVBasicTests