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.
splitAppTy_maybe :: Type -> Maybe (Type, Type)ghc GHC.Core.Type 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 GHC.Core.Type No documentation available.
splitForAllCoVar_maybe :: Type -> Maybe (CoVar, Type)ghc GHC.Core.Type Like splitForAllTyCoVar_maybe, but only returns Just if it is a covar binder.
splitForAllForAllTyBinder_maybe :: Type -> Maybe (ForAllTyBinder, Type)ghc GHC.Core.Type Attempts to take a ForAllTy apart, returning the full ForAllTyBinder
splitForAllTyCoVar_maybe :: Type -> Maybe (TyCoVar, Type)ghc GHC.Core.Type Attempts to take a ForAllTy apart, returning the Var
splitForAllTyVar_maybe :: Type -> Maybe (TyVar, Type)ghc GHC.Core.Type Attempts to take a ForAllTy apart, but only if the binder is a TyVar
splitFunTy_maybe :: Type -> Maybe (FunTyFlag, Mult, Type, Type)ghc GHC.Core.Type Attempts to extract the multiplicity, argument and result types from a type
splitPiTy_maybe :: Type -> Maybe (PiTyBinder, Type)ghc GHC.Core.Type Attempts to take a forall type apart; works with proper foralls and functions
splitRuntimeRep_maybe :: RuntimeRepType -> Maybe (TyCon, [Type])ghc GHC.Core.Type (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.Core.Type No documentation available.