liboleg-2010.1.10.0: An evolving collection of Oleg Kiselyov's Haskell modules

Control.Mutation

Description

This file is part of the code accompanying the paper `Fun with type functions' Joint work with Simon Peyton Jones and Chung-chieh Shan See the paper for explanations.

Synopsis

Documentation

class Mutation m whereSource

Start basic

Associated Types

type Ref m :: * -> *Source

Methods

newRef :: a -> m (Ref m a)Source

readRef :: Ref m a -> m aSource

writeRef :: Ref m a -> a -> m ()Source

Instances

Mutation IO 
(Monad m, Mutation m, MonadTrans t) => Mutation (t m)

Start transformer

Mutation (ST s)