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. m a -> n a) -> (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. m a -> n a) -> (forall a. Extensions exts -> n a -> m a) -> With ConnectionPool n -> Migrator -> Initializer m exts (Persist : exts)
- runSql :: (Has Persist exts, MonadBaseControl IO m) => SqlPersistT (ActionT exts prms m) a -> ActionT exts prms m a
- sql :: (Has Persist exts, MonadBaseControl IO actM, NotMember k prms) => Maybe Html -> proxy k -> SqlPersistT (ActionT exts prms actM) a -> (a -> Maybe b) -> ApiaryT exts ((k := b) : prms) actM m () -> ApiaryT exts prms actM m ()
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. m a -> n a) -> (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. m a -> n a) -> (forall a. Extensions exts -> n a -> m a) -> With ConnectionPool n -> Migrator -> Initializer m exts (Persist : exts) Source
query
runSql :: (Has Persist exts, MonadBaseControl IO m) => SqlPersistT (ActionT exts prms m) a -> ActionT exts prms m a Source
execute sql in action.
filter
:: (Has Persist exts, MonadBaseControl IO actM, NotMember k prms) | |
=> Maybe Html | documentation. |
-> proxy k | |
-> SqlPersistT (ActionT exts prms actM) a | |
-> (a -> Maybe b) | result check function. Nothing: fail filter, Just a: success filter and add parameter. |
-> ApiaryT exts ((k := b) : prms) actM m () | |
-> ApiaryT exts prms actM m () |
filter by sql query. since 0.9.0.0.