Nix.Var

Documentation

type Var m = Ref m

type MonadVar m = MonadAtomicRef m

eqVar :: forall m a. GEq (Ref m) => Ref m a -> Ref m a -> Bool

newVar :: MonadRef m => a -> m (Ref m a)

readVar :: MonadRef m => Ref m a -> m a

writeVar :: MonadRef m => Ref m a -> a -> m ()

atomicModifyVar :: MonadAtomicRef m => Ref m a -> (a -> (a, b)) -> m b

Orphan instances

GEq IORef

Methods

geq :: forall (a :: k) (b :: k). IORef a -> IORef b -> Maybe (a :~: b)

GEq (STRef s :: Type -> Type)

Methods

geq :: forall (a :: k) (b :: k). STRef s a -> STRef s b -> Maybe (a :~: b)