Revision history for coercible-subtypes

1 -- 2024-12-22

• Breaking changes

  • Remove dependency to profunctors package. A Profunctor-related function dimapR is removed and replaced by arrowR. dimapR is moved to coercible-subtypes-profunctor package.

0.3.0.0 -- 2023-01-01

• Breaking changes

  • Change the Newtype.Intersection.associative and Newtype.Union.associative to new, more succinct type.

• Instance added to IsIntersection and IsUnion

0.2.0.0 -- 2021-09-13

• Add Related
• Add IsIntersection and IsUnion facilities

0.1.1.0 -- 2021-08-24

• Add instances Coercible a b => (Read (Sub a b), Enum (Sub a b), Bounded (Sub a b))
• Add instantiate
• Add some more combinators

0.1.0.0 -- 2020-04-08

• First version.