tryReadTVar

tryReadTVar is a function in Haskell's STM (Software Transactional Memory) library. It provides a way to attempt reading a value from a TVar (Transactional Variable) without blocking. Unlike the `readTVar` function, which will retry the transaction if the TVar is not yet available, `tryReadTVar` returns immediately.

If the TVar contains a value, `tryReadTVar` returns `Just value`, where `value` is the current content of the TVar. If the TVar is currently empty (which can happen with certain TVar initializations or operations), `tryReadTVar` returns `Nothing`.

The primary use case for `tryReadTVar` is in scenarios where a transaction needs to proceed even if a particular piece of shared mutable state is not yet ready. This can help avoid deadlocks or improve responsiveness in concurrent programs. It is often used in conjunction with `orElse` to provide alternative actions if the read attempt fails. However, it's important to note that `tryReadTVar` does not guarantee that the value read will remain unchanged by the time the transaction commits, as other concurrent transactions might modify the TVar.