Hoogle Search
Within LTS Haskell 24.40 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
ghc-lib-parser GHC.Types.Basic No documentation available.
Poly :: Boxity -> CardNonOnce -> SubDemandghc-lib-parser 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-lib-parser 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-lib-parser GHC.Types.Fixity No documentation available.
-
ghc-lib-parser 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-lib-parser 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-lib-parser 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-lib-parser GHC.Types.ForeignCall No documentation available.
PatSynName :: Name -> ConLikeNameghc-lib-parser GHC.Types.GREInfo No documentation available.
-
No documentation available.