Safe Haskell	None
Language	Haskell2010

Yesod.Persist

Documentation

module Yesod.Persist.Core

class (PersistField (Key record), ToJSON (Key record), FromJSON (Key record), Show (Key record), Read (Key record), Eq (Key record), Ord (Key record)) => PersistEntity record where #

Minimal complete definition

keyToValues, keyFromValues, persistIdField, entityDef, persistFieldDef, toPersistFields, fromPersistValues, tabulateEntityA, tabulateEntityApply, persistUniqueKeys, persistUniqueToFieldNames, persistUniqueToValues, fieldLens

Associated Types

type PersistEntityBackend record #

data Key record #

data EntityField record :: Type -> Type #

data Unique record #

Methods

keyToValues :: Key record -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key record) #

persistIdField :: EntityField record (Key record) #

entityDef :: proxy record -> EntityDef #

persistFieldDef :: EntityField record typ -> FieldDef #

toPersistFields :: record -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text record #

tabulateEntityA :: Applicative f => (forall a. EntityField record a -> f a) -> f (Entity record) #

tabulateEntityApply :: Apply f => (forall a. EntityField record a -> f a) -> f (Entity record) #

persistUniqueKeys :: record -> [Unique record] #

persistUniqueToFieldNames :: Unique record -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique record -> [PersistValue] #

fieldLens :: EntityField record field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity record -> f (Entity record) #

keyFromRecordM :: Maybe (record -> Key record) #

class PersistConfig c where #

Minimal complete definition

loadConfig, createPoolConfig, runPool

Associated Types

type PersistConfigBackend c :: (Type -> Type) -> Type -> Type #

type PersistConfigPool c #

Methods

loadConfig :: Value -> Parser c #

applyEnv :: c -> IO c #

createPoolConfig :: c -> IO (PersistConfigPool c) #

runPool :: MonadUnliftIO m => c -> PersistConfigBackend c m a -> PersistConfigPool c -> m a #

Instances

Instances details

(PersistConfig c1, PersistConfig c2, PersistConfigPool c1 ~ PersistConfigPool c2, PersistConfigBackend c1 ~ PersistConfigBackend c2) => PersistConfig (Either c1 c2)

Instance details

Defined in Database.Persist.Class.PersistConfig

Associated Types

type PersistConfigBackend (Either c1 c2)
Instance details Defined in Database.Persist.Class.PersistConfig type PersistConfigBackend (Either c1 c2) = PersistConfigBackend c1
type PersistConfigPool (Either c1 c2)
Instance details Defined in Database.Persist.Class.PersistConfig type PersistConfigPool (Either c1 c2) = PersistConfigPool c1

Methods

loadConfig :: Value -> Parser (Either c1 c2) #

applyEnv :: Either c1 c2 -> IO (Either c1 c2) #

createPoolConfig :: Either c1 c2 -> IO (PersistConfigPool (Either c1 c2)) #

runPool :: MonadUnliftIO m => Either c1 c2 -> PersistConfigBackend (Either c1 c2) m a -> PersistConfigPool (Either c1 c2) -> m a #

type family PersistConfigPool c #

Instances

Instances details

type PersistConfigPool (Either c1 c2)
Instance details Defined in Database.Persist.Class.PersistConfig type PersistConfigPool (Either c1 c2) = PersistConfigPool c1

type family PersistConfigBackend c :: (Type -> Type) -> Type -> Type #

Instances

Instances details

type PersistConfigBackend (Either c1 c2)
Instance details Defined in Database.Persist.Class.PersistConfig type PersistConfigBackend (Either c1 c2) = PersistConfigBackend c1

class HasPersistBackend backend where #

Associated Types

type BaseBackend backend #

Methods

persistBackend :: backend -> BaseBackend backend #

Instances

Instances details

HasPersistBackend SqlReadBackend

Instance details

Defined in Database.Persist.Sql.Types.Internal

Associated Types

type BaseBackend SqlReadBackend
Instance details Defined in Database.Persist.Sql.Types.Internal type BaseBackend SqlReadBackend = SqlBackend

Methods

persistBackend :: SqlReadBackend -> BaseBackend SqlReadBackend #

HasPersistBackend SqlWriteBackend

Instance details

Defined in Database.Persist.Sql.Types.Internal

Associated Types

type BaseBackend SqlWriteBackend
Instance details Defined in Database.Persist.Sql.Types.Internal type BaseBackend SqlWriteBackend = SqlBackend

Methods

persistBackend :: SqlWriteBackend -> BaseBackend SqlWriteBackend #

HasPersistBackend SqlBackend

Instance details

Defined in Database.Persist.SqlBackend.Internal

Associated Types

type BaseBackend SqlBackend
Instance details Defined in Database.Persist.SqlBackend.Internal type BaseBackend SqlBackend = SqlBackend

Methods

persistBackend :: SqlBackend -> BaseBackend SqlBackend #

class (Show (BackendKey backend), Read (BackendKey backend), Eq (BackendKey backend), Ord (BackendKey backend), PersistCore backend, PersistField (BackendKey backend), ToJSON (BackendKey backend), FromJSON (BackendKey backend)) => PersistStoreRead backend where #

Minimal complete definition

get

Methods

get :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> ReaderT backend m (Maybe record) #

getMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => [Key record] -> ReaderT backend m (Map (Key record) record) #

Instances

Instances details

PersistStoreRead SqlReadBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistStore Methods get :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlReadBackend) => Key record -> ReaderT SqlReadBackend m (Maybe record) # getMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlReadBackend) => [Key record] -> ReaderT SqlReadBackend m (Map (Key record) record) #
PersistStoreRead SqlWriteBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistStore Methods get :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend) => Key record -> ReaderT SqlWriteBackend m (Maybe record) # getMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend) => [Key record] -> ReaderT SqlWriteBackend m (Map (Key record) record) #
PersistStoreRead SqlBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistStore Methods get :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend) => Key record -> ReaderT SqlBackend m (Maybe record) # getMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend) => [Key record] -> ReaderT SqlBackend m (Map (Key record) record) #

type PersistRecordBackend record backend = (PersistEntity record, PersistEntityBackend record ~ BaseBackend backend) #

data family Key record #

class PersistStoreRead backend => PersistUniqueRead backend where #

Minimal complete definition

getBy

Methods

getBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Unique record -> ReaderT backend m (Maybe (Entity record)) #

existsBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Unique record -> ReaderT backend m Bool #

Instances

Instances details

PersistUniqueRead SqlReadBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistUnique Methods getBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlReadBackend) => Unique record -> ReaderT SqlReadBackend m (Maybe (Entity record)) # existsBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlReadBackend) => Unique record -> ReaderT SqlReadBackend m Bool #
PersistUniqueRead SqlWriteBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistUnique Methods getBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend) => Unique record -> ReaderT SqlWriteBackend m (Maybe (Entity record)) # existsBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend) => Unique record -> ReaderT SqlWriteBackend m Bool #
PersistUniqueRead SqlBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistUnique Methods getBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend) => Unique record -> ReaderT SqlBackend m (Maybe (Entity record)) # existsBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend) => Unique record -> ReaderT SqlBackend m Bool #

data family Unique record #

data Entity record #

Constructors

Entity
Fields entityKey :: Key record entityVal :: record

Instances

Instances details

(Generic (Key record), Generic record) => Generic (Entity record)

Instance details

Defined in Database.Persist.Class.PersistEntity

Associated Types

type Rep (Entity record)

Instance details

Defined in Database.Persist.Class.PersistEntity

