Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data Transaction res :: Effect where Source #
Resource :: Transaction res m res | |
Abort :: Transaction res m a |
type Transactions res = Scoped_ (Transaction res) Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
data Transaction res :: Effect where Source #
Resource :: Transaction res m res | |
Abort :: Transaction res m a |
type Transactions res = Scoped_ (Transaction res) Source #