Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data Persist
- data Migrator
- type With c m = forall a. (c -> m a) -> m a
- initPersist :: (MonadIO m, MonadBaseControl IO m) => With SqlBackend (LogWrapper exts m) -> Migration -> Initializer m exts (Persist ': exts)
- initPersistNoLog :: (MonadIO m, MonadBaseControl IO m) => With SqlBackend (NoLoggingT m) -> Migration -> Initializer m es (Persist ': es)
- initPersistPool :: (MonadIO m, MonadBaseControl IO m) => With ConnectionPool (LogWrapper exts m) -> Migration -> Initializer m exts (Persist ': exts)
- initPersistPoolNoLog :: (MonadIO m, MonadBaseControl IO m) => With ConnectionPool (NoLoggingT m) -> Migration -> Initializer m es (Persist ': es)
- initPersist' :: (MonadIO n, MonadBaseControl IO n, Monad m) => (forall a. Extensions exts -> n a -> m a) -> With SqlBackend n -> Migrator -> Initializer m exts (Persist ': exts)
- initPersistPool' :: (MonadIO n, MonadBaseControl IO n, Monad m) => (forall a. Extensions exts -> n a -> m a) -> With ConnectionPool n -> Migrator -> Initializer m exts (Persist ': exts)
- class RunSQL m where
- sql :: (KnownSymbol k, Has Persist exts, MonadBaseControl IO actM, k </ prms) => Maybe Html -> proxy k -> SqlPersistT (ActionT exts '[] actM) a -> (a -> Maybe b) -> Filter exts actM m prms ((k := b) ': prms)
Documentation
initializer
initPersist :: (MonadIO m, MonadBaseControl IO m) => With SqlBackend (LogWrapper exts m) -> Migration -> Initializer m exts (Persist ': exts) Source #
construct persist extension initializer with no connection pool.
example:
initPersist (withSqliteConn "db.sqlite") migrateAll
initPersistNoLog :: (MonadIO m, MonadBaseControl IO m) => With SqlBackend (NoLoggingT m) -> Migration -> Initializer m es (Persist ': es) Source #
initPersistPool :: (MonadIO m, MonadBaseControl IO m) => With ConnectionPool (LogWrapper exts m) -> Migration -> Initializer m exts (Persist ': exts) Source #
initPersistPoolNoLog :: (MonadIO m, MonadBaseControl IO m) => With ConnectionPool (NoLoggingT m) -> Migration -> Initializer m es (Persist ': es) Source #
low level
initPersist' :: (MonadIO n, MonadBaseControl IO n, Monad m) => (forall a. Extensions exts -> n a -> m a) -> With SqlBackend n -> Migrator -> Initializer m exts (Persist ': exts) Source #
initPersistPool' :: (MonadIO n, MonadBaseControl IO n, Monad m) => (forall a. Extensions exts -> n a -> m a) -> With ConnectionPool n -> Migrator -> Initializer m exts (Persist ': exts) Source #
query
execute sql in action.
runSql :: SqlPersistT m a -> m a Source #
filter
:: (KnownSymbol k, Has Persist exts, MonadBaseControl IO actM, k </ prms) | |
=> Maybe Html | documentation. |
-> proxy k | |
-> SqlPersistT (ActionT exts '[] actM) a | |
-> (a -> Maybe b) | result check function. Nothing: fail filter, Just a: success filter and add parameter. |
-> Filter exts actM m prms ((k := b) ': prms) |
filter by sql query. since 0.9.0.0.