Transaction Effect

[dakom]

Transactions should be their own wrapper, around Effect.

Tentative: newtype InTransaction t = InT (Effect t)

[dakom]

I'll need to learn a bit more about Haskell/Purescript :\

A few attempts I did at this didn't quite work right... on one foot, should it be a MonadEffect?

[dakom]

For the sake of clarity - the idea for this issue is to be able to catch, on the type/compiler level, the error which occurs when trying to create a loop outside of a transaction.

The loop functions (e.g. newCellLoop / loopCell) could perhaps be required to run in something like a TransactionEffect - and runTransaction could accept that as its callback.

As it is right now - the error is only caught at runtime, though the sodium js library catches it immediately