Hoogle Search
Within LTS Haskell 24.18 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
putVarInt :: (MonadPut m, Integral a) => a -> m ()haskoin-core Haskoin.Network.Common No documentation available.
-
hinotify System.INotify No documentation available.
data
MutVar# a (b :: TYPE 'BoxedRep l)ihaskell IHaskellPrelude A MutVar# behaves like a single-element mutable array.
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.
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.
ParamTypeListVar :: ParamList -> ParamTypeListlanguage-c99 Language.C99.AST No documentation available.
-
liquid-fixpoint Language.Fixpoint.Types.Constraints No documentation available.
substVars :: [(Symbol, Int)] -> Sort -> Sortliquid-fixpoint Language.Fixpoint.Types.Constraints No documentation available.
importVars :: CoreProgram -> [Id]liquidhaskell-boot Language.Haskell.Liquid.GHC.Interface No documentation available.
isEmbeddedDictVar :: Var -> Boolliquidhaskell-boot Language.Haskell.Liquid.GHC.Misc No documentation available.