@cardano small-steps dependencies

22 results

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

@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 (8 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

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

@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