Data.Ref

Documentation

data Ref r a

Instances

Eq (Ref r a)

Defined in Data.Ref.Impl

Methods

(==) :: Ref r a -> Ref r a -> Bool

(/=) :: Ref r a -> Ref r a -> Bool

newRef :: a -> (forall r. Ref r a -> RT b) -> RT b

readRef :: Ref r a -> RT a

writeRef :: Ref r a -> a -> RT ()

fromIORef :: IORef a -> Ref r a

lifetimeEqual :: Ref r1 a -> Ref r2 a -> Maybe (r1 :~: r2)