Hoogle Search
Within LTS Haskell 24.51 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
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
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
tyConFamilyResVar_maybe :: TyCon -> Maybe Nameghc GHC.Core.TyCon Extract type variable naming the result of injective type family
tyConFlavourAssoc_maybe :: TyConFlavour tc -> Maybe tcghc GHC.Core.TyCon Get the enclosing class TyCon (if there is one) for the given TyConFlavour
tyConRepName_maybe :: TyCon -> Maybe TyConRepNameghc GHC.Core.TyCon No documentation available.
tyConSingleAlgDataCon_maybe :: TyCon -> Maybe DataConghc GHC.Core.TyCon Like tyConSingleDataCon_maybe, but returns Nothing for newtypes.
tyConSingleDataCon_maybe :: TyCon -> Maybe DataConghc 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.
tyConTuple_maybe :: TyCon -> Maybe TupleSortghc GHC.Core.TyCon No documentation available.
unwrapNewTyConEtad_maybe :: TyCon -> Maybe ([TyVar], Type, CoAxiom Unbranched)ghc GHC.Core.TyCon No documentation available.
unwrapNewTyCon_maybe :: TyCon -> Maybe ([TyVar], Type, CoAxiom Unbranched)ghc GHC.Core.TyCon Take a TyCon apart into the TyVars it scopes over, the Type it expands into, and (possibly) a coercion from the representation type to the newtype. Returns Nothing if this is not possible.