Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

Exact lookup

1. data RepPolyId

   ghc-lib-parser	GHC.Tc.Types.Origin

   The description of a representation-polymorphic Id.

2. iw_dfun_id :: InstanceWhat -> DFunId

   ghc-lib-parser	GHC.Tc.Types.Origin

   No documentation available.

3. checkValidClsArgs :: Bool -> Class -> [KindOrType] -> Bool

   ghc-lib-parser	GHC.Tc.Utils.TcType

   No documentation available.

4. isRigidTy :: TcType -> Bool

   ghc-lib-parser	GHC.Tc.Utils.TcType

   No documentation available.

5. mayLookIdentical :: Type -> Type -> Bool

   ghc-lib-parser	GHC.Tc.Utils.TcType

   Returns True if the visible part of the types might look equal, even if they are really unequal (in the invisible bits) This function is very similar to tc_eq_type but it is much more heuristic. Notably, it is always safe to return True, even with types that might (in truth) be unequal -- this affects error messages only (Originally this test was done by eqType with an extra flag, but the result was hard to understand.)

6. data InsideLam

   ghc-lib-parser	GHC.Types.Basic

   Inside Lambda

7. IsInsideLam :: InsideLam

   ghc-lib-parser	GHC.Types.Basic

   Occurs inside a non-linear lambda Substituting a redex for this occurrence is dangerous because it might duplicate work.

8. NotInsideLam :: InsideLam

   ghc-lib-parser	GHC.Types.Basic

   No documentation available.

9. data BreakpointId

   ghc-lib-parser	GHC.Types.Breakpoint

   Breakpoint identifier. See Note [Breakpoint identifiers]

10. BreakpointId :: Module -> Int -> BreakpointId

    ghc-lib-parser	GHC.Types.Breakpoint

    No documentation available.

Page 1035 of many | Previous | Next