coercible-subtypes-profunctor: Combine profunctors with coercible-subtypes

[ bsd3, data, library ] [ Propose Tags ] [ Report a vulnerability ]

Provides the means of mapping Sub a b type over Profunctor p. The former comes from "coercible-subtypes" package and the latter is from "profunctors".


[Skip to Readme]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 1
Change log CHANGELOG.md
Dependencies base (>=4.12 && <4.22), coercible-subtypes (>=0.3.0.0 && <1.1), profunctors (>=5 && <6) [details]
License BSD-3-Clause
Copyright (c) 2020-2021 Koji Miyazato
Author Koji Miyazato
Maintainer viercc@gmail.com
Category Data
Home page https://github.com/viercc/coercible-subtypes
Bug tracker https://github.com/viercc/coercible-subtypes/issues
Source repo head: git clone https://github.com/viercc/coercible-subtypes -b master
Uploaded by viercc at 2024-12-21T12:09:47Z
Distributions
Downloads 9 total (9 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2024-12-21 [all 1 reports]

Readme for coercible-subtypes-profunctor-1

[back to package description]

coercible-subtypes-profunctors

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