monad-persist: An mtl-style typeclass and transformer for persistent.

[ database, library ] [ Propose Tags ]

An mtl-style typeclass and transformer for persistent.

[Skip to Readme]


[Index] [Quick Jump]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],,,,,,
Change log
Dependencies base (>=4.8 && <5), exceptions (>=0.6), monad-control (>= && <2), monad-logger (>=0.3.10), mtl, persistent (>=2.5 && <3), text, transformers, transformers-base [details]
License ISC
Copyright 2017 CJ Affiliate by Conversant
Author Alexis King <>
Maintainer Alexis King <>
Category Database
Home page
Bug tracker
Source repo head: git clone
Uploaded by lexi_lambda at 2018-09-18T20:49:43Z
Reverse Dependencies 2 direct, 1 indirect [details]
Downloads 5064 total (10 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-09-18 [all 1 reports]

Readme for monad-persist-

[back to package description]

monad-persist Build Status

This module provides an mtl-style MonadPersist typeclass for persistent, as well as a PersistT monad transformer that implements it. This makes it easier to use persistent in an arbitrary monad transformer stack, rather than one that must be ReaderT over MonadIO.

import Control.Monad.Logger (runNoLoggingT)
import Control.Monad.Persist
import Data.Text (Text)
import Database.Persist.Sqlite (withSqliteConn)
import Database.Persist.TH

share [mkPersist sqlSettings, mkMigrate "migrateAll"] [persistLowerCase|
  name Text
  email Text

  UniqueEmail email

  deriving Eq Show

ghci> runNoLoggingT $ withSqliteConn ":memory:" $ \conn -> flip runSqlPersistT conn $ do
        runMigration migrateAll
        insert_ User { userName = "Alyssa", userEmail = "" }
        users <- selectList [] []
        return (users :: [Entity User])

Migrating: CREATE TABLE "user"("id" INTEGER PRIMARY KEY,"name" VARCHAR NOT NULL,"email" VARCHAR NOT NULL,CONSTRAINT "unique_email" UNIQUE ("email"))
[Entity {entityKey = UserKey {unUserKey = SqlBackendKey {unSqlBackendKey = 1}}, entityVal = User {userName = "Alyssa", userEmail = ""}}]

For more information, see the documentation on Hackage.