Control.Mutation

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.

Documentation

class Mutation m where

Start basic

Associated Types

type Ref m :: * -> *

Methods

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

readRef :: Ref m a -> m a

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

Instances

Mutation IO

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

Start transformer

Mutation (ST s)