@hackage what4 dependencies

BSD-3-Clause>=0.1.0 && <0.2.0

@haskell/process

Process libraries

BSD-3-Clause>=1.2

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.2.1

@haskell/ghc-prim

GHC primitives

BSD-3-Clause>=0.5.2

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause>=1.3

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.2.2

@haskell/deepseq

Deep evaluation of data structures

BSD-3-Clause>=1.3

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.5.0.0

@haskell/bytestring

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

BSD-3-Clause>=0.10

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.8 && <5

@hackage/zenc

GHC style name Z-encoding and Z-decoding

@hackage/versions

Types and parsers for software version numbers.

BSD-3-Clause>=4.0 && <6.0

@hackage/utf8-string

Support for reading and writing UTF8 Strings

BSD-3-Clause>=1.0.1

@hackage/unordered-containers

Efficient hashing-based container types

BSD-3-Clause>=0.2.10

@hackage/th-lift-instances

Lift instances for template-haskell for common data types.

BSD-3-Clause>=0.1 && <0.2

@hackage/th-lift

Derive Template Haskell's Lift class for datatypes.

BSD-3-Clause>=0.8.2 && <0.9

@hackage/th-abstraction

Nicer interface for reified information about data types

ISC>=0.1 && <0.5

@hackage/temporary

Portable temporary file and directory support

BSD-3-Clause>=1.2

@hackage/scientific

Numbers represented using scientific notation

BSD-3-Clause>=0.3.6

@hackage/prettyprinter

A modern, easy to use, well-documented, extensible pretty-printer.

BSD-2-Clause>=1.7.0

@hackage/parameterized-utils

Classes and data structures for working with data-kind indexed types

BSD-3-Clause>=2.1 && <2.2

@hackage/panic

A convenient way to panic.

ISC>=0.3

@hackage/libBF

A binding to the libBF library.

MIT>=0.6 && <0.7

@hackage/lens

Lenses, Folds and Traversals

BSD-2-Clause>=4.18

@hackage/io-streams

Simple, composable, and easy-to-use stream I/O

BSD-3-Clause>=1.5

@hackage/hashtables

Mutable hash tables in the ST monad

BSD-3-Clause>=1.2.3

@hackage/hashable

A class for types that can be converted to a hash value

BSD-3-Clause>=1.3

@hackage/fingertree

Generic finger-tree structure, with example instances

BSD-3-Clause>=0.1.4

@hackage/extra

Extra functions I use.

BSD-3-Clause>=1.6

@hackage/exceptions

Extensible optionally-pure exceptions

BSD-3-Clause>=0.10

@hackage/deriving-compat

Backports of GHC deriving extensions

BSD-3-Clause>=0.5

@hackage/data-binary-ieee754

Parser/Serialiser for IEEE-754 floating-point values

@hackage/config-value

Simple, layout-based value language similar to YAML or JSON

MIT>=0.8 && <0.9

@hackage/bv-sized

a bitvector datatype that is parameterized by the vector width

BSD-3-Clause>=1.0.0

@hackage/bimap

Bidirectional mapping between two key types

BSD-3-Clause>=0.2

@hackage/bifunctors

Bifunctors

BSD-3-Clause>=5

@hackage/attoparsec

Fast combinator parsing for bytestrings and text

BSD-3-Clause>=0.13

executable:quickstart (3 dependencies)

@haskell/base

Core data structures and operations

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/parameterized-utils

Classes and data structures for working with data-kind indexed types

test:adapter-test (14 dependencies)

@haskell/text

An efficient packed Unicode text type.

@haskell/process

Process libraries

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.2.1

@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/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/versions

Types and parsers for software version numbers.

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

@hackage/tasty

Modern and extensible testing framework

@hackage/parameterized-utils

Classes and data structures for working with data-kind indexed types

@hackage/lens

Lenses, Folds and Traversals

@hackage/data-binary-ieee754

Parser/Serialiser for IEEE-754 floating-point values

@hackage/bv-sized

a bitvector datatype that is parameterized by the vector width

test:bvdomain_tests (7 dependencies)

@haskell/transformers

Concrete functor and monad transformers

