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.

Exact lookup

1. tyConAlgDataCons_maybe :: TyCon -> Maybe [DataCon]

   ghc-lib-parser	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.

2. tyConAssoc_maybe :: TyCon -> Maybe TyCon

   ghc-lib-parser	GHC.Core.TyCon

   Get the enclosing class TyCon (if there is one) for the given TyCon.

3. tyConCType_maybe :: TyCon -> Maybe CType

   ghc-lib-parser	GHC.Core.TyCon

   No documentation available.

4. tyConClass_maybe :: TyCon -> Maybe Class

   ghc-lib-parser	GHC.Core.TyCon

   If this TyCon is that for a class instance, return the class it is for. Otherwise returns Nothing

5. 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)

6. tyConFamInstSig_maybe :: TyCon -> Maybe (TyCon, [Type], CoAxiom Unbranched)

   ghc-lib-parser	GHC.Core.TyCon

   No documentation available.

7. 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

8. 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

9. tyConFamilyResVar_maybe :: TyCon -> Maybe Name

   ghc-lib-parser	GHC.Core.TyCon

   Extract type variable naming the result of injective type family

10. tyConFlavourAssoc_maybe :: TyConFlavour tc -> Maybe tc

    ghc-lib-parser	GHC.Core.TyCon

    Get the enclosing class TyCon (if there is one) for the given TyConFlavour

Page 194 of many | Previous | Next