Hoogle Search
Within LTS Haskell 24.38 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
mkRepEqOcc :: OccName -> OccNameghc GHC.Plugins No documentation available.
mkReprPrimEqPred :: Type -> Type -> Typeghc GHC.Plugins Creates a primitive representational type equality predicate. t1 ~R# t2 Invariant: the types are not Coercions
-
ghc GHC.Plugins No documentation available.
-
ghc GHC.Plugins No documentation available.
-
ghc GHC.Plugins No documentation available.
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 ().
-
ghc GHC.Prelude.Basic No documentation available.
sequence :: (Traversable t, Monad m) => t (m a) -> m (t a)ghc GHC.Prelude.Basic No documentation available.
sequenceA :: (Traversable t, Applicative f) => t (f a) -> f (t a)ghc GHC.Prelude.Basic No documentation available.
sequence_ :: (Foldable t, Monad m) => t (m a) -> m ()ghc GHC.Prelude.Basic No documentation available.