- newDefaultMRef :: (DefaultMRef sr m a, NewMRef sr m a) => a -> m sr
- newDefaultEmptyMRef :: (DefaultMRef sr m a, NewMRef sr m a) => m sr
- takeDefaultMRef :: (DefaultMRef sr m a, TakeMRef sr m a) => sr -> m a
- putDefaultMRef :: (DefaultMRef sr m a, PutMRef sr m a) => sr -> a -> m ()
- module Data.MRef.Classes
- module Data.MRef.Instances
Documentation
newDefaultMRef :: (DefaultMRef sr m a, NewMRef sr m a) => a -> m srSource
Create a m-reference and constrain its type to be the default reference
type for the monad in which it is being created. See newMRef
.
newDefaultEmptyMRef :: (DefaultMRef sr m a, NewMRef sr m a) => m srSource
Create an empty m-reference and constrain its type to be the default
reference type for the monad in which it is being created. See newMRef
.
takeDefaultMRef :: (DefaultMRef sr m a, TakeMRef sr m a) => sr -> m aSource
See takeMRef
.
putDefaultMRef :: (DefaultMRef sr m a, PutMRef sr m a) => sr -> a -> m ()Source
See putMRef
.
module Data.MRef.Classes
module Data.MRef.Instances