Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. ConsultPolicyOverrideDelay :: Int -> RetryAction

   retry	Control.Retry

   Retry if the RetryPolicy says so, but override the policy's delay (number of microseconds).

2. ConsultPolicyOverrideDelay :: Int -> RetryAction

   retry	UnliftIO.Retry

   Retry if the RetryPolicy says so, but override the policy's delay (number of microseconds).

3. data DefUnitId

   Cabal-syntax	Distribution.Backpack

   A UnitId for a definite package. The DefUnitId invariant says that a UnitId identified this way is definite; i.e., it has no unfilled holes.

4. DefiniteUnitId :: DefUnitId -> OpenUnitId

   Cabal-syntax	Distribution.Backpack

   Identifies a fully instantiated component, which has been compiled and abbreviated as a hash. The embedded UnitId MUST NOT be for an indefinite component; an OpenUnitId is guaranteed not to have any holes.

5. IndefFullUnitId :: ComponentId -> OpenModuleSubst -> OpenUnitId

   Cabal-syntax	Distribution.Backpack

   Identifies a component which may have some unfilled holes; specifying its ComponentId and its OpenModuleSubst. TODO: Invariant that OpenModuleSubst is non-empty? See also the Text instance.

6. data OpenUnitId

   Cabal-syntax	Distribution.Backpack

   An OpenUnitId describes a (possibly partially) instantiated Backpack component, with a description of how the holes are filled in. Unlike OpenUnitId, the ModuleSubst is kept in a structured form that allows for substitution (which fills in holes.) This form of unit cannot be installed. It must first be converted to a UnitId. In the absence of Backpack, there are no holes to fill, so any such component always has an empty module substitution; thus we can lossily represent it as a 'DefiniteUnitId uid'. For a source component using Backpack, however, there is more structure as components may be parametrized over some signatures, and these "holes" may be partially or wholly filled. OpenUnitId plays an important role when we are mix-in linking, and is recorded to the installed packaged database for indefinite packages; however, for compiled packages that are fully instantiated, we instantiate OpenUnitId into UnitId. For more details see the Backpack spec https://github.com/ezyang/ghc-proposals/blob/backpack/proposals/0000-backpack.rst

7. abstractUnitId :: OpenUnitId -> UnitId

   Cabal-syntax	Distribution.Backpack

   When typechecking, we don't demand that a freshly instantiated IndefFullUnitId be compiled; instead, we just depend on the installed indefinite unit installed at the ComponentId.

8. mkDefUnitId :: ComponentId -> Map ModuleName Module -> DefUnitId

   Cabal-syntax	Distribution.Backpack

   Create a DefUnitId from a ComponentId and an instantiation with no holes.

9. mkOpenUnitId :: UnitId -> ComponentId -> OpenModuleSubst -> OpenUnitId

   Cabal-syntax	Distribution.Backpack

   Safe constructor from a UnitId. The only way to do this safely is if the instantiation is provided.

10. openUnitIdFreeHoles :: OpenUnitId -> Set ModuleName

    Cabal-syntax	Distribution.Backpack

    Get the set of holes (ModuleVar) embedded in a UnitId.

Page 715 of many | Previous | Next