@hackage sbv dependencies

@haskell/text

An efficient packed Unicode text type.

@haskell/template-haskell

Support library for Template Haskell

@haskell/random

Pseudo-random number generation

@haskell/process

Process libraries

@haskell/mtl

Monad classes for transformers, using functional dependencies

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/deepseq

Deep evaluation of data structures

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@haskell/array

Mutable and immutable arrays

@hackage/uniplate

Help writing simple, concise and fast generic operations.

@hackage/time

A time library

@hackage/syb

Scrap Your Boilerplate

@hackage/pretty

Pretty-printing library

@hackage/crackNum

Crack various integer and floating-point data formats

@hackage/async

Run IO operations asynchronously and wait for their results

@hackage/QuickCheck

Automatic testing of Haskell programs

test:SBVConnections (2 dependencies)

@haskell/base

Core data structures and operations

@hackage/sbv

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

test:SBVDocTest (14 dependencies)

@haskell/random

Pseudo-random number generation

@haskell/mtl

Monad classes for transformers, using functional dependencies

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

@haskell/base

Core data structures and operations

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

@hackage/tasty-golden

Golden tests support for tasty

@hackage/tasty

Modern and extensible testing framework

@hackage/sbv

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

@hackage/doctest

Test interactive Haskell examples

@hackage/QuickCheck

Automatic testing of Haskell programs

@hackage/Glob

Globbing library

test:SBVHLint (13 dependencies)

@haskell/random

Pseudo-random number generation

@haskell/mtl

Monad classes for transformers, using functional dependencies

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

@haskell/base

Core data structures and operations

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

@hackage/tasty-golden

Golden tests support for tasty

@hackage/tasty

Modern and extensible testing framework

@hackage/sbv

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

@hackage/hlint

Source code suggestions

@hackage/QuickCheck

Automatic testing of Haskell programs

test:SBVTest (14 dependencies)

@haskell/random

Pseudo-random number generation

@haskell/mtl

Monad classes for transformers, using functional dependencies

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/containers

Assorted concrete container types

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

@haskell/base

Core data structures and operations

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

@hackage/tasty-golden

Golden tests support for tasty

@hackage/tasty

Modern and extensible testing framework

@hackage/sbv

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

@hackage/crackNum

Crack various integer and floating-point data formats

@hackage/QuickCheck

Automatic testing of Haskell programs

benchmark:SBVBench (15 dependencies)

@haskell/random

Pseudo-random number generation

@haskell/process

Process libraries

@haskell/mtl

Monad classes for transformers, using functional dependencies

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/deepseq

Deep evaluation of data structures

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/time

A time library

@hackage/syb

Scrap Your Boilerplate

@hackage/silently

Prevent or capture writing to stdout and other handles.

@hackage/sbv

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

@hackage/gauge

small framework for performance measurement and analysis

@hackage/crackNum

Crack various integer and floating-point data formats

@hackage/bench-show

Show, plot and compare benchmark results

benchmark:SBVBenchmark (16 dependencies)

@haskell/text

An efficient packed Unicode text type.

@haskell/random

Pseudo-random number generation

@haskell/process

Process libraries

@haskell/mtl

Monad classes for transformers, using functional dependencies

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/deepseq

Deep evaluation of data structures

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/time

A time library

@hackage/syb

Scrap Your Boilerplate

@hackage/silently

Prevent or capture writing to stdout and other handles.

@hackage/sbv

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

@hackage/gauge

small framework for performance measurement and analysis

@hackage/crackNum

Crack various integer and floating-point data formats

@hackage/bench-show

Show, plot and compare benchmark results