@hackage crucible dependencies

42 results

library:crucible (22 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.5.9.0

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.13 && <4.20

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

BSD-3-Clause>=1.6.1

@hackage/unordered-containers

Efficient hashing-based container types

BSD-3-Clause

@hackage/time

A time library

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

@hackage/th-abstraction

Nicer interface for reified information about data types

ISC>=0.1 && <0.7

@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>=1.0.8 && <2.2

@hackage/panic

A convenient way to panic.

ISC>=0.3

@hackage/lens

Lenses, Folds and Traversals

BSD-2-Clause

@hackage/json

Support for serialising Haskell to and from JSON

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

@hackage/hashable

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

BSD-3-Clause

@hackage/fgl

Martin Erwig's Functional Graph Library

BSD-3-Clause

@hackage/exceptions

Extensible optionally-pure exceptions

BSD-3-Clause

@hackage/bv-sized

a bitvector datatype that is parameterized by the vector width

BSD-3-Clause>=1.0.0 && <1.1

@hackage/bimap

Bidirectional mapping between two key types

BSD-3-Clause

@hackage/async

Run IO operations asynchronously and wait for their results

BSD-3-Clause

test:absint-tests (10 dependencies)

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

BSD-3-Clause

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

MIT>=0.8

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT>=0.9

@hackage/tasty

Modern and extensible testing framework

MIT>=0.10

@hackage/parameterized-utils

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

BSD-3-Clause

@hackage/crucible

Crucible is a library for language-agnostic symbolic simulation

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

test:helper-tests (10 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

BSD-3-Clause

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT

@hackage/tasty-hspec

Hspec support for the Tasty test framework.

BSD-3-Clause>=1.1

@hackage/tasty

Modern and extensible testing framework

MIT>=0.10

@hackage/parameterized-utils

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

BSD-3-Clause

@hackage/panic

A convenient way to panic.

ISC>=0.3

@hackage/lens

Lenses, Folds and Traversals

BSD-2-Clause

@hackage/hspec

A Testing Framework for Haskell

MIT>=2.5

@hackage/crucible

Crucible is a library for language-agnostic symbolic simulation

BSD-3-Clause