@hackage / dependent-map

Dependent finite maps (partial dependent products)

Latest0.4.0.1

Dependencies

library:dependent-map (4 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.11 && <5
- License: BSD-3-Clause
@hackage / constraints-extras Utility package for constraints
- Version: >=0.2.3.0 && <0.5
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5.7.1 && <0.8
- License: BSD-3-Clause
@hackage / dependent-sum Dependent sum type
- Version: >=0.6.1 && <0.8
- License: LicenseRef-PublicDomain