Hoogle Search
Within LTS Haskell 24.65 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
isGReflCo_maybe :: Coercion -> Maybe (Type, Role)ghc-lib-parser GHC.Core.Coercion Returns the type coerced if this coercion is a generalized reflexive coercion. Guaranteed to work very quickly.
isReflCoVar_maybe :: Var -> Maybe Coercionghc-lib-parser GHC.Core.Coercion No documentation available.
isReflCo_maybe :: Coercion -> Maybe (Type, Role)ghc-lib-parser GHC.Core.Coercion Returns the type coerced if this coercion is reflexive. Guaranteed to work very quickly. Sometimes a coercion can be reflexive, but not obviously so. c.f. isReflexiveCo_maybe
isReflexiveCo_maybe :: Coercion -> Maybe (Type, Role)ghc-lib-parser GHC.Core.Coercion Extracts the coerced type from a reflexive coercion. This potentially walks over the entire coercion, so avoid doing this in a loop.
setNominalRole_maybe :: Role -> Coercion -> Maybe CoercionNghc-lib-parser GHC.Core.Coercion Converts a coercion to be nominal, if possible. See Note [Role twiddling functions]
splitAppCo_maybe :: Coercion -> Maybe (Coercion, Coercion)ghc-lib-parser GHC.Core.Coercion Attempt to take a coercion application apart.
splitForAllCo_co_maybe :: Coercion -> Maybe (CoVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)ghc-lib-parser GHC.Core.Coercion Like splitForAllCo_maybe, but only returns Just for covar binder
splitForAllCo_maybe :: Coercion -> Maybe (TyCoVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)ghc-lib-parser GHC.Core.Coercion No documentation available.
splitForAllCo_ty_maybe :: Coercion -> Maybe (TyVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)ghc-lib-parser GHC.Core.Coercion Like splitForAllCo_maybe, but only returns Just for tyvar binder
splitFunCo_maybe :: Coercion -> Maybe (Coercion, Coercion)ghc-lib-parser GHC.Core.Coercion No documentation available.