Hoogle Search
Within LTS Haskell 24.39 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
Phase :: PhaseNum -> CompilerPhaseghc GHC.Types.Basic No documentation available.
-
ghc GHC.Types.Basic Phase Number
-
ghc GHC.Types.Basic A general-purpose pretty-printing precedence type.
-
ghc GHC.Types.Basic No documentation available.
PromotedDataConFlavour :: TyConFlavour tcghc GHC.Types.Basic No documentation available.
-
ghc GHC.Types.Basic No documentation available.
Poly :: Boxity -> CardNonOnce -> SubDemandghc GHC.Types.Demand Polymorphic demand, the denoted thing is evaluated arbitrarily deep, with the specified cardinality at every level. The Boxity applies only to the outer evaluation context as well as all inner evaluation context. See Note [Boxity in Poly] for why we want it to carry Boxity. Expands to Call via viewCall and to Prod via viewProd. Poly b n is semantically equivalent to Prod b [n :* Poly b n, ...] or Call n (Poly Boxed n)@. viewCall and viewProd do these rewrites. In Note [Demand notation]: L === P(L,L,...) and L === C(L), B === P(B,B,...) and B === C(B), !A === !P(A,A,...) and !A === C(A), and so on. We'll only see Poly with C_10 (B), C_00 (A), C_0N (L) and sometimes C_1N (S) through plusSubDmd, never C_01 (M) or C_11 (1) (grep the source code). Hence CardNonOnce, which is closed under lub and plus. Why doesn't this constructor simply carry a Demand instead of its fields? See Note [Call SubDemand vs. evaluation Demand].
Prod :: Boxity -> [Demand] -> SubDemandghc GHC.Types.Demand Prod b ds describes the evaluation context of a case scrutinisation on an expression of product type, where the product components are evaluated according to ds. The Boxity b says whether or not the box of the product was used.
-
ghc GHC.Types.Fixity No documentation available.
-
ghc GHC.Types.ForeignCall Like PlaySafe, but additionally the worker thread running this foreign call may be unceremoniously killed, so it must be scheduled on an unbound thread.