linear-base-0.5.0: Standard library for linear types.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Prelude.Linear.Internal.TypeEq

Description

As of GHC 9.4, ~ is a type operator exported from Equality rather than a language construct. As a temporary workaround to enable compilation on both GHC 9.4 and 9.2, this module re-exports the new type operator, while the 9.2 version is empty. As a result, files which depend on this module will likely have -Wno-unused-imports enabled (and potentially also -Wno-dodgy exports if they re-export it). These should be removed once support for GHC 9.2 is dropped.

Synopsis
  • class a ~# b => (a :: k) ~ (b :: k)

Documentation

class a ~# b => (a :: k) ~ (b :: k) infix 4 #

Lifted, homogeneous equality. By lifted, we mean that it can be bogus (deferred type error). By homogeneous, the two types a and b must have the same kinds.