@hackage quickcheck-state-machine dependencies

73 results

library:no-vendored-treediff (17 dependencies)

@hackage/exceptions

Extensible optionally-pure exceptions

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

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.12 && <2.18

@hackage/graphviz

Bindings to Graphviz for graph visualisation.

BSD-3-Clause>=2999.20.0.3 && <2999.21

@hackage/prettyprinter

A modern, easy to use, well-documented, extensible pretty-printer.

BSD-2-Clause^>=1.7.1

@hackage/base

Core data structures and operations

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

@hackage/filepath

Library for manipulating FilePaths in a cross platform way.

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

@hackage/mtl

Monad classes for transformers, using functional dependencies

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

@hackage/sop-core

True Sums of Products

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

@hackage/split

Combinator library for splitting lists.

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

@hackage/prettyprinter-ansi-terminal

ANSI terminal backend for the »prettyprinter« package.

BSD-2-Clause^>=1.1.3

@hackage/text

An efficient packed Unicode text type.

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

@hackage/containers

Assorted concrete container types

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

@hackage/unliftio

The MonadUnliftIO typeclass for unlifting monads to IO (batteries included)

MIT>=0.2.7.0 && <0.3

@hackage/time

A time library

BSD-2-Clause>=1.7 && <1.16

@hackage/directory

Platform-agnostic library for filesystem operations

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

@hackage/pretty-show

Tools for working with derived `Show` instances and generic inspection of values.

MIT>=1.6.16 && <1.11

@hackage/random

Pseudo-random number generation

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

library:quickcheck-state-machine (15 dependencies)

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

@hackage/quickcheck-state-machine

no-vendored-treediff

Test monadic programs using state machine based models

BSD-3-Clause

@hackage/generics-sop

Generic Programming using True Sums of Products

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

@hackage/prettyprinter

A modern, easy to use, well-documented, extensible pretty-printer.

BSD-2-Clause

@hackage/base

Core data structures and operations

BSD-3-Clause

@hackage/sop-core

True Sums of Products

BSD-3-Clause

@hackage/prettyprinter-ansi-terminal

ANSI terminal backend for the »prettyprinter« package.

BSD-2-Clause

@hackage/text

An efficient packed Unicode text type.

BSD-2-Clause

@hackage/vector

Efficient Arrays

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

@hackage/containers

Assorted concrete container types

BSD-3-Clause

@hackage/time

A time library

BSD-2-Clause

@hackage/bytestring

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

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

@hackage/base-compat

A compatibility layer for base

MIT>=0.9.3 && <0.16

@hackage/MemoTrie

Trie-based memo functions

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

@hackage/pretty

Pretty-printing library

BSD-3-Clause>=1.1.1.1 && <1.2

test:test (41 dependencies)

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

@hackage/filelock

Portable interface to file locking (flock / LockFileEx)

CC0-1.0>=0.1.1.4 && <0.2

@hackage/quickcheck-state-machine

Test monadic programs using state machine based models

BSD-3-Clause

@hackage/persistent-sqlite

Backend for the persistent library using sqlite3.

MIT>=2.10.6.2 && <2.14

@hackage/http-client

An HTTP client engine

MIT>=0.6.4.1 && <0.8

@hackage/persistent

Type-safe, multi-backend data serialization.

MIT>=2.10.5.2 && <2.19

@hackage/tasty

Modern and extensible testing framework

MIT>=1.2.3 && <1.6

@hackage/base

Core data structures and operations

BSD-3-Clause

@hackage/doctest

Test interactive Haskell examples

MIT>=0.16.2 && <0.25

@hackage/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@hackage/unliftio-core

The MonadUnliftIO typeclass for unlifting monads to IO

MIT>=0.1.2.0 && <0.3

@hackage/array

Mutable and immutable arrays

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

@hackage/stm

Software Transactional Memory

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

@hackage/postgresql-simple

Mid-Level PostgreSQL client library

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

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

MIT>=0.10.1.1 && <0.12

@hackage/quickcheck-instances

Common quickcheck instances

BSD-3-Clause>=0.3.22 && <0.5

@hackage/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@hackage/hashable

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

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

@hackage/servant-client

Automatic derivation of querying functions for servant

BSD-3-Clause>=0.16.0.1 && <0.21

@hackage/split

Combinator library for splitting lists.

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

@hackage/monad-logger

A class of monads which can log messages.

MIT>=0.3.32 && <0.4

@hackage/text

An efficient packed Unicode text type.

BSD-2-Clause

@hackage/hashtables

Mutable hash tables in the ST monad

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

@hackage/bifunctors

Bifunctors

BSD-3-Clause>=5.5.7 && <5.7

@hackage/persistent-postgresql

Backend for the persistent library using postgresql.

MIT>=2.10.1.2 && <2.15

@hackage/vector

Efficient Arrays

BSD-3-Clause

@hackage/containers

Assorted concrete container types

BSD-3-Clause

@hackage/unliftio

The MonadUnliftIO typeclass for unlifting monads to IO (batteries included)

MIT

@hackage/process

Process libraries

BSD-3-Clause

@hackage/strict

Strict data types and String IO.

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

@hackage/network

Low-level networking interface

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

@hackage/bytestring

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

BSD-3-Clause

@hackage/resource-pool

A high-performance striped resource pooling implementation

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

@hackage/resourcet

Deterministic allocation and freeing of scarce resources.

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

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT>=0.10.0.2 && <0.11

@hackage/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@hackage/pretty-show

Tools for working with derived `Show` instances and generic inspection of values.

MIT

@hackage/servant-server

A family of combinators for defining webservices APIs and serving them

BSD-3-Clause>=0.16.2 && <0.21

@hackage/random

Pseudo-random number generation

BSD-3-Clause

@hackage/warp

A fast, light-weight web server for WAI applications.

MIT>=3.3.9 && <3.5

@hackage/string-conversions

Simplifies dealing with different types for strings

BSD-3-Clause>=0.4.0.1 && <0.5