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

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

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.23), 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
Revised Revision 1 made by viercc at 2025-12-21T07:40:45Z
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 NixOS:1
Downloads 42 total (2 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.