Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 Source #
interpretTable :: forall d r. Members [Database !! DbError, Log, Embed IO] r => TableSchema d -> InterpreterFor (DbTable d !! DbError) r Source #
tablesScope :: Member (Scoped p (Database !! DbError)) r => p -> (() -> Sem ((Database !! DbError) ': r) a) -> Sem r a Source #
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 Source #
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 Source #
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 Source #
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 Source #
interpretTables :: Members [Scoped p (Database !! DbError), Database !! DbError, Log, Embed IO] r => TableSchema d -> InterpretersFor [Scoped p (DbTable d !! DbError), DbTable d !! DbError] r Source #
interpretTableView :: Member (DbTable table !! DbError) r => ProjectionWitness view table -> InterpreterFor (DbTable view !! DbError) r Source #