type Rep (Entity record) = D1 ('MetaData "Entity" "Database.Persist.Class.PersistEntity" "persistent-2.17.1.0-CNr6HPZgY5e9DN7Ni1cM6v" 'False) (C1 ('MetaCons "Entity" 'PrefixI 'True) (S1 ('MetaSel ('Just "entityKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Key record)) :*: S1 ('MetaSel ('Just "entityVal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 record)))

Methods

from :: Entity record -> Rep (Entity record) x

to :: Rep (Entity record) x -> Entity record

(Read (Key record), Read record) => Read (Entity record)

Instance details

Defined in Database.Persist.Class.PersistEntity

Methods

readsPrec :: Int -> ReadS (Entity record)

readList :: ReadS [Entity record]

readPrec :: ReadPrec (Entity record)

readListPrec :: ReadPrec [Entity record]

(Show (Key record), Show record) => Show (Entity record)

Instance details

Defined in Database.Persist.Class.PersistEntity

Methods

showsPrec :: Int -> Entity record -> ShowS

show :: Entity record -> String

showList :: [Entity record] -> ShowS

(Eq (Key record), Eq record) => Eq (Entity record)

Instance details

Defined in Database.Persist.Class.PersistEntity

Methods

(==) :: Entity record -> Entity record -> Bool

(/=) :: Entity record -> Entity record -> Bool

(Ord (Key record), Ord record) => Ord (Entity record)

Instance details

Defined in Database.Persist.Class.PersistEntity

Methods

compare :: Entity record -> Entity record -> Ordering

(<) :: Entity record -> Entity record -> Bool

(<=) :: Entity record -> Entity record -> Bool

(>) :: Entity record -> Entity record -> Bool

(>=) :: Entity record -> Entity record -> Bool

max :: Entity record -> Entity record -> Entity record

min :: Entity record -> Entity record -> Entity record

(TypeError (EntityErrorMessage a) :: Constraint) => SafeToInsert (Entity a)

Instance details

Defined in Database.Persist.Class.PersistEntity

(PersistEntity record, PersistField record, PersistField (Key record)) => PersistField (Entity record)

Instance details

Defined in Database.Persist.Class.PersistEntity

Methods

toPersistValue :: Entity record -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Entity record) #

type Rep (Entity record)

Instance details

Defined in Database.Persist.Class.PersistEntity

type Rep (Entity record) = D1 ('MetaData "Entity" "Database.Persist.Class.PersistEntity" "persistent-2.17.1.0-CNr6HPZgY5e9DN7Ni1cM6v" 'False) (C1 ('MetaCons "Entity" 'PrefixI 'True) (S1 ('MetaSel ('Just "entityKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Key record)) :*: S1 ('MetaSel ('Just "entityVal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 record)))

class (PersistUniqueRead backend, PersistStoreWrite backend) => PersistUniqueWrite backend where #

Minimal complete definition

deleteBy

Methods

deleteBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Unique record -> ReaderT backend m () #

insertUnique :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => record -> ReaderT backend m (Maybe (Key record)) #

insertUnique_ :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => record -> ReaderT backend m (Maybe ()) #

upsert :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, OnlyOneUniqueKey record, SafeToInsert record) => record -> [Update record] -> ReaderT backend m (Entity record) #

upsertBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => Unique record -> record -> [Update record] -> ReaderT backend m (Entity record) #

putMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => [record] -> ReaderT backend m () #

Instances

Instances details

PersistUniqueWrite SqlWriteBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistUnique Methods deleteBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend) => Unique record -> ReaderT SqlWriteBackend m () # insertUnique :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend, SafeToInsert record) => record -> ReaderT SqlWriteBackend m (Maybe (Key record)) # insertUnique_ :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend, SafeToInsert record) => record -> ReaderT SqlWriteBackend m (Maybe ()) # upsert :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend, OnlyOneUniqueKey record, SafeToInsert record) => record -> [Update record] -> ReaderT SqlWriteBackend m (Entity record) # upsertBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend, SafeToInsert record) => Unique record -> record -> [Update record] -> ReaderT SqlWriteBackend m (Entity record) # putMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend, SafeToInsert record) => [record] -> ReaderT SqlWriteBackend m () #
PersistUniqueWrite SqlBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistUnique Methods deleteBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend) => Unique record -> ReaderT SqlBackend m () # insertUnique :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend, SafeToInsert record) => record -> ReaderT SqlBackend m (Maybe (Key record)) # insertUnique_ :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend, SafeToInsert record) => record -> ReaderT SqlBackend m (Maybe ()) # upsert :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend, OnlyOneUniqueKey record, SafeToInsert record) => record -> [Update record] -> ReaderT SqlBackend m (Entity record) # upsertBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend, SafeToInsert record) => Unique record -> record -> [Update record] -> ReaderT SqlBackend m (Entity record) # putMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend, SafeToInsert record) => [record] -> ReaderT SqlBackend m () #

class SafeToInsert a #

Instances

Instances details

(TypeError (EntityErrorMessage a) :: Constraint) => SafeToInsert (Entity a)
Instance details Defined in Database.Persist.Class.PersistEntity
(TypeError (FunctionErrorMessage a b) :: Constraint) => SafeToInsert (a -> b)
Instance details Defined in Database.Persist.Class.PersistEntity

checkUnique :: forall record backend (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, PersistUniqueRead backend) => record -> ReaderT backend m (Maybe (Unique record)) #

newtype FieldNameHS #

Constructors

FieldNameHS
Fields unFieldNameHS :: Text

Instances

Instances details

Read FieldNameHS
Instance details Defined in Database.Persist.Names Methods readsPrec :: Int -> ReadS FieldNameHS readList :: ReadS [FieldNameHS] readPrec :: ReadPrec FieldNameHS readListPrec :: ReadPrec [FieldNameHS]
Show FieldNameHS
Instance details Defined in Database.Persist.Names Methods showsPrec :: Int -> FieldNameHS -> ShowS show :: FieldNameHS -> String showList :: [FieldNameHS] -> ShowS
Eq FieldNameHS
Instance details Defined in Database.Persist.Names Methods (==) :: FieldNameHS -> FieldNameHS -> Bool (/=) :: FieldNameHS -> FieldNameHS -> Bool
Ord FieldNameHS
Instance details Defined in Database.Persist.Names Methods compare :: FieldNameHS -> FieldNameHS -> Ordering (<) :: FieldNameHS -> FieldNameHS -> Bool (<=) :: FieldNameHS -> FieldNameHS -> Bool (>) :: FieldNameHS -> FieldNameHS -> Bool (>=) :: FieldNameHS -> FieldNameHS -> Bool max :: FieldNameHS -> FieldNameHS -> FieldNameHS min :: FieldNameHS -> FieldNameHS -> FieldNameHS
Lift FieldNameHS
Instance details Defined in Database.Persist.Names Methods lift :: Quote m => FieldNameHS -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => FieldNameHS -> Code m FieldNameHS

class (Show (BackendKey backend), Read (BackendKey backend), Eq (BackendKey backend), Ord (BackendKey backend), PersistStoreRead backend, PersistField (BackendKey backend), ToJSON (BackendKey backend), FromJSON (BackendKey backend)) => PersistStoreWrite backend where #

Minimal complete definition

insert, insertKey, repsert, replace, delete, update

Methods

insert :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => record -> ReaderT backend m (Key record) #

insert_ :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => record -> ReaderT backend m () #

insertMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => [record] -> ReaderT backend m [Key record] #

insertMany_ :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => [record] -> ReaderT backend m () #

insertEntityMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => [Entity record] -> ReaderT backend m () #

insertKey :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> record -> ReaderT backend m () #

repsert :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> record -> ReaderT backend m () #

repsertMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => [(Key record, record)] -> ReaderT backend m () #

replace :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> record -> ReaderT backend m () #

delete :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> ReaderT backend m () #

update :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> [Update record] -> ReaderT backend m () #

updateGet :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> [Update record] -> ReaderT backend m record #

Instances

Instances details

PersistStoreWrite SqlWriteBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistStore Methods insert :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend, SafeToInsert record) => record -> ReaderT SqlWriteBackend m (Key record) # insert_ :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend, SafeToInsert record) => record -> ReaderT SqlWriteBackend m () # insertMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend, SafeToInsert record) => [record] -> ReaderT SqlWriteBackend m [Key record] # insertMany_ :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend, SafeToInsert record) => [record] -> ReaderT SqlWriteBackend m () # insertEntityMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend) => [Entity record] -> ReaderT SqlWriteBackend m () # insertKey :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend) => Key record -> record -> ReaderT SqlWriteBackend m () # repsert :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend) => Key record -> record -> ReaderT SqlWriteBackend m () # repsertMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend) => [(Key record, record)] -> ReaderT SqlWriteBackend m () # replace :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend) => Key record -> record -> ReaderT SqlWriteBackend m () # delete :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend) => Key record -> ReaderT SqlWriteBackend m () # update :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend) => Key record -> [Update record] -> ReaderT SqlWriteBackend m () # updateGet :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlWriteBackend) => Key record -> [Update record] -> ReaderT SqlWriteBackend m record #
PersistStoreWrite SqlBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistStore Methods insert :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend, SafeToInsert record) => record -> ReaderT SqlBackend m (Key record) # insert_ :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend, SafeToInsert record) => record -> ReaderT SqlBackend m () # insertMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend, SafeToInsert record) => [record] -> ReaderT SqlBackend m [Key record] # insertMany_ :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend, SafeToInsert record) => [record] -> ReaderT SqlBackend m () # insertEntityMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend) => [Entity record] -> ReaderT SqlBackend m () # insertKey :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend) => Key record -> record -> ReaderT SqlBackend m () # repsert :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend) => Key record -> record -> ReaderT SqlBackend m () # repsertMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend) => [(Key record, record)] -> ReaderT SqlBackend m () # replace :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend) => Key record -> record -> ReaderT SqlBackend m () # delete :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend) => Key record -> ReaderT SqlBackend m () # update :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend) => Key record -> [Update record] -> ReaderT SqlBackend m () # updateGet :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record SqlBackend) => Key record -> [Update record] -> ReaderT SqlBackend m record #

data PersistFilter #

Constructors

Eq
Ne
Gt
Lt
Ge
Le
In
NotIn
BackendSpecificFilter Text

Instances

Instances details

Read PersistFilter
Instance details Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS PersistFilter readList :: ReadS [PersistFilter] readPrec :: ReadPrec PersistFilter readListPrec :: ReadPrec [PersistFilter]
Show PersistFilter
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> PersistFilter -> ShowS show :: PersistFilter -> String showList :: [PersistFilter] -> ShowS
Lift PersistFilter
Instance details Defined in Database.Persist.Types.Base Methods lift :: Quote m => PersistFilter -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => PersistFilter -> Code m PersistFilter

type PersistQuery a = PersistQueryWrite a #

type PersistStore a = PersistStoreWrite a #

type PersistUnique a = PersistUniqueWrite a #

data SelectOpt record #

Constructors

Asc (EntityField record typ)
Desc (EntityField record typ)
OffsetBy Int
LimitTo Int

data Filter record #

Constructors

PersistField typ => Filter
Fields filterField :: EntityField record typ filterValue :: FilterValue typ filterFilter :: PersistFilter
FilterAnd [Filter record]
FilterOr [Filter record]
BackendFilter (BackendSpecificFilter (PersistEntityBackend record) record)

type family BackendSpecificFilter backend record #

type family BackendSpecificUpdate backend record #

data PersistUpdate #

Constructors

Assign
Add
Subtract
Multiply
Divide
BackendSpecificUpdate Text

Instances

Instances details

Read PersistUpdate
Instance details Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS PersistUpdate readList :: ReadS [PersistUpdate] readPrec :: ReadPrec PersistUpdate readListPrec :: ReadPrec [PersistUpdate]
Show PersistUpdate
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> PersistUpdate -> ShowS show :: PersistUpdate -> String showList :: [PersistUpdate] -> ShowS
Lift PersistUpdate
Instance details Defined in Database.Persist.Types.Base Methods lift :: Quote m => PersistUpdate -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => PersistUpdate -> Code m PersistUpdate

data Update record #

Constructors

PersistField typ => Update
Fields updateField :: EntityField record typ updateValue :: typ updateUpdate :: PersistUpdate
BackendUpdate (BackendSpecificUpdate (PersistEntityBackend record) record)

data family EntityField record :: Type -> Type #

Instances

Instances details

SymbolToField sym rec typ => IsLabel sym (EntityField rec typ)
Instance details Defined in Database.Persist.Class.PersistEntity Methods fromLabel :: EntityField rec typ

data FilterValue typ where #

Constructors

FilterValue :: forall typ. typ -> FilterValue typ
FilterValues :: forall typ. [typ] -> FilterValue typ
UnsafeValue :: forall a typ. PersistField a => a -> FilterValue typ

type family PersistEntityBackend record #

class SymbolToField (sym :: Symbol) rec typ | sym rec -> typ where #

Methods

symbolToField :: EntityField rec typ #

entityIdFromJSON :: (PersistEntity record, FromJSON record) => Value -> Parser (Entity record) #

entityIdToJSON :: (PersistEntity record, ToJSON record) => Entity record -> Value #

entityValues :: PersistEntity record => Entity record -> [PersistValue] #

fromPersistValueJSON :: FromJSON a => PersistValue -> Either Text a #

keyValueEntityFromJSON :: (PersistEntity record, FromJSON record) => Value -> Parser (Entity record) #

keyValueEntityToJSON :: (PersistEntity record, ToJSON record) => Entity record -> Value #

tabulateEntity :: PersistEntity record => (forall a. EntityField record a -> a) -> Entity record #

toPersistValueJSON :: ToJSON a => a -> PersistValue #

newtype OverflowNatural #

Constructors

OverflowNatural
Fields unOverflowNatural :: Natural

Instances

Instances details

Num OverflowNatural
Instance details Defined in Database.Persist.Class.PersistField Methods (+) :: OverflowNatural -> OverflowNatural -> OverflowNatural (-) :: OverflowNatural -> OverflowNatural -> OverflowNatural (*) :: OverflowNatural -> OverflowNatural -> OverflowNatural negate :: OverflowNatural -> OverflowNatural abs :: OverflowNatural -> OverflowNatural signum :: OverflowNatural -> OverflowNatural fromInteger :: Integer -> OverflowNatural
Show OverflowNatural
Instance details Defined in Database.Persist.Class.PersistField Methods showsPrec :: Int -> OverflowNatural -> ShowS show :: OverflowNatural -> String showList :: [OverflowNatural] -> ShowS
Eq OverflowNatural
Instance details Defined in Database.Persist.Class.PersistField Methods (==) :: OverflowNatural -> OverflowNatural -> Bool (/=) :: OverflowNatural -> OverflowNatural -> Bool
Ord OverflowNatural
Instance details Defined in Database.Persist.Class.PersistField Methods compare :: OverflowNatural -> OverflowNatural -> Ordering (<) :: OverflowNatural -> OverflowNatural -> Bool (<=) :: OverflowNatural -> OverflowNatural -> Bool (>) :: OverflowNatural -> OverflowNatural -> Bool (>=) :: OverflowNatural -> OverflowNatural -> Bool max :: OverflowNatural -> OverflowNatural -> OverflowNatural min :: OverflowNatural -> OverflowNatural -> OverflowNatural
PersistField OverflowNatural
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: OverflowNatural -> PersistValue # fromPersistValue :: PersistValue -> Either Text OverflowNatural #

class PersistField a where #

Methods

toPersistValue :: a -> PersistValue #

fromPersistValue :: PersistValue -> Either Text a #

Instances

Instances details

PersistField Html
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Html -> PersistValue # fromPersistValue :: PersistValue -> Either Text Html #
PersistField ByteString
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: ByteString -> PersistValue # fromPersistValue :: PersistValue -> Either Text ByteString #
PersistField Int16
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Int16 -> PersistValue # fromPersistValue :: PersistValue -> Either Text Int16 #
PersistField Int32
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Int32 -> PersistValue # fromPersistValue :: PersistValue -> Either Text Int32 #
PersistField Int64
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Int64 -> PersistValue # fromPersistValue :: PersistValue -> Either Text Int64 #
PersistField Int8
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Int8 -> PersistValue # fromPersistValue :: PersistValue -> Either Text Int8 #
PersistField Rational
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Rational -> PersistValue # fromPersistValue :: PersistValue -> Either Text Rational #
PersistField Word16
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Word16 -> PersistValue # fromPersistValue :: PersistValue -> Either Text Word16 #
PersistField Word32
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Word32 -> PersistValue # fromPersistValue :: PersistValue -> Either Text Word32 #
PersistField Word64
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Word64 -> PersistValue # fromPersistValue :: PersistValue -> Either Text Word64 #
PersistField Word8
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Word8 -> PersistValue # fromPersistValue :: PersistValue -> Either Text Word8 #
PersistField OverflowNatural
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: OverflowNatural -> PersistValue # fromPersistValue :: PersistValue -> Either Text OverflowNatural #
PersistField PersistValue
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: PersistValue -> PersistValue # fromPersistValue :: PersistValue -> Either Text PersistValue #
PersistField Checkmark
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Checkmark -> PersistValue # fromPersistValue :: PersistValue -> Either Text Checkmark #
PersistField Text
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Text -> PersistValue # fromPersistValue :: PersistValue -> Either Text Text #
PersistField Text
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Text -> PersistValue # fromPersistValue :: PersistValue -> Either Text Text #
PersistField Day
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Day -> PersistValue # fromPersistValue :: PersistValue -> Either Text Day #
PersistField UTCTime
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: UTCTime -> PersistValue # fromPersistValue :: PersistValue -> Either Text UTCTime #
PersistField TimeOfDay
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: TimeOfDay -> PersistValue # fromPersistValue :: PersistValue -> Either Text TimeOfDay #
(TypeError ((((('Text "The instance of PersistField for the Natural type was removed." ':$$: 'Text "Please see the documentation for OverflowNatural if you want to ") ':$$: 'Text "continue using the old behavior or want to see documentation on ") ':$$: 'Text "why the instance was removed.") ':$$: 'Text "") ':$$: 'Text "This error instance will be removed in a future release.") :: Constraint) => PersistField Natural
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Natural -> PersistValue # fromPersistValue :: PersistValue -> Either Text Natural #
PersistField Bool
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Bool -> PersistValue # fromPersistValue :: PersistValue -> Either Text Bool #
PersistField Double
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Double -> PersistValue # fromPersistValue :: PersistValue -> Either Text Double #
PersistField Int
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Int -> PersistValue # fromPersistValue :: PersistValue -> Either Text Int #
PersistField Word
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Word -> PersistValue # fromPersistValue :: PersistValue -> Either Text Word #
PersistField v => PersistField (IntMap v)
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: IntMap v -> PersistValue # fromPersistValue :: PersistValue -> Either Text (IntMap v) #
(Ord a, PersistField a) => PersistField (Set a)
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Set a -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Set a) #
(PersistEntity record, PersistField record, PersistField (Key record)) => PersistField (Entity record)
Instance details Defined in Database.Persist.Class.PersistEntity Methods toPersistValue :: Entity record -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Entity record) #
PersistField (BackendKey SqlReadBackend)
Instance details Defined in Database.Persist.Sql.Orphan.PersistStore Methods toPersistValue :: BackendKey SqlReadBackend -> PersistValue # fromPersistValue :: PersistValue -> Either Text (BackendKey SqlReadBackend) #
PersistField (BackendKey SqlWriteBackend)
Instance details Defined in Database.Persist.Sql.Orphan.PersistStore Methods toPersistValue :: BackendKey SqlWriteBackend -> PersistValue # fromPersistValue :: PersistValue -> Either Text (BackendKey SqlWriteBackend) #
PersistField (BackendKey SqlBackend)
Instance details Defined in Database.Persist.Sql.Orphan.PersistStore Methods toPersistValue :: BackendKey SqlBackend -> PersistValue # fromPersistValue :: PersistValue -> Either Text (BackendKey SqlBackend) #
PersistField a => PersistField (Vector a)
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Vector a -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Vector a) #
PersistField a => PersistField (Maybe a)
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Maybe a -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Maybe a) #
PersistField [Char]
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: [Char] -> PersistValue # fromPersistValue :: PersistValue -> Either Text [Char] #
PersistField a => PersistField [a]
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: [a] -> PersistValue # fromPersistValue :: PersistValue -> Either Text [a] #
HasResolution a => PersistField (Fixed a)
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Fixed a -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Fixed a) #
PersistField v => PersistField (Map Text v)
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Map Text v -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Map Text v) #
(PersistField a, PersistField b) => PersistField (a, b)
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: (a, b) -> PersistValue # fromPersistValue :: PersistValue -> Either Text (a, b) #

getPersistMap :: PersistValue -> Either Text [(Text, PersistValue)] #

class (PersistCore backend, PersistStoreRead backend) => PersistQueryRead backend where #

Minimal complete definition

selectSourceRes, selectKeysRes, count, exists

Methods

selectSourceRes :: forall record (m1 :: Type -> Type) (m2 :: Type -> Type). (PersistRecordBackend record backend, MonadIO m1, MonadIO m2) => [Filter record] -> [SelectOpt record] -> ReaderT backend m1 (Acquire (ConduitM () (Entity record) m2 ())) #

selectFirst :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record backend) => [Filter record] -> [SelectOpt record] -> ReaderT backend m (Maybe (Entity record)) #

selectKeysRes :: forall (m1 :: Type -> Type) (m2 :: Type -> Type) record. (MonadIO m1, MonadIO m2, PersistRecordBackend record backend) => [Filter record] -> [SelectOpt record] -> ReaderT backend m1 (Acquire (ConduitM () (Key record) m2 ())) #

count :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record backend) => [Filter record] -> ReaderT backend m Int #

