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. fieldOcc_maybe :: OccName -> Maybe FastString

    ghc GHC.Plugins

    No documentation available.

  2. funTyConAppTy_maybe :: FunTyFlag -> Type -> Type -> Type -> Maybe (TyCon, [Type])

    ghc GHC.Plugins

    Given the components of a FunTy figure out the corresponding TyConApp.

  3. getCastedTyVar_maybe :: Type -> Maybe (TyVar, CoercionN)

    ghc GHC.Plugins

    If the type is a tyvar, possibly under a cast, returns it, along with the coercion. Thus, the co is :: kind tv ~N kind ty

  4. getCoVar_maybe :: Coercion -> Maybe CoVar

    ghc GHC.Plugins

    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.)

  5. getTyVar_maybe :: Type -> Maybe TyVar

    ghc GHC.Plugins

    Attempts to obtain the type variable underlying a Type

  6. idCbvMarks_maybe :: Id -> Maybe [CbvMark]

    ghc GHC.Plugins

    No documentation available.

  7. idLFInfo_maybe :: Id -> Maybe LambdaFormInfo

    ghc GHC.Plugins

    No documentation available.

  8. idTagSig_maybe :: Id -> Maybe TagSig

    ghc GHC.Plugins

    No documentation available.

  9. instNewTyCon_maybe :: TyCon -> [Type] -> Maybe (Type, Coercion)

    ghc GHC.Plugins

    If `instNewTyCon_maybe T ts = Just (rep_ty, co)` then `co :: T ts ~R# rep_ty` Checks for a newtype, and for being saturated

  10. isClassOpId_maybe :: Id -> Maybe Class

    ghc GHC.Plugins

    No documentation available.

Page 134 of many | Previous | Next