Test.DejaFu.STM

The STMLike Monad

data STMLike n r a

type STMST t

type STMIO

Executing Transactions

data Result a

type TTrace

data TAction

data TVarId

runTransaction