Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org "constraint" keyword

constrained-some 0.1.2
This library provides utilities for working with existential types and type-level constraints. It...
3 versions - Latest release: over 1 year ago - 139 downloads total - 1 stars on GitHub - 1 maintainer
constraint 0.1.4.0
8 versions - Latest release: over 6 years ago - 1 dependent repositories - 5.31 thousand downloads total
finito 0.1.0.0
Please see the README on GitHub at https://github.com/typedbyte/finito#readme
1 version - Latest release: about 6 years ago - 1 dependent repositories - 483 downloads total - 10 stars on GitHub - 1 maintainer
Related Keywords
library 3 Propose Tags 3 bsd3 2 data 1 dependent-types 1 mit 1 existential 1 some 1 deprecated 1 ai 1 haskell 1 solver 1