Hoogle Search
Within LTS Haskell 24.38 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
dataConFieldType_maybe :: DataCon -> FieldLabelString -> Maybe (FieldLabel, Type)ghc-lib-parser GHC.Core.DataCon Extract the label and type for any given labelled field of the DataCon, or return Nothing if the field does not belong to it
dataConWrapId_maybe :: DataCon -> Maybe Idghc-lib-parser GHC.Core.DataCon Get the Id of the DataCon wrapper: a function that wraps the "actual" constructor so it has the type visible in the source program: c.f. dataConWorkId. Returns Nothing if there is no wrapper, which occurs for an algebraic data constructor and also for a newtype (whose constructor is inlined compulsorily)
splitDataProductType_maybe :: Type -> Maybe (TyCon, [Type], DataCon, [Scaled Type])ghc-lib-parser GHC.Core.DataCon Extract the type constructor, type argument, data constructor and it's representation argument types from a type if it is a product type. Precisely, we return Just for any data type that is all of:
- Concrete (i.e. constructors visible)
- Single-constructor
- ... which has no existentials
famInstRepTyCon_maybe :: FamInst -> Maybe TyConghc-lib-parser GHC.Core.FamInstEnv No documentation available.
reduceTyFamApp_maybe :: FamInstEnvs -> Role -> TyCon -> [Type] -> Maybe Reductionghc-lib-parser GHC.Core.FamInstEnv No documentation available.
topNormaliseType_maybe :: FamInstEnvs -> Type -> Maybe Reductionghc-lib-parser 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-lib-parser 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-lib-parser GHC.Core.InstEnv No documentation available.
arityTypeBotSigs_maybe :: ArityType -> Maybe (Arity, DmdSig, CprSig)ghc-lib-parser GHC.Core.Opt.Arity No documentation available.
exprBotStrictness_maybe :: CoreExpr -> Maybe (Arity, DmdSig, CprSig)ghc-lib-parser GHC.Core.Opt.Arity No documentation available.