Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. atomicModifyMutVar2# :: MutVar# d a -> (a -> c) -> State# d -> (# State# d, a, c #)

   ihaskell	IHaskellPrelude

   Modify the contents of a MutVar#, returning the previous contents x :: a and the result of applying the given function to the previous contents f x :: c. The data type c (not a newtype!) must be a record whose first field is of lifted type a :: Type and is not unpacked. For example, product types c ~ Solo a or c ~ (a, b) work well. If the record type is both monomorphic and strict in its first field, it's recommended to mark the latter {-# NOUNPACK #-} explicitly. Under the hood atomicModifyMutVar2# atomically replaces a pointer to an old x :: a with a pointer to a selector thunk fst r, where fst is a selector for the first field of the record and r is a function application thunk r = f x. atomicModifyIORef2Native from atomic-modify-general package makes an effort to reflect restrictions on c faithfully, providing a well-typed high-level wrapper.

2. atomicModifyMutVar_# :: MutVar# d a -> (a -> a) -> State# d -> (# State# d, a, a #)

   ihaskell	IHaskellPrelude

   Modify the contents of a MutVar#, returning the previous contents and the result of applying the given function to the previous contents.

3. ParamTypeListVar :: ParamList -> ParamTypeList

   language-c99	Language.C99.AST

   No documentation available.

4. sortVars :: Sort -> [Symbol]

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   No documentation available.

5. substVars :: [(Symbol, Int)] -> Sort -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   No documentation available.

6. importVars :: CoreProgram -> [Id]

   liquidhaskell-boot	Language.Haskell.Liquid.GHC.Interface

   No documentation available.

7. isEmbeddedDictVar :: Var -> Bool

   liquidhaskell-boot	Language.Haskell.Liquid.GHC.Misc

   No documentation available.

8. meetVarTypes :: TCEmb TyCon -> Doc -> (SrcSpan, SpecType) -> (SrcSpan, SpecType) -> SpecType

   liquidhaskell-boot	Language.Haskell.Liquid.Types.Meet

   No documentation available.

9. data RTVar tv s

   liquidhaskell-boot	Language.Haskell.Liquid.Types.RType

   No documentation available.

10. RTVar :: tv -> RTVInfo s -> RTVar tv s

    liquidhaskell-boot	Language.Haskell.Liquid.Types.RType

    No documentation available.

Page 48 of many | Previous | Next