Hoogle Search
Within LTS Haskell 24.32 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
splitForAllCo_maybe :: Coercion -> Maybe (TyCoVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)ghc GHC.Plugins No documentation available.
splitForAllCo_ty_maybe :: Coercion -> Maybe (TyVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)ghc GHC.Plugins Like splitForAllCo_maybe, but only returns Just for tyvar binder
splitForAllForAllTyBinder_maybe :: Type -> Maybe (ForAllTyBinder, Type)ghc GHC.Plugins Attempts to take a ForAllTy apart, returning the full ForAllTyBinder
splitForAllTyCoVar_maybe :: Type -> Maybe (TyCoVar, Type)ghc GHC.Plugins Attempts to take a ForAllTy apart, returning the Var
splitForAllTyVar_maybe :: Type -> Maybe (TyVar, Type)ghc GHC.Plugins Attempts to take a ForAllTy apart, but only if the binder is a TyVar
splitFunCo_maybe :: Coercion -> Maybe (Coercion, Coercion)ghc GHC.Plugins No documentation available.
splitFunTy_maybe :: Type -> Maybe (FunTyFlag, Mult, Type, Type)ghc GHC.Plugins Attempts to extract the multiplicity, argument and result types from a type
splitPiTy_maybe :: Type -> Maybe (PiTyBinder, Type)ghc GHC.Plugins Attempts to take a forall type apart; works with proper foralls and functions
splitRuntimeRep_maybe :: RuntimeRepType -> Maybe (TyCon, [Type])ghc GHC.Plugins (splitRuntimeRep_maybe rr) takes a Type rr :: RuntimeRep, and returns the (TyCon,[Type]) for the RuntimeRep, if possible, where the TyCon is one of the promoted DataCons of RuntimeRep. Remember: the unique on TyCon that is a a promoted DataCon is the same as the unique on the DataCon See Note [Promoted data constructors] in GHC.Core.TyCon May not be possible if rr is a type variable or type family application
splitTyConAppNoView_maybe :: HasDebugCallStack => Type -> Maybe (TyCon, [Type])ghc GHC.Plugins No documentation available.