Polysemy.Hasql.Interpreter.DbTable

Documentation

handleDbTable :: forall d migs m r' r a. CustomSemMigrations r' migs => Members [Log, Embed IO] r => Member Log r' => (forall x. Sem (Database ': (Stop DbError ': r')) x -> Sem (Database ': (Stop DbError ': r)) x) -> TableSchema d -> SemMigrations r' migs -> DbTable d m a -> Sem (Stop DbError ': ((Database !! DbError) ': r)) a

interpretTable :: forall d r. Members [Database !! DbError, Log, Embed IO] r => TableSchema d -> InterpreterFor (DbTable d !! DbError) r

tablesScope :: Member (Scoped p (Database !! DbError)) r => p -> (() -> Sem ((Database !! DbError) ': r) a) -> Sem r a

interpretTableMigrations :: forall d migs r. CustomSemMigrations r migs => Members [Database !! DbError, Log, Embed IO] r => TableSchema d -> SemMigrations r migs -> InterpreterFor (DbTable d !! DbError) r

interpretTableMigrationsScoped :: CustomSemMigrations r migs => Members [Scoped p (Database !! DbError), Log, Embed IO] r => TableSchema d -> SemMigrations r migs -> InterpreterFor (Scoped p (DbTable d !! DbError)) r

interpretTableMigrationsScoped' :: CustomSemMigrations r' migs => Member Log r' => Members [Scoped p (Database !! DbError), Log, Embed IO] r => (forall x. Sem (Database ': (Stop DbError ': r')) x -> Sem (Database ': (Stop DbError ': r)) x) -> TableSchema d -> SemMigrations r' migs -> InterpreterFor (Scoped p (DbTable d !! DbError)) r

interpretTablesMigrations :: forall d migs p r. CustomSemMigrations r migs => Members [Scoped p (Database !! DbError), Database !! DbError, Log, Embed IO] r => TableSchema d -> SemMigrations r migs -> InterpretersFor [Scoped p (DbTable d !! DbError), DbTable d !! DbError] r

interpretTables :: Members [Scoped p (Database !! DbError), Database !! DbError, Log, Embed IO] r => TableSchema d -> InterpretersFor [Scoped p (DbTable d !! DbError), DbTable d !! DbError] r

interpretTableView :: Member (DbTable table !! DbError) r => ProjectionWitness view table -> InterpreterFor (DbTable view !! DbError) r

interpretTableViewDd :: CheckedProjection view table => Member (DbTable (DdType table) !! DbError) r => Dd table -> Dd view -> InterpreterFor (DbTable (DdType view) !! DbError) r