exists :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record backend) => [Filter record] -> ReaderT backend m Bool #

Instances

Instances details

PersistQueryRead SqlReadBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistQuery Methods selectSourceRes :: forall record (m1 :: Type -> Type) (m2 :: Type -> Type). (PersistRecordBackend record SqlReadBackend, MonadIO m1, MonadIO m2) => [Filter record] -> [SelectOpt record] -> ReaderT SqlReadBackend m1 (Acquire (ConduitM () (Entity record) m2 ())) # selectFirst :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record SqlReadBackend) => [Filter record] -> [SelectOpt record] -> ReaderT SqlReadBackend m (Maybe (Entity record)) # selectKeysRes :: forall (m1 :: Type -> Type) (m2 :: Type -> Type) record. (MonadIO m1, MonadIO m2, PersistRecordBackend record SqlReadBackend) => [Filter record] -> [SelectOpt record] -> ReaderT SqlReadBackend m1 (Acquire (ConduitM () (Key record) m2 ())) # count :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record SqlReadBackend) => [Filter record] -> ReaderT SqlReadBackend m Int # exists :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record SqlReadBackend) => [Filter record] -> ReaderT SqlReadBackend m Bool #
PersistQueryRead SqlWriteBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistQuery Methods selectSourceRes :: forall record (m1 :: Type -> Type) (m2 :: Type -> Type). (PersistRecordBackend record SqlWriteBackend, MonadIO m1, MonadIO m2) => [Filter record] -> [SelectOpt record] -> ReaderT SqlWriteBackend m1 (Acquire (ConduitM () (Entity record) m2 ())) # selectFirst :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record SqlWriteBackend) => [Filter record] -> [SelectOpt record] -> ReaderT SqlWriteBackend m (Maybe (Entity record)) # selectKeysRes :: forall (m1 :: Type -> Type) (m2 :: Type -> Type) record. (MonadIO m1, MonadIO m2, PersistRecordBackend record SqlWriteBackend) => [Filter record] -> [SelectOpt record] -> ReaderT SqlWriteBackend m1 (Acquire (ConduitM () (Key record) m2 ())) # count :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record SqlWriteBackend) => [Filter record] -> ReaderT SqlWriteBackend m Int # exists :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record SqlWriteBackend) => [Filter record] -> ReaderT SqlWriteBackend m Bool #
PersistQueryRead SqlBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistQuery Methods selectSourceRes :: forall record (m1 :: Type -> Type) (m2 :: Type -> Type). (PersistRecordBackend record SqlBackend, MonadIO m1, MonadIO m2) => [Filter record] -> [SelectOpt record] -> ReaderT SqlBackend m1 (Acquire (ConduitM () (Entity record) m2 ())) # selectFirst :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record SqlBackend) => [Filter record] -> [SelectOpt record] -> ReaderT SqlBackend m (Maybe (Entity record)) # selectKeysRes :: forall (m1 :: Type -> Type) (m2 :: Type -> Type) record. (MonadIO m1, MonadIO m2, PersistRecordBackend record SqlBackend) => [Filter record] -> [SelectOpt record] -> ReaderT SqlBackend m1 (Acquire (ConduitM () (Key record) m2 ())) # count :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record SqlBackend) => [Filter record] -> ReaderT SqlBackend m Int # exists :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record SqlBackend) => [Filter record] -> ReaderT SqlBackend m Bool #

class (PersistQueryRead backend, PersistStoreWrite backend) => PersistQueryWrite backend where #

Methods

updateWhere :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record backend) => [Filter record] -> [Update record] -> ReaderT backend m () #

deleteWhere :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record backend) => [Filter record] -> ReaderT backend m () #

Instances

Instances details

PersistQueryWrite SqlWriteBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistQuery Methods updateWhere :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record SqlWriteBackend) => [Filter record] -> [Update record] -> ReaderT SqlWriteBackend m () # deleteWhere :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record SqlWriteBackend) => [Filter record] -> ReaderT SqlWriteBackend m () #
PersistQueryWrite SqlBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistQuery Methods updateWhere :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record SqlBackend) => [Filter record] -> [Update record] -> ReaderT SqlBackend m () # deleteWhere :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record SqlBackend) => [Filter record] -> ReaderT SqlBackend m () #

selectKeys :: forall record backend (m :: Type -> Type). (PersistQueryRead backend, MonadResource m, PersistRecordBackend record backend, MonadReader backend m) => [Filter record] -> [SelectOpt record] -> ConduitM () (Key record) m () #

selectKeysList :: forall record backend (m :: Type -> Type). (MonadIO m, PersistQueryRead backend, PersistRecordBackend record backend) => [Filter record] -> [SelectOpt record] -> ReaderT backend m [Key record] #

selectList :: forall record backend (m :: Type -> Type). (MonadIO m, PersistQueryRead backend, PersistRecordBackend record backend) => [Filter record] -> [SelectOpt record] -> ReaderT backend m [Entity record] #

selectSource :: forall record backend (m :: Type -> Type). (PersistQueryRead backend, MonadResource m, PersistRecordBackend record backend, MonadReader backend m) => [Filter record] -> [SelectOpt record] -> ConduitM () (Entity record) m () #

class BackendCompatible sup sub where #

Methods

projectBackend :: sub -> sup #

Instances

Instances details

BackendCompatible SqlBackend SqlReadBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistStore Methods projectBackend :: SqlReadBackend -> SqlBackend #
BackendCompatible SqlBackend SqlWriteBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistStore Methods projectBackend :: SqlWriteBackend -> SqlBackend #
BackendCompatible SqlBackend SqlBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistStore Methods projectBackend :: SqlBackend -> SqlBackend #

class PersistCore backend #

Associated Types

data BackendKey backend #

Instances

Instances details

PersistCore SqlReadBackend

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Associated Types

newtype BackendKey SqlReadBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistStore newtype BackendKey SqlReadBackend = SqlReadBackendKey { unSqlReadBackendKey :: Int64 }

PersistCore SqlWriteBackend

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Associated Types

newtype BackendKey SqlWriteBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistStore newtype BackendKey SqlWriteBackend = SqlWriteBackendKey { unSqlWriteBackendKey :: Int64 }

PersistCore SqlBackend

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Associated Types

newtype BackendKey SqlBackend
Instance details Defined in Database.Persist.Sql.Orphan.PersistStore newtype BackendKey SqlBackend = SqlBackendKey { unSqlBackendKey :: Int64 }

data family BackendKey backend #

Instances

Instances details

