Data.Ref

Reexports

Definitions

interface Ref : (Type -> Type) -> (Type -> Type) -> Type

Parameters: m, r
Constraints: Monad m
Methods:

newRef : a -> m (r a)

readRef : r a -> m a

writeRef : r a -> a -> m ()

modifyRef : (a -> a) -> r a -> m a

  Updates a value and returns the previous value

Implementations:

HasIO io => Ref io IORef

Ref (ST s) (STRef s)

newRef : Ref m r => a -> m (r a)

Totality: total
Visibility: public export

readRef : Ref m r => r a -> m a

Totality: total
Visibility: public export

writeRef : Ref m r => r a -> a -> m ()

Totality: total
Visibility: public export

modifyRef : Ref m r => (a -> a) -> r a -> m a

  Updates a value and returns the previous value

Totality: total
Visibility: public export

modifyRef_ : Ref m r => (a -> a) -> r a -> m ()

Totality: total
Visibility: public export

ForRef : Ref m r => Monad m => r a -> MonadState a m

Totality: total
Visibility: export