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. mkPrimEqPredRole :: Role -> Type -> Type -> PredType

   ghc	GHC.Plugins

   Makes a lifted equality predicate at the given role

2. mkRepEqOcc :: OccName -> OccName

   ghc	GHC.Plugins

   No documentation available.

3. mkRepEqOcc :: OccName -> OccName

   ghc	GHC.Plugins

   No documentation available.

4. mkReprPrimEqPred :: Type -> Type -> Type

   ghc	GHC.Plugins

   Creates a primitive representational type equality predicate. t1 ~R# t2 Invariant: the types are not Coercions

5. seqCo :: Coercion -> ()

   ghc	GHC.Plugins

   No documentation available.

6. seqType :: Type -> ()

   ghc	GHC.Plugins

   No documentation available.

7. seqTypes :: [Type] -> ()

   ghc	GHC.Plugins

   No documentation available.

8. splitForAllReqTyBinders :: Type -> ([ReqTyBinder], Type)

   ghc	GHC.Plugins

   Like splitForAllTyCoVars, but only splits ForAllTys with Required type variable binders. Furthermore, each returned tyvar is annotated with ().

9. seq :: a -> b -> b

   ghc	GHC.Prelude.Basic

   No documentation available.

10. sequence :: (Traversable t, Monad m) => t (m a) -> m (t a)

    ghc	GHC.Prelude.Basic

    No documentation available.

Page 209 of many | Previous | Next