HORIZON HASKELLDocslts/ghc-10.0.xd29e1592026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · d29e159 · 2026-10-12

Modulelinear-base-0.8.1

Prelude.Linear.Internal.TypeEq

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

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.