The latest version of coercible-subtypes is 1-0.
coercible-subtypes
Version 0.1.0.0 revision 1 uploaded by viercc.
Package meta
- Synopsis
- Coercible but only in one direction
- Description
Newtype wrapper Data.Type.Coercion.Sub.Sub around Data.Type.Coercion.Coercion to represent unidirectional coercion, and combinators for it, like Data.Type.Coercion.Sub.mapR which extends coercion over covariant
Functor.- Author
- Koji Miyazato
- Bug reports
- https://github.com/viercc/coercible-subtypes/issues
- Category
- Data
- Copyright
- (c) 2020 Koji Miyazato
- Homepage
- https://github.com/viercc/coercible-subtypes
- Maintainer
- viercc@gmail.com
- Package URL
- n/a
- Stability
- experimental