@hackage coercible-subtypes-profunctor1

Combine profunctors with coercible-subtypes

Categories
License
BSD-3-Clause
Maintainer
viercc@gmail.com
Links
Versions
- 1 Sat, 21 Dec 2024

Installation
In your cabal file:
Dependencies (3)
- base >=4.12 && <4.22
- coercible-subtypes >=0.3.0.0 && <1.1
- profunctors >=5 && <6
Dependents (0)

coercible-subtypes-profunctors

This is an auxiliary package to use Profunctor with Sub, a type for witnessing one-way safe coercion between types.