Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

  1. exprIsLambda_maybe :: HasDebugCallStack => InScopeEnv -> CoreExpr -> Maybe (Var, CoreExpr, [CoreTickish])

    ghc GHC.Core.SimpleOpt

    No documentation available.

  2. exprIsLiteral_maybe :: InScopeEnv -> CoreExpr -> Maybe Literal

    ghc GHC.Core.SimpleOpt

    No documentation available.

  3. joinPointBinding_maybe :: InBndr -> InExpr -> Maybe (InBndr, InExpr)

    ghc GHC.Core.SimpleOpt

    Returns Just (bndr,rhs) if the binding is a join point: If it's a JoinId, just return it If it's not yet a JoinId but is always tail-called, make it into a JoinId and return it. In the latter case, eta-expand the RHS if necessary, to make the lambdas explicit, as is required for join points Precondition: the InBndr has been occurrence-analysed, so its OccInfo is valid

  4. joinPointBindings_maybe :: [(InBndr, InExpr)] -> Maybe [(InBndr, InExpr)]

    ghc GHC.Core.SimpleOpt

    No documentation available.

  5. lookupIdSubst_maybe :: HasDebugCallStack => Subst -> Id -> Maybe CoreExpr

    ghc GHC.Core.Subst

    No documentation available.

  6. expandSynTyCon_maybe :: TyCon -> [tyco] -> ExpandSynResult tyco

    ghc GHC.Core.TyCon

    No documentation available.

  7. famTyConFlav_maybe :: TyCon -> Maybe FamTyConFlav

    ghc GHC.Core.TyCon

    Extract the flavour of a type family (with all the extra information that it carries)

  8. isBuiltInSynFamTyCon_maybe :: TyCon -> Maybe BuiltInSynFamily

    ghc GHC.Core.TyCon

    No documentation available.

  9. isClosedSynFamilyTyConWithAxiom_maybe :: TyCon -> Maybe (CoAxiom Branched)

    ghc GHC.Core.TyCon

    Is this a non-empty closed type family? Returns Nothing for abstract or empty closed families.

  10. isPromotedDataCon_maybe :: TyCon -> Maybe DataCon

    ghc GHC.Core.TyCon

    Retrieves the promoted DataCon if this is a PromotedDataCon;

Page 125 of many | Previous | Next