Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. forAllCycleBreakerBindings_ :: Monad m => CycleBreakerVarStack -> (TcTyVar -> TcType -> m ()) -> m ()

   ghc	GHC.Tc.Solver.InertSet

   Perform a monadic operation on all pairs in the top environment in the stack.

2. mightEqualLater :: InertSet -> TcPredType -> CtLoc -> TcPredType -> CtLoc -> Maybe Subst

   ghc	GHC.Tc.Solver.InertSet

   No documentation available.

3. addInertForAll :: QCInst -> TcS ()

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

4. unifyForAllBody :: CtEvidence -> Role -> (UnifyEnv -> TcM a) -> TcS (a, Cts)

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

5. ContainsForall :: ForAllTyBinder -> TcType -> NotConcreteReason

   ghc	GHC.Tc.Types.Constraint

   The type contains a forall.

6. setCtLocRealLoc :: CtLocEnv -> RealSrcSpan -> CtLocEnv

   ghc	GHC.Tc.Types.CtLocEnv

   No documentation available.

7. evCallStack :: (MonadThings m, HasModule m, HasDynFlags m) => EvCallStack -> m EvExpr

   ghc	GHC.Tc.Types.EvTerm

   No documentation available.

8. data EvCallStack

   ghc	GHC.Tc.Types.Evidence

   Evidence for CallStack implicit parameters.

9. EvCsPushCall :: FastString -> RealSrcSpan -> EvExpr -> EvCallStack

   ghc	GHC.Tc.Types.Evidence

   EvCsPushCall origin loc stk represents a call from origin, occurring at loc, in a calling context stk.

10. mkWpForAllCast :: [ForAllTyBinder] -> Type -> HsWrapper

    ghc	GHC.Tc.Types.Evidence

    No documentation available.

Page 312 of many | Previous | Next