@cardano small-steps dependencies

34 results

library:small-steps (11 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

A class for types with a default value

BSD-3-Clause

@hackage/aeson

Fast JSON parsing and encoding

BSD-3-Clause

@cardano/validation-selective

Lighweight pure data validation based on Applicative and Selective functors

MPL-2.0

@cardano/cardano-strict-containers

Various strict container types

Apache-2.0

library:testlib (13 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/hedgehog

Release with confidence.

BSD-3-Clause>=1.0.4

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

test:tests (10 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/hspec

A Testing Framework for Haskell

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/hedgehog

Release with confidence.

BSD-3-Clause>=1.0.4

@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