Polysemy.Hasql.Effect.Transaction

Documentation

data Transaction res :: Effect where

Constructors

Resource :: Transaction res m res

Abort :: Transaction res m a

abort :: forall res r a. Member (Transaction res) r => Sem r a

resource :: forall res r. Member (Transaction res) r => Sem r res

type Transactions res = Scoped_ (Transaction res)