Safe Haskell | Safe-Inferred |
---|
Monads with reference creation
class Monad m => NewRef m whereSource
Laws for NewRef
:
- Any reference created by
newRef
should satisfy the reference laws given in Data.MLens.Ref.
Safe Haskell | Safe-Inferred |
---|
class Monad m => NewRef m whereSource
Laws for NewRef
:
newRef
should satisfy the reference laws given in Data.MLens.Ref.