Copyright	Copyright (c) 2016-2017 David Sorokin <david.sorokin@gmail.com>
License	BSD3
Maintainer	David Sorokin <david.sorokin@gmail.com>
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Simulation.Aivika.RealTime.Ref.Base.Strict

Contents

Description

Tested with: GHC 8.0.1

The RT monad can be an instance of strict MonadRef.

Orphan instances

(Monad m, MonadIO m) => MonadRef (RT m) Source #	The `RT` monad is an instance of `MonadRef`.
Instance details Associated Types data Ref (RT m) a # Methods newRef :: a -> Simulation (RT m) (Ref (RT m) a) # readRef :: Ref (RT m) a -> Event (RT m) a # writeRef :: Ref (RT m) a -> a -> Event (RT m) () # modifyRef :: Ref (RT m) a -> (a -> a) -> Event (RT m) () # equalRef :: Ref (RT m) a -> Ref (RT m) a -> Bool #
MonadIO m => MonadRef0 (RT m) Source #	The `RT` monad is an instance of `MonadRef0`.
Instance details Methods newRef0 :: a -> RT m (Ref (RT m) a) #