-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Type-safe, non-relational, multi-backend persistence.
--   
--   This library provides just the general interface and helper functions.
--   You must use a specific backend in order to make this useful.
@package persistent
@version 0.1.0

module Database.Persist.Pool
createPool :: (MonadCatchIO m) => IO a -> (a -> IO ()) -> Int -> (Pool a -> m b) -> m b
withPool :: (MonadCatchIO m) => Pool a -> (a -> m b) -> m (Maybe b)
withPool' :: (MonadCatchIO m) => Pool a -> (a -> m b) -> m b
data Pool a
instance Typeable PoolExhaustedException
instance Show PoolExhaustedException
instance Exception PoolExhaustedException


-- | This defines the API for performing database actions. There are two
--   levels to this API: dealing with fields, and dealing with entities. In
--   SQL, a field corresponds to a column, and should be a single,
--   non-composite value. An entity corresponds to a SQL table. In other
--   words: An entity is a collection of fields.
module Database.Persist.Base

-- | A raw value which can be stored in any backend and can be marshalled
--   to and from a <a>PersistField</a>.
data PersistValue
PersistString :: String -> PersistValue
PersistByteString :: ByteString -> PersistValue
PersistInt64 :: Int64 -> PersistValue
PersistDouble :: Double -> PersistValue
PersistBool :: Bool -> PersistValue
PersistDay :: Day -> PersistValue
PersistTimeOfDay :: TimeOfDay -> PersistValue
PersistUTCTime :: UTCTime -> PersistValue
PersistNull :: PersistValue

-- | A SQL data type. Naming attempts to reflect the underlying Haskell
--   datatypes, eg SqlString instead of SqlVarchar. Different SQL databases
--   may have different translations for these types.
data SqlType
SqlString :: SqlType
SqlInteger :: SqlType
SqlReal :: SqlType
SqlBool :: SqlType
SqlDay :: SqlType
SqlTime :: SqlType
SqlDayTime :: SqlType
SqlBlob :: SqlType

-- | A value which can be marshalled to and from a <a>PersistValue</a>.
class PersistField a
toPersistValue :: (PersistField a) => a -> PersistValue
fromPersistValue :: (PersistField a) => PersistValue -> Either String a
sqlType :: (PersistField a) => a -> SqlType
isNullable :: (PersistField a) => a -> Bool

-- | A single database entity. For example, if writing a blog application,
--   a blog entry would be an entry, containing fields such as title and
--   content.
class PersistEntity val where { data family Key val; data family Update val; data family Filter val; data family Order val; data family Unique val; }
entityDef :: (PersistEntity val) => val -> EntityDef
toPersistFields :: (PersistEntity val) => val -> [SomePersistField]
fromPersistValues :: (PersistEntity val) => [PersistValue] -> Either String val
halfDefined :: (PersistEntity val) => val
toPersistKey :: (PersistEntity val) => Int64 -> Key val
fromPersistKey :: (PersistEntity val) => Key val -> Int64
showPersistKey :: (PersistEntity val) => Key val -> String
persistFilterToFieldName :: (PersistEntity val) => Filter val -> String
persistFilterToFilter :: (PersistEntity val) => Filter val -> PersistFilter
persistFilterIsNull :: (PersistEntity val) => Filter val -> Bool
persistFilterToValue :: (PersistEntity val) => Filter val -> PersistValue
persistOrderToFieldName :: (PersistEntity val) => Order val -> String
persistOrderToOrder :: (PersistEntity val) => Order val -> PersistOrder
persistUpdateToFieldName :: (PersistEntity val) => Update val -> String
persistUpdateToValue :: (PersistEntity val) => Update val -> PersistValue
persistUniqueToFieldNames :: (PersistEntity val) => Unique val -> [String]
persistUniqueToValues :: (PersistEntity val) => Unique val -> [PersistValue]
data EntityDef
EntityDef :: String -> [String] -> [(String, String, [String])] -> [(String, [String])] -> [String] -> EntityDef
entityName :: EntityDef -> String
entityAttribs :: EntityDef -> [String]

-- | name, type, attribs
entityColumns :: EntityDef -> [(String, String, [String])]

