Hoogle Search
Within LTS Haskell 24.65 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
joinPointBinding_maybe :: InBndr -> InExpr -> Maybe (InBndr, InExpr)ghc-lib-parser 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
joinPointBindings_maybe :: [(InBndr, InExpr)] -> Maybe [(InBndr, InExpr)]ghc-lib-parser GHC.Core.SimpleOpt No documentation available.
lookupIdSubst_maybe :: HasDebugCallStack => Subst -> Id -> Maybe CoreExprghc-lib-parser GHC.Core.Subst No documentation available.
expandSynTyCon_maybe :: TyCon -> [tyco] -> ExpandSynResult tycoghc-lib-parser GHC.Core.TyCon No documentation available.
famTyConFlav_maybe :: TyCon -> Maybe FamTyConFlavghc-lib-parser GHC.Core.TyCon Extract the flavour of a type family (with all the extra information that it carries)
isBuiltInSynFamTyCon_maybe :: TyCon -> Maybe BuiltInSynFamilyghc-lib-parser GHC.Core.TyCon No documentation available.
isClosedSynFamilyTyConWithAxiom_maybe :: TyCon -> Maybe (CoAxiom Branched)ghc-lib-parser GHC.Core.TyCon Is this a non-empty closed type family? Returns Nothing for abstract or empty closed families.
isPromotedDataCon_maybe :: TyCon -> Maybe DataConghc-lib-parser GHC.Core.TyCon Retrieves the promoted DataCon if this is a PromotedDataCon;
newTyConCo_maybe :: TyCon -> Maybe (CoAxiom Unbranched)ghc-lib-parser GHC.Core.TyCon Extracts the newtype coercion from such a TyCon, which can be used to construct something with the newtypes type from its representation type (right hand side). If the supplied TyCon is not a newtype, returns Nothing
newTyConDataCon_maybe :: TyCon -> Maybe DataConghc-lib-parser GHC.Core.TyCon No documentation available.