@haskell/base

Core data structures and operations

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

@hackage/tasty

Modern and extensible testing framework

@hackage/parameterized-utils

Classes and data structures for working with data-kind indexed types

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.12

test:bvdomain_tests_hh (7 dependencies)

@haskell/transformers

Concrete functor and monad transformers

@haskell/base

Core data structures and operations

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/tasty-hedgehog

Integration for tasty and hedgehog.

@hackage/tasty

Modern and extensible testing framework

@hackage/parameterized-utils

Classes and data structures for working with data-kind indexed types

@hackage/hedgehog

Release with confidence.

test:config-test (9 dependencies)

@haskell/text

An efficient packed Unicode text type.

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

@hackage/tasty-checklist

Check multiple items during a tasty test

ISC>=1.0 && <1.1

@hackage/tasty

Modern and extensible testing framework

@hackage/prettyprinter

A modern, easy to use, well-documented, extensible pretty-printer.

@hackage/parameterized-utils

Classes and data structures for working with data-kind indexed types

test:expr-builder-smtlib2 (12 dependencies)

@haskell/text

An efficient packed Unicode text type.

@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/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/versions

Types and parsers for software version numbers.

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

@hackage/tasty

Modern and extensible testing framework

@hackage/parameterized-utils

Classes and data structures for working with data-kind indexed types

@hackage/libBF

A binding to the libBF library.

@hackage/data-binary-ieee754

Parser/Serialiser for IEEE-754 floating-point values

@hackage/bv-sized

a bitvector datatype that is parameterized by the vector width

test:exprs_tests (8 dependencies)

@haskell/base

Core data structures and operations

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

@hackage/tasty-hedgehog

Integration for tasty and hedgehog.

@hackage/tasty

Modern and extensible testing framework

@hackage/parameterized-utils

Classes and data structures for working with data-kind indexed types

@hackage/hedgehog

Release with confidence.

@hackage/bv-sized

a bitvector datatype that is parameterized by the vector width

test:iteexprs_tests (9 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.5.0.0

@haskell/base

Core data structures and operations

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

@hackage/tasty-hedgehog

Integration for tasty and hedgehog.

@hackage/tasty

Modern and extensible testing framework

@hackage/parameterized-utils

Classes and data structures for working with data-kind indexed types

@hackage/hedgehog

Release with confidence.

@hackage/bv-sized

a bitvector datatype that is parameterized by the vector width

test:online-solver-test (13 dependencies)

@haskell/text

An efficient packed Unicode text type.

@haskell/process

Process libraries

@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/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/versions

Types and parsers for software version numbers.

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

@hackage/tasty

Modern and extensible testing framework

@hackage/parameterized-utils

Classes and data structures for working with data-kind indexed types

@hackage/lens

Lenses, Folds and Traversals

@hackage/data-binary-ieee754

Parser/Serialiser for IEEE-754 floating-point values

@hackage/bv-sized

a bitvector datatype that is parameterized by the vector width

test:solver_parsing_tests (11 dependencies)

@haskell/text

An efficient packed Unicode text type.

@haskell/base

Core data structures and operations

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/tasty-sugar

Tests defined by Search Using Golden Answer References

ISC>=1.1 && <1.2

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

@hackage/tasty

Modern and extensible testing framework

@hackage/parameterized-utils

Classes and data structures for working with data-kind indexed types

@hackage/lumberjack

Trek through your code forest and make logs

ISC

@hackage/io-streams

Simple, composable, and easy-to-use stream I/O

@hackage/exceptions

Extensible optionally-pure exceptions

@hackage/contravariant

Contravariant functors

test:template_tests (9 dependencies)

@haskell/transformers

Concrete functor and monad transformers

@haskell/base

Core data structures and operations

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/tasty-hedgehog

Integration for tasty and hedgehog.

@hackage/tasty

Modern and extensible testing framework

@hackage/parameterized-utils

Classes and data structures for working with data-kind indexed types

@hackage/libBF

A binding to the libBF library.

@hackage/hedgehog

Release with confidence.

@hackage/bv-sized

a bitvector datatype that is parameterized by the vector width