-- | name, columns
entityUniques :: EntityDef -> [(String, [String])]
entityDerives :: EntityDef -> [String]
class PersistBackend m
initialize :: (PersistBackend m, PersistEntity val) => val -> m ()
insert :: (PersistBackend m, PersistEntity val) => val -> m (Key val)
replace :: (PersistBackend m, PersistEntity val) => Key val -> val -> m ()
update :: (PersistBackend m, PersistEntity val) => Key val -> [Update val] -> m ()
updateWhere :: (PersistBackend m, PersistEntity val) => [Filter val] -> [Update val] -> m ()
delete :: (PersistBackend m, PersistEntity val) => Key val -> m ()
deleteBy :: (PersistBackend m, PersistEntity val) => Unique val -> m ()
deleteWhere :: (PersistBackend m, PersistEntity val) => [Filter val] -> m ()
get :: (PersistBackend m, PersistEntity val) => Key val -> m (Maybe val)
getBy :: (PersistBackend m, PersistEntity val) => Unique val -> m (Maybe (Key val, val))
select :: (PersistBackend m, PersistEntity val) => [Filter val] -> [Order val] -> m [(Key val, val)]
data PersistFilter
Eq :: PersistFilter
Ne :: PersistFilter
Gt :: PersistFilter
Lt :: PersistFilter
Ge :: PersistFilter
Le :: PersistFilter
data PersistOrder
Asc :: PersistOrder
Desc :: PersistOrder
data SomePersistField
SomePersistField :: a -> SomePersistField
instance Typeable SqlType
instance Typeable PersistValue
instance Read PersistOrder
instance Show PersistOrder
instance Read PersistFilter
instance Show PersistFilter
instance Show EntityDef
instance Show SqlType
instance Read SqlType
instance Eq SqlType
instance Show PersistValue
instance Read PersistValue
instance Eq PersistValue
instance Lift PersistOrder
instance Lift PersistFilter
instance Lift EntityDef
instance PersistField SomePersistField
instance (PersistField a) => PersistField (Maybe a)
instance PersistField UTCTime
instance PersistField TimeOfDay
instance PersistField Day
instance PersistField Bool
instance PersistField Double
instance PersistField Int64
instance PersistField Int
instance PersistField (Html ())
instance PersistField Text
instance PersistField ByteString
instance PersistField String


-- | This module provides utilities for creating backends. Regular users do
--   not need to use this module.
module Database.Persist.TH

-- | Create data types and appropriate <a>PersistEntity</a> instances for
--   the given <a>EntityDef</a>s. Works well with the persist quasi-quoter.
mkPersist :: [EntityDef] -> Q [Dec]

module Database.Persist.Quasi

-- | Converts a quasi-quoted syntax into a list of entity definitions, to
--   be used as input to the template haskell generation code (mkPersist).
persist :: QuasiQuoter


-- | This is a helper module for creating SQL backends. Regular users do
--   not need to use this module.
module Database.Persist.GenericSql
data GenericSql m
GenericSql :: (forall a. String -> [PersistValue] -> (RowPopper m -> m a) -> m a) -> (String -> [PersistValue] -> m ()) -> (String -> [String] -> [PersistValue] -> m Int64) -> (String -> m Bool) -> String -> (SqlType -> String) -> GenericSql m
gsWithStmt :: GenericSql m -> forall a. String -> [PersistValue] -> (RowPopper m -> m a) -> m a
gsExecute :: GenericSql m -> String -> [PersistValue] -> m ()
gsInsert :: GenericSql m -> String -> [String] -> [PersistValue] -> m Int64
gsEntityDefExists :: GenericSql m -> String -> m Bool
gsKeyType :: GenericSql m -> String
gsShowSqlType :: GenericSql m -> SqlType -> String
type RowPopper m = m (Maybe [PersistValue])
initialize :: (Monad m, PersistEntity v) => GenericSql m -> v -> m ()
insert :: (Monad m, PersistEntity val) => GenericSql m -> val -> m (Key val)
get :: (PersistEntity v, Monad m) => GenericSql m -> Key v -> m (Maybe v)
replace :: (PersistEntity v, Monad m) => GenericSql m -> Key v -> v -> m ()
select :: (PersistEntity val, Monad m) => GenericSql m -> [Filter val] -> [Order val] -> m [(Key val, val)]
deleteWhere :: (PersistEntity v, Monad m) => GenericSql m -> [Filter v] -> m ()
update :: (PersistEntity v, Monad m) => GenericSql m -> Key v -> [Update v] -> m ()
updateWhere :: (PersistEntity v, Monad m) => GenericSql m -> [Filter v] -> [Update v] -> m ()
getBy :: (PersistEntity v, Monad m) => GenericSql m -> Unique v -> m (Maybe (Key v, v))
delete :: (PersistEntity v, Monad m) => GenericSql m -> Key v -> m ()
deleteBy :: (PersistEntity v, Monad m) => GenericSql m -> Unique v -> m ()

