Documentation

data ChangeFlag

type Tx a = a -> TxRes a

data TxRes a

seqTx :: Tx a -> Tx a -> Tx a

iterateTx :: Tx a -> Tx a

runTx :: Tx a -> a -> a

aTx :: a -> TxRes a

noTx :: a -> TxRes a

replaceTx :: a -> TxRes b -> TxRes a

txVal :: TxRes a -> a

txHasChanged :: TxRes a -> Bool

plusTx :: (a -> b -> c) -> TxRes a -> TxRes b -> TxRes c

mapTx :: Tx a -> Tx [a]

orChange :: ChangeFlag -> ChangeFlag -> ChangeFlag