@hackage sbvPlugin dependencies

13 results

Support library for Template Haskell

Monad classes for transformers, using functional dependencies

GHC primitives

Assorted concrete container types

Core data structures and operations

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

The GHC API

Process libraries

Library for manipulating FilePaths in a cross platform way.

Platform-agnostic library for filesystem operations

Core data structures and operations

Modern and extensible testing framework

Formally prove properties of Haskell programs using SBV/SMT