@hackage / justified-containers

Keyed container types with type-checked proofs of key presence.

Latest0.3.0.0

Dependencies

library:justified-containers (3 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / roles Composable class-based roles
- Version: >=0.2
- License: BSD-3-Clause

test:justified-containers-spec (7 dependencies)

@hackage / QuickCheck Automatic testing of Haskell programs
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / ghc-prim GHC primitives
- Version:
- License: BSD-3-Clause
@hackage / justified-containers Keyed container types with type-checked proofs of key presence.
- Version:
- License: BSD-2-Clause
@hackage / should-not-typecheck A HUnit/hspec assertion library to verify that an expression does not typecheck
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / hspec A Testing Framework for Haskell
- Version:
- License: MIT