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.

Exact lookup

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

   ghc	GHC.Core.TyCon

   No documentation available.

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

3. tyConFamilyCoercion_maybe :: TyCon -> Maybe (CoAxiom Unbranched)

   ghc	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

4. tyConFamilyResVar_maybe :: TyCon -> Maybe Name

   ghc	GHC.Core.TyCon

   Extract type variable naming the result of injective type family

5. tyConFlavourAssoc_maybe :: TyConFlavour tc -> Maybe tc

   ghc	GHC.Core.TyCon

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

6. tyConRepName_maybe :: TyCon -> Maybe TyConRepName

   ghc	GHC.Core.TyCon

   No documentation available.

7. tyConSingleAlgDataCon_maybe :: TyCon -> Maybe DataCon

   ghc	GHC.Core.TyCon

   Like tyConSingleDataCon_maybe, but returns Nothing for newtypes.

8. tyConSingleDataCon_maybe :: TyCon -> Maybe DataCon

   ghc	GHC.Core.TyCon

   If the given TyCon has a single data constructor, i.e. it is a data type with one alternative, a tuple type or a newtype then that constructor is returned. If the TyCon has more than one constructor, or represents a primitive or function type constructor then Nothing is returned.

9. tyConTuple_maybe :: TyCon -> Maybe TupleSort

   ghc	GHC.Core.TyCon

   No documentation available.

10. unwrapNewTyConEtad_maybe :: TyCon -> Maybe ([TyVar], Type, CoAxiom Unbranched)

    ghc	GHC.Core.TyCon

    No documentation available.

Page 122 of many | Previous | Next