Ecosyste.ms: Packages

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

hackage.haskell.org : decidable

This library provides combinators and typeclasses for working and manipulating type-level predicates in Haskell, which are represented as matchable type-level functions k ~> Type from the singletons library. See Data.Type.Predicate for a good starting point, and the documentation for Predicate on how to define predicates.

Registry - Source - Homepage - JSON
purl: pkg:hackage/decidable
Keywords: bsd3, dependent-types, library
License: BSD-3-Clause
Latest release: 2 months ago
First release: over 5 years ago
Dependent packages: 1
Downloads: 4,419 total
Stars: 12 on GitHub
Forks: 5 on GitHub
See more repository details: repos.ecosyste.ms
Funding links: https://github.com/sponsors/mstksg
Last synced: 11 days ago

    Loading...
    Readme
    Loading...