@hackage what4 dependencies

@haskell/stm

Software Transactional Memory

@haskell/process

Process libraries

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

@haskell/parsec

Monadic parser combinators

BSD-2-Clause>=3 && <4

@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.10 && <5

@hackage/zenc

GHC style name Z-encoding and Z-decoding

@hackage/versions

Types and parsers for software version numbers.

BSD-3-Clause>=6.0.2 && <6.1

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

The MonadUnliftIO typeclass for unlifting monads to IO (batteries included)

MIT>=0.2 && <0.3

@hackage/time

A time library

BSD-2-Clause>=1.8 && <1.13

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

Portable temporary file and directory support

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

@hackage/scientific

Numbers represented using scientific notation

BSD-3-Clause>=0.3.6

@hackage/s-cargot

A flexible, extensible s-expression library.

@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/ordered-containers

Set- and Map-like types that remember the order elements were inserted

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

@hackage/megaparsec

Monadic parser combinators

BSD-2-Clause>=8 && <10

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

Extensible optionally-pure exceptions

BSD-3-Clause>=0.10

@hackage/deriving-compat

Backports of GHC deriving extensions

BSD-3-Clause>=0.5

@hackage/config-value

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

MIT>=0.8 && <0.9

@hackage/concurrent-extra

Extra concurrency primitives

BSD-3-Clause>=0.7 && <0.8

@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

@hackage/async

Run IO operations asynchronously and wait for their results

@hackage/BoundedChan

Implementation of bounded channels.

BSD-3-Clause>=1 && <2

executable:bool-normalization (10 dependencies)

@haskell/transformers

Concrete functor and monad transformers

@haskell/mtl

Monad classes for transformers, using functional dependencies

@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-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.

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:abduct (7 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/temporary

Portable temporary file and directory support

@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

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-expected-failure

Mark tasty tests as failure expected

@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/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 (17 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-hedgehog

Integration for tasty and hedgehog.

@hackage/tasty-expected-failure

Mark tasty tests as failure expected

@hackage/tasty-checklist

Check multiple items during a tasty test

ISC>=1.0.3 && <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

@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

test:exprs_tests (10 dependencies)

@haskell/mtl

Monad classes for transformers, using functional dependencies

@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-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:invariant-synthesis (8 dependencies)

@haskell/process

Process libraries

@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-expected-failure

Mark tasty tests as failure expected

@hackage/tasty

Modern and extensible testing framework

@hackage/parameterized-utils

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

@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 (20 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/units-defs

Definitions for use with the units package

@hackage/units

A domain-specific type system for dimensional analysis

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

@hackage/tasty-expected-failure

Mark tasty tests as failure expected

@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

@hackage/lens

Lenses, Folds and Traversals

@hackage/exceptions

Extensible optionally-pure exceptions

@hackage/clock

High-resolution clock functions: monotonic, realtime, cputime.

@hackage/bv-sized

a bitvector datatype that is parameterized by the vector width

@hackage/async

Run IO operations asynchronously and wait for their results

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>=2.0 && <2.3

@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

test:what4-serialize-tests (14 dependencies)

@haskell/text

An efficient packed Unicode text type.

@haskell/directory

Platform-agnostic library for filesystem operations

@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-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/ordered-containers

Set- and Map-like types that remember the order elements were inserted

@hackage/libBF

A binding to the libBF library.

@hackage/hedgehog

Release with confidence.

@hackage/exceptions

Extensible optionally-pure exceptions

@hackage/async

Run IO operations asynchronously and wait for their results