@cardano small-steps dependencies

35 results

library:small-steps (10 dependencies)

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause>=0.5

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@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>=4.14 && <5

@hackage/nothunks

Examine values for unexpected thunks

Apache-2.0

@hackage/free

Monads for free

BSD-3-Clause

@hackage/data-default-class

A class for types with a default value (compatibility shim)

BSD-3-Clause

@hackage/aeson

Fast JSON parsing and encoding

BSD-3-Clause

@cardano/cardano-strict-containers

Various strict container types

Apache-2.0

library:testlib (12 dependencies)

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause>=0.5

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/deepseq

Deep evaluation of data structures

BSD-3-Clause

@haskell/base

Core data structures and operations

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

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT

@hackage/nothunks

Examine values for unexpected thunks

Apache-2.0

@hackage/microlens-th

Automatic generation of record lenses for microlens

BSD-3-Clause

@hackage/microlens

A tiny lens library with no dependencies

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

@cardano/small-steps

Small step semantics

Apache-2.0>=1.0

@cardano/cardano-strict-containers

Various strict container types

Apache-2.0

@cardano/cardano-ledger-binary

testlib

Binary serialization library used throughout ledger

Apache-2.0^>=1.3

test:tests (13 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/tasty-quickcheck

QuickCheck support for the Tasty test framework.

MIT

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT

@hackage/tasty-hedgehog

Integration for tasty and hedgehog.

BSD-3-Clause

@hackage/tasty-expected-failure

Mark tasty tests as failure expected

MIT

@hackage/tasty

Modern and extensible testing framework

MIT

@hackage/Unique

It provides the functionality like unix "uniq" utility

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

@cardano/small-steps

testlib

Small step semantics

Apache-2.0

@cardano/cardano-ledger-binary

Binary serialization library used throughout ledger

Apache-2.0

@cardano/cardano-crypto-class

Type classes abstracting over cryptography primitives for Cardano

Apache-2.0