Test.DejaFu.STM.Internal

type M n r a

Primitive actions

data STMAction n r

TVars

data TVar r a

Output

data Result a

isSTMSuccess

Execution

doTransaction

stepTrans