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.
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)
tyConFamInstSig_maybe :: TyCon -> Maybe (TyCon, [Type], CoAxiom Unbranched)ghc GHC.Core.TyCon No documentation available.
tyConFamInst_maybe :: TyCon -> Maybe (TyCon, [Type])ghc GHC.Core.TyCon If this TyCon is that of a data family instance, return the family in question and the instance types. Otherwise, return Nothing