Safe Haskell	None
Language	Haskell2010

Control.Monad.Yaftee.ST

Contents

Synopsis

type S s = FromFirst (ST s)
newRef :: forall s (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o a. Base (S s) effs => a -> E effs i o (STRef s a)
readRef :: forall s (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o a. Base (S s) effs => STRef s a -> E effs i o a
writeRef :: forall s (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o a. Base (S s) effs => STRef s a -> a -> E effs i o ()
modifyRef :: forall s (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o a. Base (S s) effs => STRef s a -> (a -> a) -> E effs i o ()
modifyRef' :: forall s (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o a. Base (S s) effs => STRef s a -> (a -> a) -> E effs i o ()

TYPE

REF

newRef :: forall s (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o a. Base (S s) effs => a -> E effs i o (STRef s a) Source #

readRef :: forall s (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o a. Base (S s) effs => STRef s a -> E effs i o a Source #

writeRef :: forall s (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o a. Base (S s) effs => STRef s a -> a -> E effs i o () Source #

modifyRef :: forall s (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o a. Base (S s) effs => STRef s a -> (a -> a) -> E effs i o () Source #

modifyRef' :: forall s (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o a. Base (S s) effs => STRef s a -> (a -> a) -> E effs i o () Source #