Hoogle Search
Within LTS Haskell 24.46 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
splitAppCo_maybe :: Coercion -> Maybe (Coercion, Coercion)ghc-lib GHC.Plugins Attempt to take a coercion application apart.
splitAppTyNoView_maybe :: HasDebugCallStack => Type -> Maybe (Type, Type)ghc-lib GHC.Plugins Does the AppTy split as in splitAppTy_maybe, but assumes that any coreView stuff is already done
splitAppTy_maybe :: Type -> Maybe (Type, Type)ghc-lib GHC.Plugins Attempt to take a type application apart, whether it is a function, type constructor, or plain type application. Note that type family applications are NEVER unsaturated by this!
splitCastTy_maybe :: Type -> Maybe (Type, Coercion)ghc-lib GHC.Plugins No documentation available.
splitForAllCoVar_maybe :: Type -> Maybe (CoVar, Type)ghc-lib GHC.Plugins Like splitForAllTyCoVar_maybe, but only returns Just if it is a covar binder.
splitForAllCo_co_maybe :: Coercion -> Maybe (CoVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)ghc-lib GHC.Plugins Like splitForAllCo_maybe, but only returns Just for covar binder
splitForAllCo_maybe :: Coercion -> Maybe (TyCoVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)ghc-lib GHC.Plugins No documentation available.
splitForAllCo_ty_maybe :: Coercion -> Maybe (TyVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)ghc-lib GHC.Plugins Like splitForAllCo_maybe, but only returns Just for tyvar binder
splitForAllForAllTyBinder_maybe :: Type -> Maybe (ForAllTyBinder, Type)ghc-lib GHC.Plugins Attempts to take a ForAllTy apart, returning the full ForAllTyBinder
splitForAllTyCoVar_maybe :: Type -> Maybe (TyCoVar, Type)ghc-lib GHC.Plugins Attempts to take a ForAllTy apart, returning the Var