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. recFieldInfo_maybe :: HasDebugCallStack => GlobalRdrElt -> Maybe RecFieldInfo

    ghc GHC.Types.Name.Reader

    No documentation available.

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

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

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

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

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

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

  5. srcSpanFileName_maybe :: SrcSpan -> Maybe FastString

    ghc GHC.Types.SrcLoc

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

  6. tyThingParent_maybe :: TyThing -> Maybe TyThing

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

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

    ghc GHC.Types.Unique.Map

    No documentation available.

  8. anonPiTyBinderType_maybe :: PiTyBinder -> Maybe Type

    ghc GHC.Types.Var

    Extract a relevant type, if there is one.

  9. isLocalId_maybe :: Var -> Maybe ExportFlag

    ghc GHC.Types.Var

    No documentation available.

  10. namedPiTyBinder_maybe :: PiTyBinder -> Maybe TyCoVar

    ghc GHC.Types.Var

    No documentation available.

Page 149 of many | Previous | Next