@hackage / coerce-with-substitution

Coercions with improved type inference

Latest0.0.0.0

About

Metadata

  • Last updated , by rhendric
  • License BSD-3-Clause
  • Categories Development

  • Maintained by: contact-project+rhendric-haskell-coerce-with-substitution-71023049-issue-@incoming.gitlab.com

  • Lottery factor: 1

Links

Installation

Tested Compilers

  1. 9.12.2
  2. 9.10.2
  3. 9.8.4
  4. 9.6.7
  5. 9.6.1

Readme

This package defines aliases of Data.Coerce.coerce and Unsafe.Coerce.unsafeCoerce that accept a type argument containing type substitutions, creating a relationship between the argument and result types of the coercion that GHC can use when inferring one type from the other.

See Data.CoerceSubst for a full introduction to this package.

Requires GHC 9.6 or later, due to use of the TypeData extension.