coerce-with-substitution

Coercions with improved type inference

https://gitlab.com/rhendric/haskell-coerce-with-substitution

Stackage Nightly 2025-08-06:0.0.0.0
Latest on Hackage:0.0.0.0

See all snapshots coerce-with-substitution appears in

BSD-3-Clause licensed by Ryan Hendrickson
Maintained by contact-project+rhendric-haskell-coerce-with-substitution-71023049-issue-@incoming.gitlab.com
This version can be pinned in stack with:coerce-with-substitution-0.0.0.0@sha256:02c962ab90842ad7b34a226c99437b9edca3ea06a36be18fd1fd3e49f0f933ba,2119

Module documentation for 0.0.0.0

  • Data
    • Data.CoerceSubst
Depends on 1 package(full list with versions):
base

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.

Changes

Revision history for coerce-with-substitution

0.0.0.0 – 2025-07-21

  • Proof of concept release.