Hoogle Search
Within LTS Haskell 24.39 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
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.
synTyConDefn_maybe :: TyCon -> Maybe ([TyVar], Type)ghc-lib-parser GHC.Core.TyCon Extract the TyVars bound by a vanilla type synonym and the corresponding (unsubstituted) right hand side.
synTyConRhs_maybe :: TyCon -> Maybe Typeghc-lib-parser GHC.Core.TyCon Extract the information pertaining to the right hand side of a type synonym (type) declaration.