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.

Exact lookup

1. recFieldConLike_maybe :: HasDebugCallStack => GlobalRdrElt -> Maybe ConInfo

   ghc-lib-parser	GHC.Types.Name.Reader

   No documentation available.

2. recFieldInfo_maybe :: HasDebugCallStack => GlobalRdrElt -> Maybe RecFieldInfo

   ghc-lib-parser	GHC.Types.Name.Reader

   No documentation available.

3. kindPrimRep_maybe :: HasDebugCallStack => Kind -> Maybe [PrimRep]

   ghc-lib-parser	GHC.Types.RepType

   Take a kind (of shape `TYPE rr` or `CONSTRAINT rr`) and produce the PrimReps of values of types of this kind. See also Note [Getting from RuntimeRep to PrimRep] Returns Nothing if rep can't be determined. Eg. levity polymorphic types.

4. runtimeRepPrimRep_maybe :: Type -> Maybe [PrimRep]

   ghc-lib-parser	GHC.Types.RepType

   Take a type of kind RuntimeRep and extract the list of PrimRep that it encodes. See also Note [Getting from RuntimeRep to PrimRep]. The [PrimRep] is the final runtime representation after unarisation. Returns Nothing if rep can't be determined. Eg. levity polymorphic types.

5. typePrimRep_maybe :: Type -> Maybe [PrimRep]

   ghc-lib-parser	GHC.Types.RepType

   Discovers the primitive representation of a Type. Returns a list of PrimRep: it's a list because of the possibility of no runtime representation (void) or multiple (unboxed tuple/sum) See also Note [Getting from RuntimeRep to PrimRep] Returns Nothing if rep can't be determined. Eg. levity polymorphic types.

6. srcSpanFileName_maybe :: SrcSpan -> Maybe FastString

   ghc-lib-parser	GHC.Types.SrcLoc

   Obtains the filename for a SrcSpan if it is "good"

7. tyThingParent_maybe :: TyThing -> Maybe TyThing

   ghc-lib-parser	GHC.Types.TyThing

   tyThingParent_maybe x returns (Just p) when pprTyThingInContext should print a declaration for p (albeit with some "..." in it) when asked to show x It returns the *immediate* parent. So a datacon returns its tycon but the tycon could be the associated type of a class, so it in turn might have a parent.

8. plusMaybeUniqMap_C :: (a -> a -> Maybe a) -> UniqMap k a -> UniqMap k a -> UniqMap k a

   ghc-lib-parser	GHC.Types.Unique.Map

   No documentation available.

9. mapMaybeUniqSet_sameUnique :: (a -> Maybe b) -> UniqSet a -> UniqSet b

   ghc-lib-parser	GHC.Types.Unique.Set

   Like mapMaybe, but you must ensure the passed in function does not change the Unique.

10. anonPiTyBinderType_maybe :: PiTyBinder -> Maybe Type

    ghc-lib-parser	GHC.Types.Var

    Extract a relevant type, if there is one.

Page 211 of many | Previous | Next