Home
last modified time | relevance | path

Searched defs:writeSTRef (Results 1 – 6 of 6) sorted by relevance

/dports/lang/ghc/ghc-8.10.7/libraries/base/Data/STRef/
H A DLazy.hs36 writeSTRef r a = strictToLazyST (ST.writeSTRef r a) function
/dports/lang/ghc/ghc-8.10.7/libraries/base/GHC/
H A DSTRef.hs55 writeSTRef (STRef var#) val = ST $ \s1# -> function
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/equivalence-0.3.5/src/Data/Equivalence/
H A DSTT.hs259 writeSTRef ry Node {entryParent = repx, entryValue = vy} function
260 writeSTRef rx dx{entryWeight = wx + wy, entryDesc = mkDesc chx chy} function
263 writeSTRef rx Node {entryParent = repy, entryValue = vx} function
264 writeSTRef ry dy{entryWeight = wx + wy, entryDesc = mkDesc chx chy} function
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/STMonadTrans-0.4.4/Control/Monad/ST/
H A DTrans.hs88 writeSTRef ref a = liftST (STRef.writeSTRef ref a) function
/dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/Constants/
H A DPrelude.hs148 writeSTRef = "write" function
/dports/devel/hs-hoogle/hoogle-5.0.18.2/src/Output/
H A DTypes.hs545 writeSTRef ref (ni { niParent = Just root }) function