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.
expandSynTyCon_maybe :: TyCon -> [tyco] -> ExpandSynResult tycoghc GHC.Core.TyCon No documentation available.
famTyConFlav_maybe :: TyCon -> Maybe FamTyConFlavghc GHC.Core.TyCon Extract the flavour of a type family (with all the extra information that it carries)
isBuiltInSynFamTyCon_maybe :: TyCon -> Maybe BuiltInSynFamilyghc GHC.Core.TyCon No documentation available.
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.
isPromotedDataCon_maybe :: TyCon -> Maybe DataConghc GHC.Core.TyCon Retrieves the promoted DataCon if this is a PromotedDataCon;
newTyConCo_maybe :: TyCon -> Maybe (CoAxiom Unbranched)ghc 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 GHC.Core.TyCon No documentation available.
synTyConDefn_maybe :: TyCon -> Maybe ([TyVar], Type)ghc GHC.Core.TyCon Extract the TyVars bound by a vanilla type synonym and the corresponding (unsubstituted) right hand side.
synTyConRhs_maybe :: TyCon -> Maybe Typeghc GHC.Core.TyCon Extract the information pertaining to the right hand side of a type synonym (type) declaration.
tyConAlgDataCons_maybe :: TyCon -> Maybe [DataCon]ghc GHC.Core.TyCon Returns Just dcs if the given TyCon is a data type, a tuple type or a sum type with data constructors dcs. If the TyCon has more than one constructor, or represents a primitive or function type constructor then Nothing is returned. Like tyConDataCons_maybe, but returns Nothing for newtypes.