Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. getVarID :: Variable v => v -> Int

    unification-fd Control.Unification.Types

    Return a unique identifier for this variable, in order to support the use of visited-sets instead of occurs-checks. This function must satisfy the following coherence law with respect to the Eq instance: x == y if and only if getVarID x == getVarID y

Page 117 of many | Previous | Next