module Database.Persist

-- | A value which can be marshalled to and from a <a>PersistValue</a>.
class PersistField a
toPersistValue :: (PersistField a) => a -> PersistValue
fromPersistValue :: (PersistField a) => PersistValue -> Either String a
sqlType :: (PersistField a) => a -> SqlType
isNullable :: (PersistField a) => a -> Bool

-- | A single database entity. For example, if writing a blog application,
--   a blog entry would be an entry, containing fields such as title and
--   content.
class PersistEntity val where { data family Key val; data family Update val; data family Filter val; data family Order val; data family Unique val; }
entityDef :: (PersistEntity val) => val -> EntityDef
toPersistFields :: (PersistEntity val) => val -> [SomePersistField]
fromPersistValues :: (PersistEntity val) => [PersistValue] -> Either String val
halfDefined :: (PersistEntity val) => val
toPersistKey :: (PersistEntity val) => Int64 -> Key val
fromPersistKey :: (PersistEntity val) => Key val -> Int64
showPersistKey :: (PersistEntity val) => Key val -> String
persistFilterToFieldName :: (PersistEntity val) => Filter val -> String
persistFilterToFilter :: (PersistEntity val) => Filter val -> PersistFilter
persistFilterIsNull :: (PersistEntity val) => Filter val -> Bool
persistFilterToValue :: (PersistEntity val) => Filter val -> PersistValue
persistOrderToFieldName :: (PersistEntity val) => Order val -> String
persistOrderToOrder :: (PersistEntity val) => Order val -> PersistOrder
persistUpdateToFieldName :: (PersistEntity val) => Update val -> String
persistUpdateToValue :: (PersistEntity val) => Update val -> PersistValue
persistUniqueToFieldNames :: (PersistEntity val) => Unique val -> [String]
persistUniqueToValues :: (PersistEntity val) => Unique val -> [PersistValue]
class PersistBackend m
initialize :: (PersistBackend m, PersistEntity val) => val -> m ()
insert :: (PersistBackend m, PersistEntity val) => val -> m (Key val)
replace :: (PersistBackend m, PersistEntity val) => Key val -> val -> m ()
update :: (PersistBackend m, PersistEntity val) => Key val -> [Update val] -> m ()
updateWhere :: (PersistBackend m, PersistEntity val) => [Filter val] -> [Update val] -> m ()
delete :: (PersistBackend m, PersistEntity val) => Key val -> m ()
deleteBy :: (PersistBackend m, PersistEntity val) => Unique val -> m ()
deleteWhere :: (PersistBackend m, PersistEntity val) => [Filter val] -> m ()
get :: (PersistBackend m, PersistEntity val) => Key val -> m (Maybe val)
getBy :: (PersistBackend m, PersistEntity val) => Unique val -> m (Maybe (Key val, val))
select :: (PersistBackend m, PersistEntity val) => [Filter val] -> [Order val] -> m [(Key val, val)]

-- | Create data types and appropriate <a>PersistEntity</a> instances for
--   the given <a>EntityDef</a>s. Works well with the persist quasi-quoter.
mkPersist :: [EntityDef] -> Q [Dec]

-- | Converts a quasi-quoted syntax into a list of entity definitions, to
--   be used as input to the template haskell generation code (mkPersist).
persist :: QuasiQuoter