@hackage grisette dependencies

74 results

library:grisette (23 dependencies)

@haskell/transformers

Concrete functor and monad transformers

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

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.2.4.1 && <2.2

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause>=2.16 && <2.23

@haskell/stm

Software Transactional Memory

BSD-3-Clause>=2.5 && <2.6

@haskell/parallel

Parallel programming library

BSD-3-Clause>=3.2.2.0 && <3.3

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.2.2 && <2.4

@haskell/deepseq

Deep evaluation of data structures

BSD-3-Clause>=1.4.4 && <1.6

@haskell/containers

Assorted concrete container types

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

@haskell/bytestring

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

BSD-3-Clause>=0.10.12 && <0.13

@haskell/base

Core data structures and operations

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

@haskell/array

Mutable and immutable arrays

BSD-3-Clause>=0.5.4 && <0.6

@hackage/unordered-containers

Efficient hashing-based container types

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

@hackage/th-lift-instances

Lift instances for template-haskell for common data types.

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

@hackage/th-compat

Backward- (and forward-)compatible Quote and Code types

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

@hackage/th-abstraction

Nicer interface for reified information about data types

ISC>=0.4 && <0.8

@hackage/sbv

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

BSD-3-Clause>=8.17 && <11

@hackage/libBF

A binding to the libBF library.

MIT>=0.6.3 && <0.7

@hackage/intern

Efficient hash-consing for arbitrary data types

BSD-3-Clause>=0.9.2 && <0.10

@hackage/hashtables

Mutable hash tables in the ST monad

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

@hackage/hashable

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

BSD-3-Clause>=1.2.3 && <1.6

@hackage/generic-deriving

Generic programming library for generalised deriving.

BSD-3-Clause>=1.14.1 && <1.15

@hackage/async

Run IO operations asynchronously and wait for their results

BSD-3-Clause>=2.2.2 && <2.3

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.14 && <2.16

test:doctest (25 dependencies)

@haskell/transformers

Concrete functor and monad transformers

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

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.2.4.1 && <2.2

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause>=2.16 && <2.23

@haskell/stm

Software Transactional Memory

BSD-3-Clause>=2.5 && <2.6

@haskell/parallel

Parallel programming library

BSD-3-Clause>=3.2.2.0 && <3.3

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.2.2 && <2.4

@haskell/deepseq

Deep evaluation of data structures

BSD-3-Clause>=1.4.4 && <1.6

@haskell/containers

Assorted concrete container types

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

@haskell/bytestring

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

BSD-3-Clause>=0.10.12 && <0.13

@haskell/base

Core data structures and operations

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

@haskell/array

Mutable and immutable arrays

BSD-3-Clause>=0.5.4 && <0.6

@hackage/unordered-containers

Efficient hashing-based container types

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

@hackage/th-lift-instances

Lift instances for template-haskell for common data types.

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

@hackage/th-compat

Backward- (and forward-)compatible Quote and Code types

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

@hackage/th-abstraction

Nicer interface for reified information about data types

ISC>=0.4 && <0.8

@hackage/sbv

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

BSD-3-Clause>=8.17 && <11

@hackage/libBF

A binding to the libBF library.

MIT>=0.6.3 && <0.7

@hackage/intern

Efficient hash-consing for arbitrary data types

BSD-3-Clause>=0.9.2 && <0.10

@hackage/hashtables

Mutable hash tables in the ST monad

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

@hackage/hashable

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

BSD-3-Clause>=1.2.3 && <1.6

@hackage/grisette

Symbolic evaluation as a library

BSD-3-Clause

@hackage/generic-deriving

Generic programming library for generalised deriving.

BSD-3-Clause>=1.14.1 && <1.15

@hackage/doctest

Test interactive Haskell examples

MIT>=0.18.2 && <0.23

@hackage/async

Run IO operations asynchronously and wait for their results

BSD-3-Clause>=2.2.2 && <2.3

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.14 && <2.16

test:spec (26 dependencies)

@haskell/transformers

Concrete functor and monad transformers

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

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.2.4.1 && <2.2

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause>=2.16 && <2.23

@haskell/stm

Software Transactional Memory

BSD-3-Clause>=2.5 && <2.6

@haskell/parallel

Parallel programming library

BSD-3-Clause>=3.2.2.0 && <3.3

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.2.2 && <2.4

@haskell/deepseq

Deep evaluation of data structures

BSD-3-Clause>=1.4.4 && <1.6

@haskell/containers

Assorted concrete container types

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

@haskell/bytestring

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

BSD-3-Clause>=0.10.12 && <0.13

@haskell/base

Core data structures and operations

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

@haskell/array

Mutable and immutable arrays

BSD-3-Clause>=0.5.4 && <0.6

@hackage/unordered-containers

Efficient hashing-based container types

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

@hackage/th-lift-instances

Lift instances for template-haskell for common data types.

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

@hackage/th-compat

Backward- (and forward-)compatible Quote and Code types

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

@hackage/th-abstraction

Nicer interface for reified information about data types

ISC>=0.4 && <0.8

@hackage/test-framework-quickcheck2

QuickCheck-2 support for the test-framework package.

BSD-3-Clause>=0.3.0.5 && <0.4

@hackage/test-framework

Framework for running and organising tests, with HUnit and QuickCheck support

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

@hackage/sbv

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

BSD-3-Clause>=8.17 && <11

@hackage/libBF

A binding to the libBF library.

MIT>=0.6.3 && <0.7

@hackage/intern

Efficient hash-consing for arbitrary data types

BSD-3-Clause>=0.9.2 && <0.10

@hackage/hashtables

Mutable hash tables in the ST monad

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

@hackage/hashable

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

BSD-3-Clause>=1.2.3 && <1.6

@hackage/grisette

Symbolic evaluation as a library

BSD-3-Clause

@hackage/generic-deriving

Generic programming library for generalised deriving.

BSD-3-Clause>=1.14.1 && <1.15

@hackage/async

Run IO operations asynchronously and wait for their results

BSD-3-Clause>=2.2.2 && <2.3

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.14 && <2.16