@hackage / refined-containers

Type-checked proof that a key exists in a container and can be safely indexed.

Latest0.1.2.0

Dependencies

library:refined-containers (12 dependencies)

@hackage / deepseq Deep evaluation of data structures
- Version: >=1.4 && <1.6
- License: BSD-3-Clause
@hackage / adjunctions Adjunctions and representable functors
- Version: >=4.4 && <4.5
- License: BSD-2-Clause
@hackage / base Core data structures and operations
- Version: >=4.12 && <4.22
- License: BSD-3-Clause
@hackage / constraints Constraint manipulation
- Version: >=0.11 && <0.15
- License: BSD-2-Clause
@hackage / distributive Distributive functors -- Dual to Traversable
- Version: >=0.5.3 && <0.7
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2.2 && <2.4
- License: BSD-3-Clause
@hackage / hashable A class for types that can be converted to a hash value
- Version: >=1.2.7 && <1.6
- License: BSD-3-Clause
@hackage / reflection Reifies arbitrary terms into types that can be reflected back into terms
- Version: >=2 && <2.2
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5.7 && <0.8
- License: BSD-3-Clause
@hackage / unordered-containers Efficient hashing-based container types
- Version: >=0.2.11 && <0.3
- License: BSD-3-Clause
@hackage / indexed-traversable FunctorWithIndex, FoldableWithIndex, TraversableWithIndex
- Version: >=0.1 && <0.2
- License: BSD-2-Clause
@hackage / refined Refinement types with static and runtime checking
- Version: >=0.5 && <0.9
- License: MIT