Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. nameModule_maybe :: Name -> Maybe Module

    ghc GHC.Plugins

    No documentation available.

  2. namePun_maybe :: Name -> Maybe FastString

    ghc GHC.Plugins

    No documentation available.

  3. namedPiTyBinder_maybe :: PiTyBinder -> Maybe TyCoVar

    ghc GHC.Plugins

    No documentation available.

  4. recordSelectorTyCon_maybe :: Id -> Maybe RecSelParent

    ghc GHC.Plugins

    No documentation available.

  5. repGetTyVar_maybe :: Type -> Maybe TyVar

    ghc GHC.Plugins

    Attempts to obtain the type variable underlying a Type, without any expansion

  6. runtimeRepLevity_maybe :: RuntimeRepType -> Maybe Levity

    ghc GHC.Plugins

    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:

    • `Just Lifted` if rr is `LiftedRep :: RuntimeRep`
    • `Just Unlifted` if rr is definitely unlifted, e.g. IntRep
    • Nothing if not known (e.g. it's a type variable or a type family application).

  7. sORTKind_maybe :: Kind -> Maybe (TypeOrConstraint, Type)

    ghc GHC.Plugins

    No documentation available.

  8. setNominalRole_maybe :: Role -> Coercion -> Maybe CoercionN

    ghc GHC.Plugins

    Converts a coercion to be nominal, if possible. See Note [Role twiddling functions]

  9. splitAppCo_maybe :: Coercion -> Maybe (Coercion, Coercion)

    ghc GHC.Plugins

    Attempt to take a coercion application apart.

  10. splitAppTyNoView_maybe :: HasDebugCallStack => Type -> Maybe (Type, Type)

    ghc GHC.Plugins

    Does the AppTy split as in splitAppTy_maybe, but assumes that any coreView stuff is already done

Page 137 of many | Previous | Next