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.
reduceTyFamApp_maybe :: FamInstEnvs -> Role -> TyCon -> [Type] -> Maybe Reductionghc GHC.Core.FamInstEnv No documentation available.
topNormaliseType_maybe :: FamInstEnvs -> Type -> Maybe Reductionghc GHC.Core.FamInstEnv Get rid of *outermost* (or toplevel) * type function redex * data family redex * newtypes returning an appropriate Representational coercion. Specifically, if topNormaliseType_maybe env ty = Just (co, ty') then (a) co :: ty ~R ty' (b) ty' is not a newtype, and is not a type-family or data-family redex However, ty' can be something like (Maybe (F ty)), where (F ty) is a redex. Always operates homogeneously: the returned type has the same kind as the original type, and the returned coercion is always homogeneous.
topReduceTyFamApp_maybe :: FamInstEnvs -> TyCon -> [Type] -> Maybe HetReductionghc GHC.Core.FamInstEnv Try to simplify a type-family application, by *one* step If topReduceTyFamApp_maybe env r F tys = Just (HetReduction (Reduction co rhs) res_co) then co :: F tys ~R# rhs res_co :: typeKind(F tys) ~ typeKind(rhs) Type families and data families; always Representational role
setOverlapModeMaybe :: OverlapFlag -> Maybe OverlapMode -> OverlapFlagghc GHC.Core.InstEnv No documentation available.
arityTypeBotSigs_maybe :: ArityType -> Maybe (Arity, DmdSig, CprSig)ghc GHC.Core.Opt.Arity No documentation available.
exprBotStrictness_maybe :: CoreExpr -> Maybe (Arity, DmdSig, CprSig)ghc GHC.Core.Opt.Arity No documentation available.
scrutBinderSwap_maybe :: OutExpr -> Maybe (OutVar, MCoercion)ghc GHC.Core.Opt.OccurAnal No documentation available.
getClassPredTys_maybe :: PredType -> Maybe (Class, [Type])ghc GHC.Core.Predicate No documentation available.
getEqPredTys_maybe :: PredType -> Maybe (Role, Type, Type)ghc GHC.Core.Predicate No documentation available.
isIPPred_maybe :: Class -> [Type] -> Maybe (Type, Type)ghc GHC.Core.Predicate Decomposes a predicate if it is an implicit parameter. Does not look in superclasses. See also [Local implicit parameters].