-- | -- Module : Simulation.Aivika.Distributed.Optimistic.Internal.Ref -- Copyright : Copyright (c) 2015-2016, David Sorokin -- License : BSD3 -- Maintainer : David Sorokin -- Stability : experimental -- Tested with: GHC 7.10.3 -- -- This is an hs-boot file. -- module Simulation.Aivika.Distributed.Optimistic.Internal.Ref where import Simulation.Aivika.Trans.Internal.Types import Simulation.Aivika.Distributed.Optimistic.Internal.DIO data Ref a instance Eq (Ref a) newRef :: a -> Simulation DIO (Ref a) newRef0 :: a -> DIO (Ref a) readRef :: Ref a -> Event DIO a writeRef :: Ref a -> a -> Event DIO () modifyRef :: Ref a -> (a -> a) -> Event DIO ()