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.
-
ghc-lib-parser GHC.Builtin.Types No documentation available.
mkPromotedMaybeTy :: Kind -> Maybe Type -> Typeghc-lib-parser GHC.Builtin.Types No documentation available.
collectNValBinders_maybe :: Arity -> CoreExpr -> Maybe ([Var], CoreExpr)ghc-lib-parser GHC.Core Strip off exactly N leading value lambdas returning all the binders found up to that point Return Nothing if there aren't enough
expandUnfolding_maybe :: Unfolding -> Maybe CoreExprghc-lib-parser GHC.Core No documentation available.
getCoVar_maybe :: Coercion -> Maybe CoVarghc-lib-parser GHC.Core.Coercion Extract a covar, if possible. This check is dirty. Be ashamed of yourself. (It's dirty because it cares about the structure of a coercion, which is morally reprehensible.)
instNewTyCon_maybe :: TyCon -> [Type] -> Maybe (Type, Coercion)ghc-lib-parser GHC.Core.Coercion If `instNewTyCon_maybe T ts = Just (rep_ty, co)` then `co :: T ts ~R# rep_ty` Checks for a newtype, and for being saturated
isGReflCo_maybe :: Coercion -> Maybe (Type, Role)ghc-lib-parser GHC.Core.Coercion Returns the type coerced if this coercion is a generalized reflexive coercion. Guaranteed to work very quickly.
isReflCoVar_maybe :: Var -> Maybe Coercionghc-lib-parser GHC.Core.Coercion No documentation available.
isReflCo_maybe :: Coercion -> Maybe (Type, Role)ghc-lib-parser GHC.Core.Coercion Returns the type coerced if this coercion is reflexive. Guaranteed to work very quickly. Sometimes a coercion can be reflexive, but not obviously so. c.f. isReflexiveCo_maybe
isReflexiveCo_maybe :: Coercion -> Maybe (Type, Role)ghc-lib-parser GHC.Core.Coercion Extracts the coerced type from a reflexive coercion. This potentially walks over the entire coercion, so avoid doing this in a loop.