@hackage grisette dependencies

51 results

library:grisette (15 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause>=0.12.1 && <0.14

@haskell/transformers

Concrete functor and monad transformers

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

@haskell/template-haskell

Support library for Template Haskell

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

@haskell/mtl

Monad classes for transformers, using functional dependencies

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

@haskell/deepseq

Deep evaluation of data structures

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

@haskell/bytestring

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

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

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

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

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

@hackage/sbv

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

BSD-3-Clause>=8.11 && <9.1

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

@hackage/generic-deriving

Generic programming library for generalised deriving.

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

test:doctest (17 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause>=0.12.1 && <0.14

@haskell/transformers

Concrete functor and monad transformers

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

@haskell/template-haskell

Support library for Template Haskell

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

@haskell/mtl

Monad classes for transformers, using functional dependencies

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

@haskell/deepseq

Deep evaluation of data structures

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

@haskell/bytestring

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

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

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

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

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

@hackage/sbv

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

BSD-3-Clause>=8.11 && <9.1

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

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

test:spec (19 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause>=0.12.1 && <0.14

@haskell/transformers

Concrete functor and monad transformers

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

@haskell/template-haskell

Support library for Template Haskell

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

@haskell/mtl

Monad classes for transformers, using functional dependencies

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

@haskell/deepseq

Deep evaluation of data structures

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

@haskell/bytestring

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

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

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

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

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

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

MIT>=0.10.1 && <0.11

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT>=0.10 && <0.11

@hackage/tasty

Modern and extensible testing framework

MIT>=1.1.0.3 && <1.5

@hackage/sbv

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

BSD-3-Clause>=8.11 && <9.1

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

@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