coerce-with-substitution: Coercions with improved type inference

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 <code>TypeData</code> extension.

Modules

[Index] [Quick Jump]

Downloads

• coerce-with-substitution-0.0.0.0.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• rhendric

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates