@hackage / coercible-subtypes-profunctor

Combine profunctors with coercible-subtypes

Latest1

About

Metadata

  • Last updated , by viercc
  • License BSD-3-Clause
  • Maintained by: viercc@gmail.com

  • Lottery factor: 1

Links

Installation

Readme

coercible-subtypes-profunctors

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