Hoogle Search
Within LTS Haskell 24.39 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
mkTupleRepApp_maybe :: Type -> Maybe Typeghc-lib-parser GHC.Core.Type Given a `[RuntimeRep]`, apply TupleRep to it On the fly, rewrite TupleRep [] -> zeroBitRepTy (a synonym) See Note [TYPE and CONSTRAINT] in GHC.Builtin.Types.Prim. See Note [Using synonyms to compress types] in GHC.Core.Type
namedPiTyBinder_maybe :: PiTyBinder -> Maybe TyCoVarghc-lib-parser GHC.Core.Type No documentation available.
repGetTyVar_maybe :: Type -> Maybe TyVarghc-lib-parser GHC.Core.Type Attempts to obtain the type variable underlying a Type, without any expansion
runtimeRepLevity_maybe :: RuntimeRepType -> Maybe Levityghc-lib-parser GHC.Core.Type Check whether a type (usually of kind RuntimeRep) is lifted, unlifted, or unknown. Returns Nothing if the type isn't of kind RuntimeRep. `runtimeRepLevity_maybe rr` returns:
sORTKind_maybe :: Kind -> Maybe (TypeOrConstraint, Type)ghc-lib-parser GHC.Core.Type No documentation available.
splitAppTyNoView_maybe :: HasDebugCallStack => Type -> Maybe (Type, Type)ghc-lib-parser GHC.Core.Type 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-parser 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-lib-parser GHC.Core.Type No documentation available.
splitForAllCoVar_maybe :: Type -> Maybe (CoVar, Type)ghc-lib-parser GHC.Core.Type Like splitForAllTyCoVar_maybe, but only returns Just if it is a covar binder.
splitForAllForAllTyBinder_maybe :: Type -> Maybe (ForAllTyBinder, Type)ghc-lib-parser GHC.Core.Type Attempts to take a ForAllTy apart, returning the full ForAllTyBinder