Hoogle Search
Within LTS Haskell 24.38 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
tyConCType_maybe :: TyCon -> Maybe CTypeghc-lib-parser GHC.Core.TyCon No documentation available.
tyConClass_maybe :: TyCon -> Maybe Classghc-lib-parser 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-lib-parser 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-lib-parser GHC.Core.TyCon No documentation available.
tyConFamInst_maybe :: TyCon -> Maybe (TyCon, [Type])ghc-lib-parser 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
tyConFamilyCoercion_maybe :: TyCon -> Maybe (CoAxiom Unbranched)ghc-lib-parser GHC.Core.TyCon If this TyCon is that of a data family instance, return a TyCon which represents a coercion identifying the representation type with the type instance family. Otherwise, return Nothing
tyConFamilyResVar_maybe :: TyCon -> Maybe Nameghc-lib-parser GHC.Core.TyCon Extract type variable naming the result of injective type family
tyConFlavourAssoc_maybe :: TyConFlavour tc -> Maybe tcghc-lib-parser GHC.Core.TyCon Get the enclosing class TyCon (if there is one) for the given TyConFlavour
tyConRepName_maybe :: TyCon -> Maybe TyConRepNameghc-lib-parser GHC.Core.TyCon No documentation available.
tyConSingleAlgDataCon_maybe :: TyCon -> Maybe DataConghc-lib-parser GHC.Core.TyCon Like tyConSingleDataCon_maybe, but returns Nothing for newtypes.