| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Control.Monad.Freer.Extras.Beam.Effects
Documentation
type Synt dbt = Sql92ExpressionValueSyntax (Sql92SelectTableExpressionSyntax (Sql92SelectSelectTableSyntax (Sql92SelectSyntax (BeamSqlBackendSyntax dbt)))) Source #
data BeamEffect dbt r where Source #
Constructors
| AddRowsInBatches :: BeamableDb dbt table => Int -> DatabaseEntity dbt db (TableEntity table) -> [table Identity] -> BeamEffect dbt () | |
| AddRows :: BeamableDb dbt table => SqlInsert dbt table -> BeamEffect dbt () | |
| UpdateRows :: Beamable table => SqlUpdate dbt table -> BeamEffect dbt () | |
| DeleteRows :: Beamable table => SqlDelete dbt table -> BeamEffect dbt () | |
| SelectList :: FromBackendRow dbt a => SqlSelect dbt a -> BeamEffect dbt [a] | |
| SelectPage :: (FromBackendRow dbt a, HasSqlValueSyntax (Synt dbt) a, HasQBuilder dbt) => PageQuery a -> Q dbt db BeamThreadingArg (QExpr dbt BeamThreadingArg a) -> BeamEffect dbt (Page a) | Select using Seek Pagination. |
| SelectOne :: FromBackendRow dbt a => SqlSelect dbt a -> BeamEffect dbt (Maybe a) | |
| Combined :: [BeamEffect dbt ()] -> BeamEffect dbt () |
Instances
| Semigroup (BeamEffect dbt ()) Source # | |
Defined in Control.Monad.Freer.Extras.Beam.Effects Methods (<>) :: BeamEffect dbt () -> BeamEffect dbt () -> BeamEffect dbt () Source # sconcat :: NonEmpty (BeamEffect dbt ()) -> BeamEffect dbt () Source # stimes :: Integral b => b -> BeamEffect dbt () -> BeamEffect dbt () Source # | |
| Monoid (BeamEffect dbt ()) Source # | |
Defined in Control.Monad.Freer.Extras.Beam.Effects Methods mempty :: BeamEffect dbt () Source # mappend :: BeamEffect dbt () -> BeamEffect dbt () -> BeamEffect dbt () Source # mconcat :: [BeamEffect dbt ()] -> BeamEffect dbt () Source # | |
addRowsInBatches :: forall dbt table db effs. (BeamableDb dbt table, Member (BeamEffect dbt) effs) => Int -> DatabaseEntity dbt db (TableEntity table) -> [table Identity] -> Eff effs () Source #
addRows :: forall dbt table effs. (BeamableDb dbt table, Member (BeamEffect dbt) effs) => SqlInsert dbt table -> Eff effs () Source #
updateRows :: forall dbt table effs. (Beamable table, Member (BeamEffect dbt) effs) => SqlUpdate dbt table -> Eff effs () Source #
deleteRows :: forall dbt table effs. (Beamable table, Member (BeamEffect dbt) effs) => SqlDelete dbt table -> Eff effs () Source #
selectList :: forall dbt a effs. (FromBackendRow dbt a, Member (BeamEffect dbt) effs) => SqlSelect dbt a -> Eff effs [a] Source #
selectPage :: forall dbt a db effs. (FromBackendRow dbt a, HasSqlValueSyntax (Synt dbt) a, Member (BeamEffect dbt) effs, HasQBuilder dbt) => PageQuery a -> Q dbt db BeamThreadingArg (QExpr dbt BeamThreadingArg a) -> Eff effs (Page a) Source #
selectOne :: forall dbt a effs. (FromBackendRow dbt a, Member (BeamEffect dbt) effs) => SqlSelect dbt a -> Eff effs (Maybe a) Source #
combined :: forall dbt effs. Member (BeamEffect dbt) effs => [BeamEffect dbt ()] -> Eff effs () Source #
handleBeam :: forall dbt (dbM :: Type -> Type) effs. (BeamSqlBackend dbt, MonadBeam dbt dbM, BeamHasInsertOnConflict dbt) => (Trace IO BeamLog -> dbM ~> Eff effs) -> Trace IO BeamLog -> BeamEffect dbt ~> Eff effs Source #