@hackage what4 dependencies

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

@hackage/extra

Extra functions I use.

BSD-3-Clause>=1.6

@hackage/deepseq

Deep evaluation of data structures

BSD-3-Clause>=1.3

@hackage/fingertree

Generic finger-tree structure, with example instances

BSD-3-Clause>=0.1.4

@hackage/base

Core data structures and operations

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

@hackage/ansi-wl-pprint

The Wadler/Leijen Pretty Printer for colored ANSI terminal output

BSD-3-Clause>=0.6.8

@hackage/versions

Types and parsers for software version numbers.

@hackage/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause>=1.3

@hackage/parameterized-utils

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

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

@hackage/ghc-prim

GHC primitives

BSD-3-Clause>=0.5.3

@hackage/zenc

GHC style name Z-encoding and Z-decoding

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

@hackage/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.2.1

@hackage/deriving-compat

Backports of GHC deriving extensions

BSD-3-Clause>=0.5

@hackage/hashable

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

BSD-3-Clause>=1.3 && <1.4

@hackage/temporary

Portable temporary file and directory support

BSD-3-Clause>=1.2

@hackage/th-abstraction

Nicer interface for reified information about data types

ISC>=0.1 && <0.4

@hackage/attoparsec

Fast combinator parsing for bytestrings and text

BSD-3-Clause>=0.13

@hackage/scientific

Numbers represented using scientific notation

BSD-3-Clause>=0.3.6

@hackage/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.1

@hackage/hashtables

Mutable hash tables in the ST monad

BSD-3-Clause>=1.2.3

@hackage/bifunctors

Bifunctors

BSD-3-Clause>=5

@hackage/transformers

Concrete functor and monad transformers

BSD-3-Clause>=0.4

@hackage/bv-sized

a bitvector datatype that is parameterized by the vector width

BSD-3-Clause>=1.0.0

@hackage/vector

Efficient Arrays

BSD-3-Clause>=0.12.1

@hackage/containers

Assorted concrete container types

BSD-3-Clause>=0.5.0.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/process

Process libraries

BSD-3-Clause>=1.2

@hackage/panic

A convenient way to panic.

ISC>=0.3

@hackage/io-streams

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

BSD-3-Clause>=1.5

@hackage/bytestring

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

BSD-3-Clause>=0.10

@hackage/data-binary-ieee754

Parser/Serialiser for IEEE-754 floating-point values

@hackage/bimap

Bidirectional mapping between two key types

BSD-3-Clause>=0.2

@hackage/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.2.2

executable:quickstart (3 dependencies)

@hackage/base

Core data structures and operations

@hackage/parameterized-utils

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

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

test:adapter-test (13 dependencies)

@hackage/lens

Lenses, Folds and Traversals

@hackage/tasty

Modern and extensible testing framework

@hackage/base

Core data structures and operations

@hackage/versions

Types and parsers for software version numbers.

@hackage/parameterized-utils

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

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/text

An efficient packed Unicode text type.

@hackage/bv-sized

a bitvector datatype that is parameterized by the vector width

@hackage/containers

Assorted concrete container types

@hackage/process

Process libraries

@hackage/bytestring

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

@hackage/data-binary-ieee754

Parser/Serialiser for IEEE-754 floating-point values

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

test:bvdomain_tests (7 dependencies)

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.12

@hackage/tasty

Modern and extensible testing framework

@hackage/base

Core data structures and operations

@hackage/parameterized-utils

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

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/transformers

Concrete functor and monad transformers

test:bvdomain_tests_hh (7 dependencies)

@hackage/tasty

Modern and extensible testing framework

@hackage/base

Core data structures and operations

@hackage/tasty-hedgehog

Integration for tasty and hedgehog.

@hackage/parameterized-utils

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

@hackage/hedgehog

Release with confidence.

BSD-3-Clause>=1.0.2

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/transformers

Concrete functor and monad transformers

test:expr-builder-smtlib2 (11 dependencies)

@hackage/tasty

Modern and extensible testing framework

@hackage/base

Core data structures and operations

@hackage/versions

Types and parsers for software version numbers.

@hackage/parameterized-utils

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

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/text

An efficient packed Unicode text type.

@hackage/bv-sized

a bitvector datatype that is parameterized by the vector width

@hackage/containers

Assorted concrete container types

@hackage/bytestring

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

@hackage/data-binary-ieee754

Parser/Serialiser for IEEE-754 floating-point values

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

test:exprs_tests (8 dependencies)

@hackage/tasty

Modern and extensible testing framework

@hackage/base

Core data structures and operations

@hackage/tasty-hedgehog

Integration for tasty and hedgehog.

@hackage/parameterized-utils

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

@hackage/hedgehog

Release with confidence.

BSD-3-Clause>=1.0.2

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/bv-sized

a bitvector datatype that is parameterized by the vector width

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

test:iteexprs_tests (8 dependencies)

@hackage/tasty

Modern and extensible testing framework

@hackage/base

Core data structures and operations

@hackage/tasty-hedgehog

Integration for tasty and hedgehog.

@hackage/parameterized-utils

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

@hackage/hedgehog

Release with confidence.

BSD-3-Clause>=1.0.2

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/bv-sized

a bitvector datatype that is parameterized by the vector width

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

test:online-solver-test (13 dependencies)

@hackage/lens

Lenses, Folds and Traversals

@hackage/tasty

Modern and extensible testing framework

@hackage/base

Core data structures and operations

@hackage/versions

Types and parsers for software version numbers.

@hackage/parameterized-utils

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

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/text

An efficient packed Unicode text type.

@hackage/bv-sized

a bitvector datatype that is parameterized by the vector width

@hackage/containers

Assorted concrete container types

@hackage/process

Process libraries

@hackage/bytestring

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

@hackage/data-binary-ieee754

Parser/Serialiser for IEEE-754 floating-point values

@hackage/tasty-hunit

HUnit support for the Tasty test framework.