@hackage grisette dependencies

83 results

library:grisette (26 dependencies)

@haskell/vector

Efficient Arrays

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

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause>=0.5.6.2 && <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.24

@haskell/stm

Software Transactional Memory

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

@haskell/parallel

Parallel programming library

BSD-3-Clause>=3.2.2 && <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.5.7 && <0.9

@haskell/bytestring

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

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

@haskell/binary

Binary serialisation for Haskell values using lazy ByteStrings

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

@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.17 && <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 && <12

@hackage/libBF

A binding to the libBF library.

MIT>=0.6.3 && <0.7

@hackage/hashable

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

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

@hackage/generic-deriving

Generic programming library for generalised deriving.

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

@hackage/cereal

A binary serialization library

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

@hackage/bytes

Sharing code for serialization between binary and cereal

BSD-3-Clause>=0.17.1 && <0.18

@hackage/atomic-primops

A safe approach to CAS and other atomic ops in Haskell.

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

@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 (28 dependencies)

@haskell/vector

Efficient Arrays

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

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause>=0.5.6.2 && <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.24

@haskell/stm

Software Transactional Memory

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

@haskell/parallel

Parallel programming library

BSD-3-Clause>=3.2.2 && <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.5.7 && <0.9

@haskell/bytestring

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

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

@haskell/binary

Binary serialisation for Haskell values using lazy ByteStrings

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

@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.17 && <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 && <12

@hackage/libBF

A binding to the libBF library.

MIT>=0.6.3 && <0.7

@hackage/hashable

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

BSD-3-Clause>=1.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.25

@hackage/cereal

A binary serialization library

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

@hackage/bytes

Sharing code for serialization between binary and cereal

BSD-3-Clause>=0.17.1 && <0.18

@hackage/atomic-primops

A safe approach to CAS and other atomic ops in Haskell.

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

@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 (29 dependencies)

@haskell/vector

Efficient Arrays

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

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause>=0.5.6.2 && <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.24

@haskell/stm

Software Transactional Memory

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

@haskell/parallel

Parallel programming library

BSD-3-Clause>=3.2.2 && <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.5.7 && <0.9

@haskell/bytestring

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

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

@haskell/binary

Binary serialisation for Haskell values using lazy ByteStrings

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

@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.17 && <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 && <12

@hackage/libBF

A binding to the libBF library.

MIT>=0.6.3 && <0.7

@hackage/hashable

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

BSD-3-Clause>=1.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/cereal

A binary serialization library

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

@hackage/bytes

Sharing code for serialization between binary and cereal

BSD-3-Clause>=0.17.1 && <0.18

@hackage/atomic-primops

A safe approach to CAS and other atomic ops in Haskell.

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

@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