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.
-
ghc GHC.Core.SimpleOpt Returns Just ([b1..bp], dc, [t1..tk], [x1..xn]) if the argument expression is a *saturated* constructor application of the form let b1 in .. let bp in dc t1..tk x1 .. xn, where t1..tk are the *universally-quantified* type args of dc. Floats can also be (and most likely are) single-alternative case expressions. Why does exprIsConApp_maybe return floats? We may have to look through lets and cases to detect that we are in the presence of a data constructor wrapper. In this case, we need to return the lets and cases that we traversed. See Note [exprIsConApp_maybe on data constructors with wrappers]. Data constructor wrappers are unfolded late, but we really want to trigger case-of-known-constructor as early as possible. See also Note [Activation for data constructor wrappers] in GHC.Types.Id.Make. We also return the incoming InScopeSet, augmented with the binders from any [FloatBind] that we return
-
ghc GHC.Core.SimpleOpt No documentation available.
exprIsLiteral_maybe :: InScopeEnv -> CoreExpr -> Maybe Literalghc GHC.Core.SimpleOpt No documentation available.
joinPointBinding_maybe :: InBndr -> InExpr -> Maybe (InBndr, InExpr)ghc GHC.Core.SimpleOpt Returns Just (bndr,rhs) if the binding is a join point: If it's a JoinId, just return it If it's not yet a JoinId but is always tail-called, make it into a JoinId and return it. In the latter case, eta-expand the RHS if necessary, to make the lambdas explicit, as is required for join points Precondition: the InBndr has been occurrence-analysed, so its OccInfo is valid
joinPointBindings_maybe :: [(InBndr, InExpr)] -> Maybe [(InBndr, InExpr)]ghc GHC.Core.SimpleOpt No documentation available.
lookupIdSubst_maybe :: HasDebugCallStack => Subst -> Id -> Maybe CoreExprghc GHC.Core.Subst No documentation available.
expandSynTyCon_maybe :: TyCon -> [tyco] -> ExpandSynResult tycoghc GHC.Core.TyCon No documentation available.
famTyConFlav_maybe :: TyCon -> Maybe FamTyConFlavghc GHC.Core.TyCon Extract the flavour of a type family (with all the extra information that it carries)
isBuiltInSynFamTyCon_maybe :: TyCon -> Maybe BuiltInSynFamilyghc GHC.Core.TyCon No documentation available.
isClosedSynFamilyTyConWithAxiom_maybe :: TyCon -> Maybe (CoAxiom Branched)ghc GHC.Core.TyCon Is this a non-empty closed type family? Returns Nothing for abstract or empty closed families.