FromJSON (BackendKey SqlReadBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

parseJSON :: Value -> Parser (BackendKey SqlReadBackend)

parseJSONList :: Value -> Parser [BackendKey SqlReadBackend]

omittedField :: Maybe (BackendKey SqlReadBackend)

FromJSON (BackendKey SqlWriteBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

parseJSON :: Value -> Parser (BackendKey SqlWriteBackend)

parseJSONList :: Value -> Parser [BackendKey SqlWriteBackend]

omittedField :: Maybe (BackendKey SqlWriteBackend)

FromJSON (BackendKey SqlBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

parseJSON :: Value -> Parser (BackendKey SqlBackend)

parseJSONList :: Value -> Parser [BackendKey SqlBackend]

omittedField :: Maybe (BackendKey SqlBackend)

ToJSON (BackendKey SqlReadBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

toJSON :: BackendKey SqlReadBackend -> Value

toEncoding :: BackendKey SqlReadBackend -> Encoding

toJSONList :: [BackendKey SqlReadBackend] -> Value

toEncodingList :: [BackendKey SqlReadBackend] -> Encoding

omitField :: BackendKey SqlReadBackend -> Bool

ToJSON (BackendKey SqlWriteBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

toJSON :: BackendKey SqlWriteBackend -> Value

toEncoding :: BackendKey SqlWriteBackend -> Encoding

toJSONList :: [BackendKey SqlWriteBackend] -> Value

toEncodingList :: [BackendKey SqlWriteBackend] -> Encoding

omitField :: BackendKey SqlWriteBackend -> Bool

ToJSON (BackendKey SqlBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

toJSON :: BackendKey SqlBackend -> Value

toEncoding :: BackendKey SqlBackend -> Encoding

toJSONList :: [BackendKey SqlBackend] -> Value

toEncodingList :: [BackendKey SqlBackend] -> Encoding

omitField :: BackendKey SqlBackend -> Bool

Bounded (BackendKey SqlReadBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

minBound :: BackendKey SqlReadBackend

maxBound :: BackendKey SqlReadBackend

Bounded (BackendKey SqlWriteBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

minBound :: BackendKey SqlWriteBackend

maxBound :: BackendKey SqlWriteBackend

Bounded (BackendKey SqlBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

minBound :: BackendKey SqlBackend

maxBound :: BackendKey SqlBackend

Enum (BackendKey SqlReadBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

succ :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend

pred :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend

toEnum :: Int -> BackendKey SqlReadBackend

fromEnum :: BackendKey SqlReadBackend -> Int

enumFrom :: BackendKey SqlReadBackend -> [BackendKey SqlReadBackend]

enumFromThen :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> [BackendKey SqlReadBackend]

enumFromTo :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> [BackendKey SqlReadBackend]

enumFromThenTo :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> [BackendKey SqlReadBackend]

Enum (BackendKey SqlWriteBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

succ :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend

pred :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend

toEnum :: Int -> BackendKey SqlWriteBackend

fromEnum :: BackendKey SqlWriteBackend -> Int

enumFrom :: BackendKey SqlWriteBackend -> [BackendKey SqlWriteBackend]

enumFromThen :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> [BackendKey SqlWriteBackend]

enumFromTo :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> [BackendKey SqlWriteBackend]

enumFromThenTo :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> [BackendKey SqlWriteBackend]

Enum (BackendKey SqlBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

succ :: BackendKey SqlBackend -> BackendKey SqlBackend

pred :: BackendKey SqlBackend -> BackendKey SqlBackend

toEnum :: Int -> BackendKey SqlBackend

fromEnum :: BackendKey SqlBackend -> Int

enumFrom :: BackendKey SqlBackend -> [BackendKey SqlBackend]

enumFromThen :: BackendKey SqlBackend -> BackendKey SqlBackend -> [BackendKey SqlBackend]

enumFromTo :: BackendKey SqlBackend -> BackendKey SqlBackend -> [BackendKey SqlBackend]

enumFromThenTo :: BackendKey SqlBackend -> BackendKey SqlBackend -> BackendKey SqlBackend -> [BackendKey SqlBackend]

Generic (BackendKey SqlReadBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Associated Types

type Rep (BackendKey SqlReadBackend)
Instance details Defined in Database.Persist.Sql.Orphan.PersistStore type Rep (BackendKey SqlReadBackend) = D1 ('MetaData "BackendKey" "Database.Persist.Sql.Orphan.PersistStore" "persistent-2.17.1.0-CNr6HPZgY5e9DN7Ni1cM6v" 'True) (C1 ('MetaCons "SqlReadBackendKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSqlReadBackendKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

Methods

from :: BackendKey SqlReadBackend -> Rep (BackendKey SqlReadBackend) x

to :: Rep (BackendKey SqlReadBackend) x -> BackendKey SqlReadBackend

Generic (BackendKey SqlWriteBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Associated Types

type Rep (BackendKey SqlWriteBackend)
Instance details Defined in Database.Persist.Sql.Orphan.PersistStore type Rep (BackendKey SqlWriteBackend) = D1 ('MetaData "BackendKey" "Database.Persist.Sql.Orphan.PersistStore" "persistent-2.17.1.0-CNr6HPZgY5e9DN7Ni1cM6v" 'True) (C1 ('MetaCons "SqlWriteBackendKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSqlWriteBackendKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

Methods

from :: BackendKey SqlWriteBackend -> Rep (BackendKey SqlWriteBackend) x

to :: Rep (BackendKey SqlWriteBackend) x -> BackendKey SqlWriteBackend

Generic (BackendKey SqlBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Associated Types

type Rep (BackendKey SqlBackend)
Instance details Defined in Database.Persist.Sql.Orphan.PersistStore type Rep (BackendKey SqlBackend) = D1 ('MetaData "BackendKey" "Database.Persist.Sql.Orphan.PersistStore" "persistent-2.17.1.0-CNr6HPZgY5e9DN7Ni1cM6v" 'True) (C1 ('MetaCons "SqlBackendKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSqlBackendKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

Methods

from :: BackendKey SqlBackend -> Rep (BackendKey SqlBackend) x

to :: Rep (BackendKey SqlBackend) x -> BackendKey SqlBackend

Num (BackendKey SqlReadBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

(+) :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> BackendKey SqlReadBackend

(-) :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> BackendKey SqlReadBackend

(*) :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> BackendKey SqlReadBackend

negate :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend

abs :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend

signum :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend

fromInteger :: Integer -> BackendKey SqlReadBackend

Num (BackendKey SqlWriteBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

(+) :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend

(-) :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend

(*) :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend

negate :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend

abs :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend

signum :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend

fromInteger :: Integer -> BackendKey SqlWriteBackend

Num (BackendKey SqlBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

(+) :: BackendKey SqlBackend -> BackendKey SqlBackend -> BackendKey SqlBackend

(-) :: BackendKey SqlBackend -> BackendKey SqlBackend -> BackendKey SqlBackend

(*) :: BackendKey SqlBackend -> BackendKey SqlBackend -> BackendKey SqlBackend

negate :: BackendKey SqlBackend -> BackendKey SqlBackend

abs :: BackendKey SqlBackend -> BackendKey SqlBackend

signum :: BackendKey SqlBackend -> BackendKey SqlBackend

fromInteger :: Integer -> BackendKey SqlBackend

Read (BackendKey SqlReadBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

readsPrec :: Int -> ReadS (BackendKey SqlReadBackend)

readList :: ReadS [BackendKey SqlReadBackend]

readPrec :: ReadPrec (BackendKey SqlReadBackend)

readListPrec :: ReadPrec [BackendKey SqlReadBackend]

Read (BackendKey SqlWriteBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

readsPrec :: Int -> ReadS (BackendKey SqlWriteBackend)

readList :: ReadS [BackendKey SqlWriteBackend]

readPrec :: ReadPrec (BackendKey SqlWriteBackend)

readListPrec :: ReadPrec [BackendKey SqlWriteBackend]

Read (BackendKey SqlBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

readsPrec :: Int -> ReadS (BackendKey SqlBackend)

readList :: ReadS [BackendKey SqlBackend]

readPrec :: ReadPrec (BackendKey SqlBackend)

readListPrec :: ReadPrec [BackendKey SqlBackend]

Integral (BackendKey SqlReadBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

quot :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> BackendKey SqlReadBackend

rem :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> BackendKey SqlReadBackend

div :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> BackendKey SqlReadBackend

mod :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> BackendKey SqlReadBackend

quotRem :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> (BackendKey SqlReadBackend, BackendKey SqlReadBackend)

divMod :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> (BackendKey SqlReadBackend, BackendKey SqlReadBackend)

toInteger :: BackendKey SqlReadBackend -> Integer

Integral (BackendKey SqlWriteBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

quot :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend

rem :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend

div :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend

mod :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend

quotRem :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> (BackendKey SqlWriteBackend, BackendKey SqlWriteBackend)

divMod :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> (BackendKey SqlWriteBackend, BackendKey SqlWriteBackend)

toInteger :: BackendKey SqlWriteBackend -> Integer

Integral (BackendKey SqlBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

quot :: BackendKey SqlBackend -> BackendKey SqlBackend -> BackendKey SqlBackend

rem :: BackendKey SqlBackend -> BackendKey SqlBackend -> BackendKey SqlBackend

div :: BackendKey SqlBackend -> BackendKey SqlBackend -> BackendKey SqlBackend

mod :: BackendKey SqlBackend -> BackendKey SqlBackend -> BackendKey SqlBackend

quotRem :: BackendKey SqlBackend -> BackendKey SqlBackend -> (BackendKey SqlBackend, BackendKey SqlBackend)

divMod :: BackendKey SqlBackend -> BackendKey SqlBackend -> (BackendKey SqlBackend, BackendKey SqlBackend)

toInteger :: BackendKey SqlBackend -> Integer

Real (BackendKey SqlReadBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

toRational :: BackendKey SqlReadBackend -> Rational

Real (BackendKey SqlWriteBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

toRational :: BackendKey SqlWriteBackend -> Rational

Real (BackendKey SqlBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

toRational :: BackendKey SqlBackend -> Rational

Show (BackendKey SqlReadBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

showsPrec :: Int -> BackendKey SqlReadBackend -> ShowS

show :: BackendKey SqlReadBackend -> String

showList :: [BackendKey SqlReadBackend] -> ShowS

Show (BackendKey SqlWriteBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

showsPrec :: Int -> BackendKey SqlWriteBackend -> ShowS

show :: BackendKey SqlWriteBackend -> String

showList :: [BackendKey SqlWriteBackend] -> ShowS

Show (BackendKey SqlBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

showsPrec :: Int -> BackendKey SqlBackend -> ShowS

show :: BackendKey SqlBackend -> String

showList :: [BackendKey SqlBackend] -> ShowS

Eq (BackendKey SqlReadBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

(==) :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> Bool

(/=) :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> Bool

Eq (BackendKey SqlWriteBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

(==) :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> Bool

(/=) :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> Bool

Eq (BackendKey SqlBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

(==) :: BackendKey SqlBackend -> BackendKey SqlBackend -> Bool

(/=) :: BackendKey SqlBackend -> BackendKey SqlBackend -> Bool

Ord (BackendKey SqlReadBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

compare :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> Ordering

(<) :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> Bool

(<=) :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> Bool

(>) :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> Bool

(>=) :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> Bool

max :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> BackendKey SqlReadBackend

min :: BackendKey SqlReadBackend -> BackendKey SqlReadBackend -> BackendKey SqlReadBackend

Ord (BackendKey SqlWriteBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

compare :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> Ordering

(<) :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> Bool

(<=) :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> Bool

(>) :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> Bool

(>=) :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> Bool

max :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend

min :: BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend -> BackendKey SqlWriteBackend

Ord (BackendKey SqlBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

compare :: BackendKey SqlBackend -> BackendKey SqlBackend -> Ordering

(<) :: BackendKey SqlBackend -> BackendKey SqlBackend -> Bool

(<=) :: BackendKey SqlBackend -> BackendKey SqlBackend -> Bool

(>) :: BackendKey SqlBackend -> BackendKey SqlBackend -> Bool

(>=) :: BackendKey SqlBackend -> BackendKey SqlBackend -> Bool

max :: BackendKey SqlBackend -> BackendKey SqlBackend -> BackendKey SqlBackend

min :: BackendKey SqlBackend -> BackendKey SqlBackend -> BackendKey SqlBackend

FromHttpApiData (BackendKey SqlReadBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

parseUrlPiece :: Text -> Either Text (BackendKey SqlReadBackend)

parseHeader :: ByteString -> Either Text (BackendKey SqlReadBackend)

parseQueryParam :: Text -> Either Text (BackendKey SqlReadBackend)

FromHttpApiData (BackendKey SqlWriteBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

parseUrlPiece :: Text -> Either Text (BackendKey SqlWriteBackend)

parseHeader :: ByteString -> Either Text (BackendKey SqlWriteBackend)

parseQueryParam :: Text -> Either Text (BackendKey SqlWriteBackend)

FromHttpApiData (BackendKey SqlBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

parseUrlPiece :: Text -> Either Text (BackendKey SqlBackend)

parseHeader :: ByteString -> Either Text (BackendKey SqlBackend)

parseQueryParam :: Text -> Either Text (BackendKey SqlBackend)

ToHttpApiData (BackendKey SqlReadBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

toUrlPiece :: BackendKey SqlReadBackend -> Text

toEncodedUrlPiece :: BackendKey SqlReadBackend -> Builder

toHeader :: BackendKey SqlReadBackend -> ByteString

toQueryParam :: BackendKey SqlReadBackend -> Text

toEncodedQueryParam :: BackendKey SqlReadBackend -> Builder

ToHttpApiData (BackendKey SqlWriteBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

toUrlPiece :: BackendKey SqlWriteBackend -> Text

toEncodedUrlPiece :: BackendKey SqlWriteBackend -> Builder

toHeader :: BackendKey SqlWriteBackend -> ByteString

toQueryParam :: BackendKey SqlWriteBackend -> Text

toEncodedQueryParam :: BackendKey SqlWriteBackend -> Builder

ToHttpApiData (BackendKey SqlBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

toUrlPiece :: BackendKey SqlBackend -> Text

toEncodedUrlPiece :: BackendKey SqlBackend -> Builder

toHeader :: BackendKey SqlBackend -> ByteString

toQueryParam :: BackendKey SqlBackend -> Text

toEncodedQueryParam :: BackendKey SqlBackend -> Builder

PathPiece (BackendKey SqlReadBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

fromPathPiece :: Text -> Maybe (BackendKey SqlReadBackend)

toPathPiece :: BackendKey SqlReadBackend -> Text

PathPiece (BackendKey SqlWriteBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

fromPathPiece :: Text -> Maybe (BackendKey SqlWriteBackend)

toPathPiece :: BackendKey SqlWriteBackend -> Text

PathPiece (BackendKey SqlBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

fromPathPiece :: Text -> Maybe (BackendKey SqlBackend)

toPathPiece :: BackendKey SqlBackend -> Text

PersistField (BackendKey SqlReadBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

toPersistValue :: BackendKey SqlReadBackend -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (BackendKey SqlReadBackend) #

PersistField (BackendKey SqlWriteBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

toPersistValue :: BackendKey SqlWriteBackend -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (BackendKey SqlWriteBackend) #

PersistField (BackendKey SqlBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

toPersistValue :: BackendKey SqlBackend -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (BackendKey SqlBackend) #

PersistFieldSql (BackendKey SqlReadBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

sqlType :: Proxy (BackendKey SqlReadBackend) -> SqlType

PersistFieldSql (BackendKey SqlWriteBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

sqlType :: Proxy (BackendKey SqlWriteBackend) -> SqlType

PersistFieldSql (BackendKey SqlBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

Methods

sqlType :: Proxy (BackendKey SqlBackend) -> SqlType

newtype BackendKey SqlReadBackend

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

newtype BackendKey SqlReadBackend = SqlReadBackendKey {

unSqlReadBackendKey :: Int64

}

newtype BackendKey SqlWriteBackend

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

newtype BackendKey SqlWriteBackend = SqlWriteBackendKey {

unSqlWriteBackendKey :: Int64

}

newtype BackendKey SqlBackend

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

newtype BackendKey SqlBackend = SqlBackendKey {

unSqlBackendKey :: Int64

}

type Rep (BackendKey SqlReadBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

type Rep (BackendKey SqlReadBackend) = D1 ('MetaData "BackendKey" "Database.Persist.Sql.Orphan.PersistStore" "persistent-2.17.1.0-CNr6HPZgY5e9DN7Ni1cM6v" 'True) (C1 ('MetaCons "SqlReadBackendKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSqlReadBackendKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

type Rep (BackendKey SqlWriteBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

type Rep (BackendKey SqlWriteBackend) = D1 ('MetaData "BackendKey" "Database.Persist.Sql.Orphan.PersistStore" "persistent-2.17.1.0-CNr6HPZgY5e9DN7Ni1cM6v" 'True) (C1 ('MetaCons "SqlWriteBackendKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSqlWriteBackendKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

type Rep (BackendKey SqlBackend)

Instance details

Defined in Database.Persist.Sql.Orphan.PersistStore

type Rep (BackendKey SqlBackend) = D1 ('MetaData "BackendKey" "Database.Persist.Sql.Orphan.PersistStore" "persistent-2.17.1.0-CNr6HPZgY5e9DN7Ni1cM6v" 'True) (C1 ('MetaCons "SqlBackendKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSqlBackendKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

type family BaseBackend backend #

Instances

Instances details

type BaseBackend SqlReadBackend
Instance details Defined in Database.Persist.Sql.Types.Internal type BaseBackend SqlReadBackend = SqlBackend
type BaseBackend SqlWriteBackend
Instance details Defined in Database.Persist.Sql.Types.Internal type BaseBackend SqlWriteBackend = SqlBackend
type BaseBackend SqlBackend
Instance details Defined in Database.Persist.SqlBackend.Internal type BaseBackend SqlBackend = SqlBackend

class HasPersistBackend backend => IsPersistBackend backend #

Minimal complete definition

mkPersistBackend

Instances

Instances details

IsPersistBackend SqlReadBackend
Instance details Defined in Database.Persist.Sql.Types.Internal Methods mkPersistBackend :: BaseBackend SqlReadBackend -> SqlReadBackend
IsPersistBackend SqlWriteBackend
Instance details Defined in Database.Persist.Sql.Types.Internal Methods mkPersistBackend :: BaseBackend SqlWriteBackend -> SqlWriteBackend
IsPersistBackend SqlBackend
Instance details Defined in Database.Persist.SqlBackend.Internal Methods mkPersistBackend :: BaseBackend SqlBackend -> SqlBackend

class (PersistEntity record, PersistEntityBackend record ~ backend, PersistCore backend) => ToBackendKey backend record where #

Methods

toBackendKey :: Key record -> BackendKey backend #

fromBackendKey :: BackendKey backend -> Key record #

belongsTo :: forall ent1 ent2 backend (m :: Type -> Type). (PersistStoreRead backend, PersistEntity ent1, PersistRecordBackend ent2 backend, MonadIO m) => (ent1 -> Maybe (Key ent2)) -> ent1 -> ReaderT backend m (Maybe ent2) #

belongsToJust :: forall ent1 ent2 backend (m :: Type -> Type). (PersistStoreRead backend, PersistEntity ent1, PersistRecordBackend ent2 backend, MonadIO m) => (ent1 -> Key ent2) -> ent1 -> ReaderT backend m ent2 #

getEntity :: forall e backend (m :: Type -> Type). (PersistStoreRead backend, PersistRecordBackend e backend, MonadIO m) => Key e -> ReaderT backend m (Maybe (Entity e)) #

getJust :: forall record backend (m :: Type -> Type). (PersistStoreRead backend, PersistRecordBackend record backend, MonadIO m) => Key record -> ReaderT backend m record #

getJustEntity :: forall record backend (m :: Type -> Type). (PersistEntityBackend record ~ BaseBackend backend, MonadIO m, PersistEntity record, PersistStoreRead backend) => Key record -> ReaderT backend m (Entity record) #

insertEntity :: forall e backend (m :: Type -> Type). (PersistStoreWrite backend, PersistRecordBackend e backend, SafeToInsert e, MonadIO m, HasCallStack) => e -> ReaderT backend m (Entity e) #

insertRecord :: forall record backend (m :: Type -> Type). (PersistEntityBackend record ~ BaseBackend backend, PersistEntity record, MonadIO m, PersistStoreWrite backend, SafeToInsert record, HasCallStack) => record -> ReaderT backend m record #

liftPersist :: (MonadIO m, MonadReader backend m) => ReaderT backend IO b -> m b #

withBaseBackend :: forall backend (m :: Type -> Type) a. HasPersistBackend backend => ReaderT (BaseBackend backend) m a -> ReaderT backend m a #

withCompatibleBackend :: forall sup sub (m :: Type -> Type) a. BackendCompatible sup sub => ReaderT sup m a -> ReaderT sub m a #

class PersistEntity record => AtLeastOneUniqueKey record where #

Methods

requireUniquesP :: record -> NonEmpty (Unique record) #

type MultipleUniqueKeysError ty = ((('Text "The entity " ':<>: 'ShowType ty) ':<>: 'Text " has multiple unique keys.") ':$$: ('Text "The function you are trying to call requires only a single " ':<>: 'Text "unique key.")) ':$$: (('Text "There is probably a variant of the function with 'By' " ':<>: 'Text "appended that will allow you to select a unique key ") ':<>: 'Text "for the operation.") #

type NoUniqueKeysError ty = (('Text "The entity " ':<>: 'ShowType ty) ':<>: 'Text " does not have any unique keys.") ':$$: ('Text "The function you are trying to call requires a unique key " ':<>: 'Text "to be defined on the entity.") #

class PersistEntity record => OnlyOneUniqueKey record where #

Methods

onlyUniqueP :: record -> Unique record #

checkUniqueUpdateable :: forall record backend (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, PersistUniqueRead backend) => Entity record -> ReaderT backend m (Maybe (Unique record)) #

getByValue :: forall record (m :: Type -> Type) backend. (MonadIO m, PersistUniqueRead backend, PersistRecordBackend record backend, AtLeastOneUniqueKey record) => record -> ReaderT backend m (Maybe (Entity record)) #

insertBy :: forall record backend (m :: Type -> Type). (MonadIO m, PersistUniqueWrite backend, PersistRecordBackend record backend, AtLeastOneUniqueKey record, SafeToInsert record) => record -> ReaderT backend m (Either (Entity record) (Key record)) #

insertUniqueEntity :: forall record backend (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, PersistUniqueWrite backend, SafeToInsert record) => record -> ReaderT backend m (Maybe (Entity record)) #

onlyOneUniqueDef :: (OnlyOneUniqueKey record, Monad proxy) => proxy record -> UniqueDef #

onlyUnique :: forall record backend (m :: Type -> Type). (MonadIO m, PersistUniqueWrite backend, PersistRecordBackend record backend, OnlyOneUniqueKey record) => record -> ReaderT backend m (Unique record) #

replaceUnique :: forall record backend (m :: Type -> Type). (MonadIO m, Eq (Unique record), PersistRecordBackend record backend, PersistUniqueWrite backend) => Key record -> record -> ReaderT backend m (Maybe (Unique record)) #

getEntityComments :: EntityDef -> Maybe Text #

getEntityDBName :: EntityDef -> EntityNameDB #

getEntityExtra :: EntityDef -> Map Text [[Text]] #

getEntityFields :: EntityDef -> [FieldDef] #

getEntityFieldsDatabase :: EntityDef -> [FieldDef] #

getEntityForeignDefs :: EntityDef -> [ForeignDef] #

getEntityHaskellName :: EntityDef -> EntityNameHS #

getEntityId :: EntityDef -> EntityIdDef #

getEntityIdField :: EntityDef -> Maybe FieldDef #

getEntityKeyFields :: EntityDef -> NonEmpty FieldDef #

getEntitySpan :: EntityDef -> Maybe SourceSpan #

getEntityUniques :: EntityDef -> [UniqueDef] #

getEntityUniquesNoPrimaryKey :: EntityDef -> [UniqueDef] #

isEntitySum :: EntityDef -> Bool #

overEntityFields :: ([FieldDef] -> [FieldDef]) -> EntityDef -> EntityDef #

setEntityDBName :: EntityNameDB -> EntityDef -> EntityDef #

setEntityId :: FieldDef -> EntityDef -> EntityDef #

setEntityIdDef :: EntityIdDef -> EntityDef -> EntityDef #

addFieldAttr :: FieldAttr -> FieldDef -> FieldDef #

isFieldMaybe :: FieldDef -> Bool #

isFieldNullable :: FieldDef -> IsNullable #

overFieldAttrs :: ([FieldAttr] -> [FieldAttr]) -> FieldDef -> FieldDef #

setFieldAttrs :: [FieldAttr] -> FieldDef -> FieldDef #

newtype ConstraintNameDB #

Constructors

ConstraintNameDB
Fields unConstraintNameDB :: Text

Instances

Instances details

Read ConstraintNameDB
Instance details Defined in Database.Persist.Names Methods readsPrec :: Int -> ReadS ConstraintNameDB readList :: ReadS [ConstraintNameDB] readPrec :: ReadPrec ConstraintNameDB readListPrec :: ReadPrec [ConstraintNameDB]
Show ConstraintNameDB
Instance details Defined in Database.Persist.Names Methods showsPrec :: Int -> ConstraintNameDB -> ShowS show :: ConstraintNameDB -> String showList :: [ConstraintNameDB] -> ShowS
Eq ConstraintNameDB
Instance details Defined in Database.Persist.Names Methods (==) :: ConstraintNameDB -> ConstraintNameDB -> Bool (/=) :: ConstraintNameDB -> ConstraintNameDB -> Bool
Ord ConstraintNameDB
Instance details Defined in Database.Persist.Names Methods compare :: ConstraintNameDB -> ConstraintNameDB -> Ordering (<) :: ConstraintNameDB -> ConstraintNameDB -> Bool (<=) :: ConstraintNameDB -> ConstraintNameDB -> Bool (>) :: ConstraintNameDB -> ConstraintNameDB -> Bool (>=) :: ConstraintNameDB -> ConstraintNameDB -> Bool max :: ConstraintNameDB -> ConstraintNameDB -> ConstraintNameDB min :: ConstraintNameDB -> ConstraintNameDB -> ConstraintNameDB
DatabaseName ConstraintNameDB
Instance details Defined in Database.Persist.Names Methods escapeWith :: (Text -> str) -> ConstraintNameDB -> str #
Lift ConstraintNameDB
Instance details Defined in Database.Persist.Names Methods lift :: Quote m => ConstraintNameDB -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => ConstraintNameDB -> Code m ConstraintNameDB

newtype ConstraintNameHS #

Constructors

ConstraintNameHS
Fields unConstraintNameHS :: Text

Instances

Instances details

Read ConstraintNameHS
Instance details Defined in Database.Persist.Names Methods readsPrec :: Int -> ReadS ConstraintNameHS readList :: ReadS [ConstraintNameHS] readPrec :: ReadPrec ConstraintNameHS readListPrec :: ReadPrec [ConstraintNameHS]
Show ConstraintNameHS
Instance details Defined in Database.Persist.Names Methods showsPrec :: Int -> ConstraintNameHS -> ShowS show :: ConstraintNameHS -> String showList :: [ConstraintNameHS] -> ShowS
Eq ConstraintNameHS
Instance details Defined in Database.Persist.Names Methods (==) :: ConstraintNameHS -> ConstraintNameHS -> Bool (/=) :: ConstraintNameHS -> ConstraintNameHS -> Bool
Ord ConstraintNameHS
Instance details Defined in Database.Persist.Names Methods compare :: ConstraintNameHS -> ConstraintNameHS -> Ordering (<) :: ConstraintNameHS -> ConstraintNameHS -> Bool (<=) :: ConstraintNameHS -> ConstraintNameHS -> Bool (>) :: ConstraintNameHS -> ConstraintNameHS -> Bool (>=) :: ConstraintNameHS -> ConstraintNameHS -> Bool max :: ConstraintNameHS -> ConstraintNameHS -> ConstraintNameHS min :: ConstraintNameHS -> ConstraintNameHS -> ConstraintNameHS
Lift ConstraintNameHS
Instance details Defined in Database.Persist.Names Methods lift :: Quote m => ConstraintNameHS -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => ConstraintNameHS -> Code m ConstraintNameHS

class DatabaseName a where #

Methods

escapeWith :: (Text -> str) -> a -> str #

Instances

Instances details

DatabaseName ConstraintNameDB
Instance details Defined in Database.Persist.Names Methods escapeWith :: (Text -> str) -> ConstraintNameDB -> str #
DatabaseName EntityNameDB
Instance details Defined in Database.Persist.Names Methods escapeWith :: (Text -> str) -> EntityNameDB -> str #
DatabaseName FieldNameDB
Instance details Defined in Database.Persist.Names Methods escapeWith :: (Text -> str) -> FieldNameDB -> str #

newtype EntityNameDB #

Constructors

EntityNameDB
Fields unEntityNameDB :: Text

Instances

Instances details

Read EntityNameDB
Instance details Defined in Database.Persist.Names Methods readsPrec :: Int -> ReadS EntityNameDB readList :: ReadS [EntityNameDB] readPrec :: ReadPrec EntityNameDB readListPrec :: ReadPrec [EntityNameDB]
Show EntityNameDB
Instance details Defined in Database.Persist.Names Methods showsPrec :: Int -> EntityNameDB -> ShowS show :: EntityNameDB -> String showList :: [EntityNameDB] -> ShowS
Eq EntityNameDB
Instance details Defined in Database.Persist.Names Methods (==) :: EntityNameDB -> EntityNameDB -> Bool (/=) :: EntityNameDB -> EntityNameDB -> Bool
Ord EntityNameDB
Instance details Defined in Database.Persist.Names Methods compare :: EntityNameDB -> EntityNameDB -> Ordering (<) :: EntityNameDB -> EntityNameDB -> Bool (<=) :: EntityNameDB -> EntityNameDB -> Bool (>) :: EntityNameDB -> EntityNameDB -> Bool (>=) :: EntityNameDB -> EntityNameDB -> Bool max :: EntityNameDB -> EntityNameDB -> EntityNameDB min :: EntityNameDB -> EntityNameDB -> EntityNameDB
DatabaseName EntityNameDB
Instance details Defined in Database.Persist.Names Methods escapeWith :: (Text -> str) -> EntityNameDB -> str #
Lift EntityNameDB
Instance details Defined in Database.Persist.Names Methods lift :: Quote m => EntityNameDB -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => EntityNameDB -> Code m EntityNameDB

newtype EntityNameHS #

Constructors

EntityNameHS
Fields unEntityNameHS :: Text

Instances

Instances details

Read EntityNameHS
Instance details Defined in Database.Persist.Names Methods readsPrec :: Int -> ReadS EntityNameHS readList :: ReadS [EntityNameHS] readPrec :: ReadPrec EntityNameHS readListPrec :: ReadPrec [EntityNameHS]
Show EntityNameHS
Instance details Defined in Database.Persist.Names Methods showsPrec :: Int -> EntityNameHS -> ShowS show :: EntityNameHS -> String showList :: [EntityNameHS] -> ShowS
Eq EntityNameHS
Instance details Defined in Database.Persist.Names Methods (==) :: EntityNameHS -> EntityNameHS -> Bool (/=) :: EntityNameHS -> EntityNameHS -> Bool
Ord EntityNameHS
Instance details Defined in Database.Persist.Names Methods compare :: EntityNameHS -> EntityNameHS -> Ordering (<) :: EntityNameHS -> EntityNameHS -> Bool (<=) :: EntityNameHS -> EntityNameHS -> Bool (>) :: EntityNameHS -> EntityNameHS -> Bool (>=) :: EntityNameHS -> EntityNameHS -> Bool max :: EntityNameHS -> EntityNameHS -> EntityNameHS min :: EntityNameHS -> EntityNameHS -> EntityNameHS
Lift EntityNameHS
Instance details Defined in Database.Persist.Names Methods lift :: Quote m => EntityNameHS -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => EntityNameHS -> Code m EntityNameHS

newtype FieldNameDB #

Constructors

FieldNameDB
Fields unFieldNameDB :: Text

Instances

Instances details

Read FieldNameDB
Instance details Defined in Database.Persist.Names Methods readsPrec :: Int -> ReadS FieldNameDB readList :: ReadS [FieldNameDB] readPrec :: ReadPrec FieldNameDB readListPrec :: ReadPrec [FieldNameDB]
Show FieldNameDB
Instance details Defined in Database.Persist.Names Methods showsPrec :: Int -> FieldNameDB -> ShowS show :: FieldNameDB -> String showList :: [FieldNameDB] -> ShowS
Eq FieldNameDB
Instance details Defined in Database.Persist.Names Methods (==) :: FieldNameDB -> FieldNameDB -> Bool (/=) :: FieldNameDB -> FieldNameDB -> Bool
Ord FieldNameDB
Instance details Defined in Database.Persist.Names Methods compare :: FieldNameDB -> FieldNameDB -> Ordering (<) :: FieldNameDB -> FieldNameDB -> Bool (<=) :: FieldNameDB -> FieldNameDB -> Bool (>) :: FieldNameDB -> FieldNameDB -> Bool (>=) :: FieldNameDB -> FieldNameDB -> Bool max :: FieldNameDB -> FieldNameDB -> FieldNameDB min :: FieldNameDB -> FieldNameDB -> FieldNameDB
DatabaseName FieldNameDB
Instance details Defined in Database.Persist.Names Methods escapeWith :: (Text -> str) -> FieldNameDB -> str #
Lift FieldNameDB
Instance details Defined in Database.Persist.Names Methods lift :: Quote m => FieldNameDB -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => FieldNameDB -> Code m FieldNameDB

data LiteralType #

Constructors

Escaped
Unescaped
DbSpecific

Instances

Instances details

Read LiteralType
Instance details Defined in Database.Persist.PersistValue Methods readsPrec :: Int -> ReadS LiteralType readList :: ReadS [LiteralType] readPrec :: ReadPrec LiteralType readListPrec :: ReadPrec [LiteralType]
Show LiteralType
Instance details Defined in Database.Persist.PersistValue Methods showsPrec :: Int -> LiteralType -> ShowS show :: LiteralType -> String showList :: [LiteralType] -> ShowS
Eq LiteralType
Instance details Defined in Database.Persist.PersistValue Methods (==) :: LiteralType -> LiteralType -> Bool (/=) :: LiteralType -> LiteralType -> Bool
Ord LiteralType
Instance details Defined in Database.Persist.PersistValue Methods compare :: LiteralType -> LiteralType -> Ordering (<) :: LiteralType -> LiteralType -> Bool (<=) :: LiteralType -> LiteralType -> Bool (>) :: LiteralType -> LiteralType -> Bool (>=) :: LiteralType -> LiteralType -> Bool max :: LiteralType -> LiteralType -> LiteralType min :: LiteralType -> LiteralType -> LiteralType

data PersistValue #

Constructors

PersistText Text
PersistByteString ByteString
PersistInt64 Int64
PersistDouble Double
PersistRational Rational
PersistBool Bool
PersistDay Day
PersistTimeOfDay TimeOfDay
PersistUTCTime UTCTime
PersistNull
PersistList [PersistValue]
PersistMap [(Text, PersistValue)]
PersistObjectId ByteString
PersistArray [PersistValue]
PersistLiteral_ LiteralType ByteString

Bundled Patterns

pattern PersistDbSpecific :: ByteString -> PersistValue
pattern PersistLiteral :: ByteString -> PersistValue
pattern PersistLiteralEscaped :: ByteString -> PersistValue

Instances

Instances details

FromJSON PersistValue
Instance details Defined in Database.Persist.PersistValue Methods parseJSON :: Value -> Parser PersistValue parseJSONList :: Value -> Parser [PersistValue] omittedField :: Maybe PersistValue
ToJSON PersistValue
Instance details Defined in Database.Persist.PersistValue Methods toJSON :: PersistValue -> Value toEncoding :: PersistValue -> Encoding toJSONList :: [PersistValue] -> Value toEncodingList :: [PersistValue] -> Encoding omitField :: PersistValue -> Bool
NFData PersistValue
Instance details Defined in Database.Persist.PersistValue Methods rnf :: PersistValue -> ()
Read PersistValue
Instance details Defined in Database.Persist.PersistValue Methods readsPrec :: Int -> ReadS PersistValue readList :: ReadS [PersistValue] readPrec :: ReadPrec PersistValue readListPrec :: ReadPrec [PersistValue]
Show PersistValue
Instance details Defined in Database.Persist.PersistValue Methods showsPrec :: Int -> PersistValue -> ShowS show :: PersistValue -> String showList :: [PersistValue] -> ShowS
Eq PersistValue
Instance details Defined in Database.Persist.PersistValue Methods (==) :: PersistValue -> PersistValue -> Bool (/=) :: PersistValue -> PersistValue -> Bool
Ord PersistValue
Instance details Defined in Database.Persist.PersistValue Methods compare :: PersistValue -> PersistValue -> Ordering (<) :: PersistValue -> PersistValue -> Bool (<=) :: PersistValue -> PersistValue -> Bool (>) :: PersistValue -> PersistValue -> Bool (>=) :: PersistValue -> PersistValue -> Bool max :: PersistValue -> PersistValue -> PersistValue min :: PersistValue -> PersistValue -> PersistValue
FromHttpApiData PersistValue
Instance details Defined in Database.Persist.PersistValue Methods parseUrlPiece :: Text -> Either Text PersistValue parseHeader :: ByteString -> Either Text PersistValue parseQueryParam :: Text -> Either Text PersistValue
ToHttpApiData PersistValue
Instance details Defined in Database.Persist.PersistValue Methods toUrlPiece :: PersistValue -> Text toEncodedUrlPiece :: PersistValue -> Builder toHeader :: PersistValue -> ByteString toQueryParam :: PersistValue -> Text toEncodedQueryParam :: PersistValue -> Builder
PathPiece PersistValue
Instance details Defined in Database.Persist.PersistValue Methods fromPathPiece :: Text -> Maybe PersistValue toPathPiece :: PersistValue -> Text
PersistField PersistValue
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: PersistValue -> PersistValue # fromPersistValue :: PersistValue -> Either Text PersistValue #

fromPersistValueText :: PersistValue -> Either Text Text #

data Checkmark #

Constructors

Active
Inactive

Instances

Instances details

Bounded Checkmark
Instance details Defined in Database.Persist.Types.Base Methods minBound :: Checkmark maxBound :: Checkmark
Enum Checkmark
Instance details Defined in Database.Persist.Types.Base Methods succ :: Checkmark -> Checkmark pred :: Checkmark -> Checkmark toEnum :: Int -> Checkmark fromEnum :: Checkmark -> Int enumFrom :: Checkmark -> [Checkmark] enumFromThen :: Checkmark -> Checkmark -> [Checkmark] enumFromTo :: Checkmark -> Checkmark -> [Checkmark] enumFromThenTo :: Checkmark -> Checkmark -> Checkmark -> [Checkmark]
Read Checkmark
Instance details Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS Checkmark readList :: ReadS [Checkmark] readPrec :: ReadPrec Checkmark readListPrec :: ReadPrec [Checkmark]
Show Checkmark
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> Checkmark -> ShowS show :: Checkmark -> String showList :: [Checkmark] -> ShowS
Eq Checkmark
Instance details Defined in Database.Persist.Types.Base Methods (==) :: Checkmark -> Checkmark -> Bool (/=) :: Checkmark -> Checkmark -> Bool
Ord Checkmark
Instance details Defined in Database.Persist.Types.Base Methods compare :: Checkmark -> Checkmark -> Ordering (<) :: Checkmark -> Checkmark -> Bool (<=) :: Checkmark -> Checkmark -> Bool (>) :: Checkmark -> Checkmark -> Bool (>=) :: Checkmark -> Checkmark -> Bool max :: Checkmark -> Checkmark -> Checkmark min :: Checkmark -> Checkmark -> Checkmark
FromHttpApiData Checkmark
Instance details Defined in Database.Persist.Types.Base Methods parseUrlPiece :: Text -> Either Text Checkmark parseHeader :: ByteString -> Either Text Checkmark parseQueryParam :: Text -> Either Text Checkmark
ToHttpApiData Checkmark
Instance details Defined in Database.Persist.Types.Base Methods toUrlPiece :: Checkmark -> Text toEncodedUrlPiece :: Checkmark -> Builder toHeader :: Checkmark -> ByteString toQueryParam :: Checkmark -> Text toEncodedQueryParam :: Checkmark -> Builder
PathPiece Checkmark
Instance details Defined in Database.Persist.Types.Base Methods fromPathPiece :: Text -> Maybe Checkmark toPathPiece :: Checkmark -> Text
PersistField Checkmark
Instance details Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Checkmark -> PersistValue # fromPersistValue :: PersistValue -> Either Text Checkmark #

type Attr = Text #

data WhyNullable #

Constructors

ByMaybeAttr
ByNullableAttr

Instances

Instances details

Show WhyNullable
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> WhyNullable -> ShowS show :: WhyNullable -> String showList :: [WhyNullable] -> ShowS
Eq WhyNullable
Instance details Defined in Database.Persist.Types.Base Methods (==) :: WhyNullable -> WhyNullable -> Bool (/=) :: WhyNullable -> WhyNullable -> Bool

data CascadeAction #

Constructors

Cascade
Restrict
SetNull
SetDefault

Instances

Instances details

Read CascadeAction
Instance details Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS CascadeAction readList :: ReadS [CascadeAction] readPrec :: ReadPrec CascadeAction readListPrec :: ReadPrec [CascadeAction]
Show CascadeAction
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> CascadeAction -> ShowS show :: CascadeAction -> String showList :: [CascadeAction] -> ShowS
Eq CascadeAction
Instance details Defined in Database.Persist.Types.Base Methods (==) :: CascadeAction -> CascadeAction -> Bool (/=) :: CascadeAction -> CascadeAction -> Bool
Ord CascadeAction
Instance details Defined in Database.Persist.Types.Base Methods compare :: CascadeAction -> CascadeAction -> Ordering (<) :: CascadeAction -> CascadeAction -> Bool (<=) :: CascadeAction -> CascadeAction -> Bool (>) :: CascadeAction -> CascadeAction -> Bool (>=) :: CascadeAction -> CascadeAction -> Bool max :: CascadeAction -> CascadeAction -> CascadeAction min :: CascadeAction -> CascadeAction -> CascadeAction
Lift CascadeAction
Instance details Defined in Database.Persist.Types.Base Methods lift :: Quote m => CascadeAction -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => CascadeAction -> Code m CascadeAction

data CompositeDef #

Constructors

CompositeDef
Fields compositeFields :: !(NonEmpty FieldDef) compositeAttrs :: ![Attr]

Instances

Instances details

Read CompositeDef
Instance details Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS CompositeDef readList :: ReadS [CompositeDef] readPrec :: ReadPrec CompositeDef readListPrec :: ReadPrec [CompositeDef]
Show CompositeDef
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> CompositeDef -> ShowS show :: CompositeDef -> String showList :: [CompositeDef] -> ShowS
Eq CompositeDef
Instance details Defined in Database.Persist.Types.Base Methods (==) :: CompositeDef -> CompositeDef -> Bool (/=) :: CompositeDef -> CompositeDef -> Bool
Ord CompositeDef
Instance details Defined in Database.Persist.Types.Base Methods compare :: CompositeDef -> CompositeDef -> Ordering (<) :: CompositeDef -> CompositeDef -> Bool (<=) :: CompositeDef -> CompositeDef -> Bool (>) :: CompositeDef -> CompositeDef -> Bool (>=) :: CompositeDef -> CompositeDef -> Bool max :: CompositeDef -> CompositeDef -> CompositeDef min :: CompositeDef -> CompositeDef -> CompositeDef
Lift CompositeDef
Instance details Defined in Database.Persist.Types.Base Methods lift :: Quote m => CompositeDef -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => CompositeDef -> Code m CompositeDef

data EmbedEntityDef #

Constructors

EmbedEntityDef
Fields embeddedHaskell :: EntityNameHS embeddedFields :: [EmbedFieldDef]

Instances

Instances details

Read EmbedEntityDef
Instance details Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS EmbedEntityDef readList :: ReadS [EmbedEntityDef] readPrec :: ReadPrec EmbedEntityDef readListPrec :: ReadPrec [EmbedEntityDef]
Show EmbedEntityDef
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> EmbedEntityDef -> ShowS show :: EmbedEntityDef -> String showList :: [EmbedEntityDef] -> ShowS
Eq EmbedEntityDef
Instance details Defined in Database.Persist.Types.Base Methods (==) :: EmbedEntityDef -> EmbedEntityDef -> Bool (/=) :: EmbedEntityDef -> EmbedEntityDef -> Bool
Ord EmbedEntityDef
Instance details Defined in Database.Persist.Types.Base Methods compare :: EmbedEntityDef -> EmbedEntityDef -> Ordering (<) :: EmbedEntityDef -> EmbedEntityDef -> Bool (<=) :: EmbedEntityDef -> EmbedEntityDef -> Bool (>) :: EmbedEntityDef -> EmbedEntityDef -> Bool (>=) :: EmbedEntityDef -> EmbedEntityDef -> Bool max :: EmbedEntityDef -> EmbedEntityDef -> EmbedEntityDef min :: EmbedEntityDef -> EmbedEntityDef -> EmbedEntityDef
Lift EmbedEntityDef
Instance details Defined in Database.Persist.Types.Base Methods lift :: Quote m => EmbedEntityDef -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => EmbedEntityDef -> Code m EmbedEntityDef

data EmbedFieldDef #

Constructors

EmbedFieldDef
Fields emFieldDB :: FieldNameDB emFieldEmbed :: Maybe (Either SelfEmbed EntityNameHS)

Instances

Instances details

Read EmbedFieldDef
Instance details Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS EmbedFieldDef readList :: ReadS [EmbedFieldDef] readPrec :: ReadPrec EmbedFieldDef readListPrec :: ReadPrec [EmbedFieldDef]
Show EmbedFieldDef
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> EmbedFieldDef -> ShowS show :: EmbedFieldDef -> String showList :: [EmbedFieldDef] -> ShowS
Eq EmbedFieldDef
Instance details Defined in Database.Persist.Types.Base Methods (==) :: EmbedFieldDef -> EmbedFieldDef -> Bool (/=) :: EmbedFieldDef -> EmbedFieldDef -> Bool
Ord EmbedFieldDef
Instance details Defined in Database.Persist.Types.Base Methods compare :: EmbedFieldDef -> EmbedFieldDef -> Ordering (<) :: EmbedFieldDef -> EmbedFieldDef -> Bool (<=) :: EmbedFieldDef -> EmbedFieldDef -> Bool (>) :: EmbedFieldDef -> EmbedFieldDef -> Bool (>=) :: EmbedFieldDef -> EmbedFieldDef -> Bool max :: EmbedFieldDef -> EmbedFieldDef -> EmbedFieldDef min :: EmbedFieldDef -> EmbedFieldDef -> EmbedFieldDef
Lift EmbedFieldDef
Instance details Defined in Database.Persist.Types.Base Methods lift :: Quote m => EmbedFieldDef -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => EmbedFieldDef -> Code m EmbedFieldDef

data ReferenceDef #

Constructors

NoReference
ForeignRef !EntityNameHS
EmbedRef EntityNameHS
SelfReference

Instances

Instances details

Read ReferenceDef
Instance details Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS ReferenceDef readList :: ReadS [ReferenceDef] readPrec :: ReadPrec ReferenceDef readListPrec :: ReadPrec [ReferenceDef]
Show ReferenceDef
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> ReferenceDef -> ShowS show :: ReferenceDef -> String showList :: [ReferenceDef] -> ShowS
Eq ReferenceDef
Instance details Defined in Database.Persist.Types.Base Methods (==) :: ReferenceDef -> ReferenceDef -> Bool (/=) :: ReferenceDef -> ReferenceDef -> Bool
Ord ReferenceDef
Instance details Defined in Database.Persist.Types.Base Methods compare :: ReferenceDef -> ReferenceDef -> Ordering (<) :: ReferenceDef -> ReferenceDef -> Bool (<=) :: ReferenceDef -> ReferenceDef -> Bool (>) :: ReferenceDef -> ReferenceDef -> Bool (>=) :: ReferenceDef -> ReferenceDef -> Bool max :: ReferenceDef -> ReferenceDef -> ReferenceDef min :: ReferenceDef -> ReferenceDef -> ReferenceDef
Lift ReferenceDef
Instance details Defined in Database.Persist.Types.Base Methods lift :: Quote m => ReferenceDef -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => ReferenceDef -> Code m ReferenceDef

data EntityDef #

Instances

Instances details

Read EntityDef
Instance details Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS EntityDef readList :: ReadS [EntityDef] readPrec :: ReadPrec EntityDef readListPrec :: ReadPrec [EntityDef]
Show EntityDef
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> EntityDef -> ShowS show :: EntityDef -> String showList :: [EntityDef] -> ShowS
Eq EntityDef
Instance details Defined in Database.Persist.Types.Base Methods (==) :: EntityDef -> EntityDef -> Bool (/=) :: EntityDef -> EntityDef -> Bool
Ord EntityDef
Instance details Defined in Database.Persist.Types.Base Methods compare :: EntityDef -> EntityDef -> Ordering (<) :: EntityDef -> EntityDef -> Bool (<=) :: EntityDef -> EntityDef -> Bool (>) :: EntityDef -> EntityDef -> Bool (>=) :: EntityDef -> EntityDef -> Bool max :: EntityDef -> EntityDef -> EntityDef min :: EntityDef -> EntityDef -> EntityDef
Lift EntityDef
Instance details Defined in Database.Persist.Types.Base Methods lift :: Quote m => EntityDef -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => EntityDef -> Code m EntityDef

data EntityIdDef #

Constructors

EntityIdField !FieldDef
EntityIdNaturalKey !CompositeDef

Instances

Instances details

Read EntityIdDef
Instance details Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS EntityIdDef readList :: ReadS [EntityIdDef] readPrec :: ReadPrec EntityIdDef readListPrec :: ReadPrec [EntityIdDef]
Show EntityIdDef
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> EntityIdDef -> ShowS show :: EntityIdDef -> String showList :: [EntityIdDef] -> ShowS
Eq EntityIdDef
Instance details Defined in Database.Persist.Types.Base Methods (==) :: EntityIdDef -> EntityIdDef -> Bool (/=) :: EntityIdDef -> EntityIdDef -> Bool
Ord EntityIdDef
Instance details Defined in Database.Persist.Types.Base Methods compare :: EntityIdDef -> EntityIdDef -> Ordering (<) :: EntityIdDef -> EntityIdDef -> Bool (<=) :: EntityIdDef -> EntityIdDef -> Bool (>) :: EntityIdDef -> EntityIdDef -> Bool (>=) :: EntityIdDef -> EntityIdDef -> Bool max :: EntityIdDef -> EntityIdDef -> EntityIdDef min :: EntityIdDef -> EntityIdDef -> EntityIdDef
Lift EntityIdDef
Instance details Defined in Database.Persist.Types.Base Methods lift :: Quote m => EntityIdDef -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => EntityIdDef -> Code m EntityIdDef

type ExtraLine = [Text] #

data FieldType #

Constructors

FTTypeCon (Maybe Text) Text
FTLit FieldTypeLit
FTTypePromoted Text
FTApp FieldType FieldType
FTList FieldType

Instances

Instances details

Read FieldType
Instance details Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS FieldType readList :: ReadS [FieldType] readPrec :: ReadPrec FieldType readListPrec :: ReadPrec [FieldType]
Show FieldType
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> FieldType -> ShowS show :: FieldType -> String showList :: [FieldType] -> ShowS
Eq FieldType
Instance details Defined in Database.Persist.Types.Base Methods (==) :: FieldType -> FieldType -> Bool (/=) :: FieldType -> FieldType -> Bool
Ord FieldType
Instance details Defined in Database.Persist.Types.Base Methods compare :: FieldType -> FieldType -> Ordering (<) :: FieldType -> FieldType -> Bool (<=) :: FieldType -> FieldType -> Bool (>) :: FieldType -> FieldType -> Bool (>=) :: FieldType -> FieldType -> Bool max :: FieldType -> FieldType -> FieldType min :: FieldType -> FieldType -> FieldType
Lift FieldType
Instance details Defined in Database.Persist.Types.Base Methods lift :: Quote m => FieldType -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => FieldType -> Code m FieldType

data FieldAttr #

Constructors

FieldAttrMaybe
FieldAttrNullable
FieldAttrMigrationOnly
FieldAttrSafeToRemove
FieldAttrNoreference
FieldAttrReference Text
FieldAttrConstraint Text
FieldAttrDefault Text
FieldAttrSqltype Text
FieldAttrMaxlen Integer
FieldAttrSql Text
FieldAttrOther Text

Instances

Instances details

Read FieldAttr
Instance details Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS FieldAttr readList :: ReadS [FieldAttr] readPrec :: ReadPrec FieldAttr readListPrec :: ReadPrec [FieldAttr]
Show FieldAttr
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> FieldAttr -> ShowS show :: FieldAttr -> String showList :: [FieldAttr] -> ShowS
Eq FieldAttr
Instance details Defined in Database.Persist.Types.Base Methods (==) :: FieldAttr -> FieldAttr -> Bool (/=) :: FieldAttr -> FieldAttr -> Bool
Ord FieldAttr
Instance details Defined in Database.Persist.Types.Base Methods compare :: FieldAttr -> FieldAttr -> Ordering (<) :: FieldAttr -> FieldAttr -> Bool (<=) :: FieldAttr -> FieldAttr -> Bool (>) :: FieldAttr -> FieldAttr -> Bool (>=) :: FieldAttr -> FieldAttr -> Bool max :: FieldAttr -> FieldAttr -> FieldAttr min :: FieldAttr -> FieldAttr -> FieldAttr
Lift FieldAttr
Instance details Defined in Database.Persist.Types.Base Methods lift :: Quote m => FieldAttr -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => FieldAttr -> Code m FieldAttr

data FieldCascade #

Constructors

FieldCascade
Fields fcOnUpdate :: !(Maybe CascadeAction) fcOnDelete :: !(Maybe CascadeAction)

Instances

Instances details

Read FieldCascade
Instance details Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS FieldCascade readList :: ReadS [FieldCascade] readPrec :: ReadPrec FieldCascade readListPrec :: ReadPrec [FieldCascade]
Show FieldCascade
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> FieldCascade -> ShowS show :: FieldCascade -> String showList :: [FieldCascade] -> ShowS
Eq FieldCascade
Instance details Defined in Database.Persist.Types.Base Methods (==) :: FieldCascade -> FieldCascade -> Bool (/=) :: FieldCascade -> FieldCascade -> Bool
Ord FieldCascade
Instance details Defined in Database.Persist.Types.Base Methods compare :: FieldCascade -> FieldCascade -> Ordering (<) :: FieldCascade -> FieldCascade -> Bool (<=) :: FieldCascade -> FieldCascade -> Bool (>) :: FieldCascade -> FieldCascade -> Bool (>=) :: FieldCascade -> FieldCascade -> Bool max :: FieldCascade -> FieldCascade -> FieldCascade min :: FieldCascade -> FieldCascade -> FieldCascade
Lift FieldCascade
Instance details Defined in Database.Persist.Types.Base Methods lift :: Quote m => FieldCascade -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => FieldCascade -> Code m FieldCascade

data FieldDef #

Constructors

FieldDef
Fields fieldHaskell :: !FieldNameHS fieldDB :: !FieldNameDB fieldType :: !FieldType fieldSqlType :: !SqlType fieldAttrs :: ![FieldAttr] fieldStrict :: !Bool fieldReference :: !ReferenceDef fieldCascade :: !FieldCascade fieldComments :: !(Maybe Text) fieldGenerated :: !(Maybe Text) fieldIsImplicitIdColumn :: !Bool

Instances

Instances details

Read FieldDef
Instance details Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS FieldDef readList :: ReadS [FieldDef] readPrec :: ReadPrec FieldDef readListPrec :: ReadPrec [FieldDef]
Show FieldDef
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> FieldDef -> ShowS show :: FieldDef -> String showList :: [FieldDef] -> ShowS
Eq FieldDef
Instance details Defined in Database.Persist.Types.Base Methods (==) :: FieldDef -> FieldDef -> Bool (/=) :: FieldDef -> FieldDef -> Bool
Ord FieldDef
Instance details Defined in Database.Persist.Types.Base Methods compare :: FieldDef -> FieldDef -> Ordering (<) :: FieldDef -> FieldDef -> Bool (<=) :: FieldDef -> FieldDef -> Bool (>) :: FieldDef -> FieldDef -> Bool (>=) :: FieldDef -> FieldDef -> Bool max :: FieldDef -> FieldDef -> FieldDef min :: FieldDef -> FieldDef -> FieldDef
Lift FieldDef
Instance details Defined in Database.Persist.Types.Base Methods lift :: Quote m => FieldDef -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => FieldDef -> Code m FieldDef

data ForeignDef #

Constructors

ForeignDef
Fields foreignRefTableHaskell :: !EntityNameHS foreignRefTableDBName :: !EntityNameDB foreignConstraintNameHaskell :: !ConstraintNameHS foreignConstraintNameDBName :: !ConstraintNameDB foreignFieldCascade :: !FieldCascade foreignFields :: ![(ForeignFieldDef, ForeignFieldDef)] foreignAttrs :: ![Attr] foreignNullable :: Bool foreignToPrimary :: Bool

Instances

Instances details

Read ForeignDef
Instance details Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS ForeignDef readList :: ReadS [ForeignDef] readPrec :: ReadPrec ForeignDef readListPrec :: ReadPrec [ForeignDef]
Show ForeignDef
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> ForeignDef -> ShowS show :: ForeignDef -> String showList :: [ForeignDef] -> ShowS
Eq ForeignDef
Instance details Defined in Database.Persist.Types.Base Methods (==) :: ForeignDef -> ForeignDef -> Bool (/=) :: ForeignDef -> ForeignDef -> Bool
Ord ForeignDef
Instance details Defined in Database.Persist.Types.Base Methods compare :: ForeignDef -> ForeignDef -> Ordering (<) :: ForeignDef -> ForeignDef -> Bool (<=) :: ForeignDef -> ForeignDef -> Bool (>) :: ForeignDef -> ForeignDef -> Bool (>=) :: ForeignDef -> ForeignDef -> Bool max :: ForeignDef -> ForeignDef -> ForeignDef min :: ForeignDef -> ForeignDef -> ForeignDef
Lift ForeignDef
Instance details Defined in Database.Persist.Types.Base Methods lift :: Quote m => ForeignDef -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => ForeignDef -> Code m ForeignDef

type ForeignFieldDef = (FieldNameHS, FieldNameDB) #

data IsNullable #

Constructors

Nullable !WhyNullable
NotNullable

Instances

Instances details

Show IsNullable
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> IsNullable -> ShowS show :: IsNullable -> String showList :: [IsNullable] -> ShowS
Eq IsNullable
Instance details Defined in Database.Persist.Types.Base Methods (==) :: IsNullable -> IsNullable -> Bool (/=) :: IsNullable -> IsNullable -> Bool

data UpdateException #

Constructors

KeyNotFound String
UpsertError String

Instances

Instances details

Exception UpdateException
Instance details Defined in Database.Persist.Types.Base Methods toException :: UpdateException -> SomeException fromException :: SomeException -> Maybe UpdateException displayException :: UpdateException -> String backtraceDesired :: UpdateException -> Bool
Show UpdateException
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> UpdateException -> ShowS show :: UpdateException -> String showList :: [UpdateException] -> ShowS

data PersistException #

Constructors

PersistError Text
PersistMarshalError Text
PersistInvalidField Text
PersistForeignConstraintUnmet Text
PersistMongoDBError Text
PersistMongoDBUnsupported Text

Instances

Instances details

Exception PersistException
Instance details Defined in Database.Persist.Types.Base Methods toException :: PersistException -> SomeException fromException :: SomeException -> Maybe PersistException displayException :: PersistException -> String backtraceDesired :: PersistException -> Bool
Show PersistException
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> PersistException -> ShowS show :: PersistException -> String showList :: [PersistException] -> ShowS

data SqlType #

Constructors

SqlString
SqlInt32
SqlInt64
SqlReal
SqlNumeric Word32 Word32
SqlBool
SqlDay
SqlTime
SqlDayTime
SqlBlob
SqlOther Text

Instances

Instances details

Read SqlType
Instance details Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS SqlType readList :: ReadS [SqlType] readPrec :: ReadPrec SqlType readListPrec :: ReadPrec [SqlType]
Show SqlType
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> SqlType -> ShowS show :: SqlType -> String showList :: [SqlType] -> ShowS
Eq SqlType
Instance details Defined in Database.Persist.Types.Base Methods (==) :: SqlType -> SqlType -> Bool (/=) :: SqlType -> SqlType -> Bool
Ord SqlType
Instance details Defined in Database.Persist.Types.Base Methods compare :: SqlType -> SqlType -> Ordering (<) :: SqlType -> SqlType -> Bool (<=) :: SqlType -> SqlType -> Bool (>) :: SqlType -> SqlType -> Bool (>=) :: SqlType -> SqlType -> Bool max :: SqlType -> SqlType -> SqlType min :: SqlType -> SqlType -> SqlType
Lift SqlType
Instance details Defined in Database.Persist.Types.Base Methods lift :: Quote m => SqlType -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => SqlType -> Code m SqlType

data UniqueDef #

Constructors

UniqueDef
Fields uniqueHaskell :: !ConstraintNameHS uniqueDBName :: !ConstraintNameDB uniqueFields :: !(NonEmpty (FieldNameHS, FieldNameDB)) uniqueAttrs :: ![Attr]

Instances

Instances details

Read UniqueDef
Instance details Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS UniqueDef readList :: ReadS [UniqueDef] readPrec :: ReadPrec UniqueDef readListPrec :: ReadPrec [UniqueDef]
Show UniqueDef
Instance details Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> UniqueDef -> ShowS show :: UniqueDef -> String showList :: [UniqueDef] -> ShowS
Eq UniqueDef
Instance details Defined in Database.Persist.Types.Base Methods (==) :: UniqueDef -> UniqueDef -> Bool (/=) :: UniqueDef -> UniqueDef -> Bool
Ord UniqueDef
Instance details Defined in Database.Persist.Types.Base Methods compare :: UniqueDef -> UniqueDef -> Ordering (<) :: UniqueDef -> UniqueDef -> Bool (<=) :: UniqueDef -> UniqueDef -> Bool (>) :: UniqueDef -> UniqueDef -> Bool (>=) :: UniqueDef -> UniqueDef -> Bool max :: UniqueDef -> UniqueDef -> UniqueDef min :: UniqueDef -> UniqueDef -> UniqueDef
Lift UniqueDef
Instance details Defined in Database.Persist.Types.Base Methods lift :: Quote m => UniqueDef -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => UniqueDef -> Code m UniqueDef

entitiesPrimary :: EntityDef -> NonEmpty FieldDef #

entityPrimary :: EntityDef -> Maybe CompositeDef #

fieldAttrsContainsNullable :: [FieldAttr] -> IsNullable #

isFieldNotGenerated :: FieldDef -> Bool #

isHaskellField :: FieldDef -> Bool #

keyAndEntityFields :: EntityDef -> NonEmpty FieldDef #

keyAndEntityFieldsDatabase :: EntityDef -> NonEmpty FieldDef #

noCascade :: FieldCascade #

parseFieldAttrs :: [Text] -> [FieldAttr] #

renderCascadeAction :: CascadeAction -> Text #

renderFieldCascade :: FieldCascade -> Text #

(!=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Filter v #

(*=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Update v #

(+=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Update v #

(-=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Update v #

(/<-.) :: forall v typ. PersistField typ => EntityField v typ -> [typ] -> Filter v #

(/=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Update v #

(<-.) :: forall v typ. PersistField typ => EntityField v typ -> [typ] -> Filter v #

(<.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Filter v #

(<=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Filter v #

(=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Update v #

(==.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Filter v #

(>.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Filter v #

(>=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Filter v #

(||.) :: [Filter v] -> [Filter v] -> [Filter v] #

toJsonText :: ToJSON j => j -> Text #

limitOffsetOrder :: PersistEntity val => [SelectOpt val] -> (Int, Int, [SelectOpt val]) #

listToJSON :: [PersistValue] -> Text #

mapToJSON :: [(Text, PersistValue)] -> Text #

data ImplicitIdDef #

data EntityJSON #

Constructors

EntityJSON
Fields entityToJSON :: Name entityFromJSON :: Name

data MkPersistSettings #

derivePersistField :: String -> Q [Dec] #

derivePersistFieldJSON :: String -> Q [Dec] #

discoverEntities :: Q Exp #

migrateModels :: [EntityDef] -> Migration #

mkEntityDefList :: String -> [UnboundEntityDef] -> Q [Dec] #

mkMigrate :: String -> [UnboundEntityDef] -> Q [Dec] #

mkPersist :: MkPersistSettings -> [UnboundEntityDef] -> Q [Dec] #

mkPersistSettings :: Type -> MkPersistSettings #

mkPersistWith :: MkPersistSettings -> [EntityDef] -> [UnboundEntityDef] -> Q [Dec] #

persistFieldFromEntity :: MkPersistSettings -> UnboundEntityDef -> Q [Dec] #

persistFileWith :: PersistSettings -> FilePath -> Q Exp #

persistLowerCase :: QuasiQuoter #

persistManyFileWith :: PersistSettings -> [FilePath] -> Q Exp #

persistUpperCase :: QuasiQuoter #

persistWith :: PersistSettings -> QuasiQuoter #

setImplicitIdDef :: ImplicitIdDef -> MkPersistSettings -> MkPersistSettings #

share :: [[a] -> Q [Dec]] -> [a] -> Q [Dec] #

sqlSettings :: MkPersistSettings #