Hoogle Search
Within LTS Haskell 24.32 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
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.
tyConAssoc_maybe :: TyCon -> Maybe TyConghc GHC.Core.TyCon Get the enclosing class TyCon (if there is one) for the given TyCon.
tyConCType_maybe :: TyCon -> Maybe CTypeghc GHC.Core.TyCon No documentation available.
tyConClass_maybe :: TyCon -> Maybe Classghc GHC.Core.TyCon If this TyCon is that for a class instance, return the class it is for. Otherwise returns Nothing
tyConDataCons_maybe :: TyCon -> Maybe [DataCon]ghc GHC.Core.TyCon Determine the DataCons originating from the given TyCon, if the TyCon is the sort that can have any constructors (note: this does not include abstract algebraic types)