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.

  1. tcSplitAppTy_maybe :: Type -> Maybe (Type, Type)

    ghc-lib-parser GHC.Tc.Utils.TcType

    No documentation available.

  2. tcSplitForAllTyVarBinder_maybe :: Type -> Maybe (TyVarBinder, Type)

    ghc-lib-parser GHC.Tc.Utils.TcType

    No documentation available.

  3. tcSplitFunTy_maybe :: Type -> Maybe (Scaled Type, Type)

    ghc-lib-parser GHC.Tc.Utils.TcType

    No documentation available.

  4. tcSplitIOType_maybe :: Type -> Maybe (TyCon, Type)

    ghc-lib-parser GHC.Tc.Utils.TcType

    No documentation available.

  5. tcSplitPiTy_maybe :: Type -> Maybe (PiTyVarBinder, Type)

    ghc-lib-parser GHC.Tc.Utils.TcType

    Splits a type into a PiTyVarBinder and a body, if possible.

  6. tcSplitPredFunTy_maybe :: Type -> Maybe (PredType, Type)

    ghc-lib-parser GHC.Tc.Utils.TcType

    No documentation available.

  7. tcSplitTyConApp_maybe :: HasDebugCallStack => Type -> Maybe (TyCon, [Type])

    ghc-lib-parser GHC.Tc.Utils.TcType

    tcSplitTyConApp_maybe splits a type constructor application into its type constructor and applied types. Differs from splitTyConApp_maybe in that it does *not* split types headed with (=>), as that's not a TyCon in the type-checker. Note that this may fail (in funTyConAppTy_maybe) in the case of a FunTy with an argument of unknown kind FunTy (e.g. `FunTy (a :: k) Int`, since the kind of a isn't of the form `TYPE rep`. This isn't usually a problem but may be temporarily the case during canonicalization: see Note [Decomposing FunTy] in GHC.Tc.Solver.Equality and Note [The Purely Kinded Type Invariant (PKTI)] in GHC.Tc.Gen.HsType, Wrinkle around FunTy Consequently, you may need to zonk your type before using this function.

  8. tcTyConAppTyCon_maybe :: Type -> Maybe TyCon

    ghc-lib-parser GHC.Tc.Utils.TcType

    Like tcRepSplitTyConApp_maybe, but only returns the TyCon.

  9. setOverlapModeMaybe :: OverlapFlag -> Maybe OverlapMode -> OverlapFlag

    ghc-lib-parser GHC.Types.Basic

    No documentation available.

  10. tyConFlavourAssoc_maybe :: TyConFlavour tc -> Maybe tc

    ghc-lib-parser GHC.Types.Basic

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

Page 212 of many | Previous | Next