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.
-
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.
-
ghc GHC.Types.ForeignCall None of the above can happen; the call will return without interacting with the runtime system at all. Specifically:
- No GC
- No call backs
- No blocking
- No precise exceptions
-
ghc GHC.Types.ForeignCall Might invoke Haskell GC, or do a call back, or switch threads, etc. So make sure things are tidy before the call. Additionally, in the threaded RTS we arrange for the external call to be executed by a separate OS thread, i.e., _concurrently_ to the execution of other Haskell threads.
-
ghc GHC.Types.ForeignCall No documentation available.