module Database.Custom.MySQL (
module Database.Relational,
relationalQuery,
insertValue, insertValueNoPH, insertQuery,
update, updateNoPH,
delete, deleteNoPH,
) where
import Language.SQL.Keyword (Keyword)
import Database.Relational.Schema.MySQL.Config (config)
import Database.Relational hiding
(relationalQuery,
insertValue, insertValueNoPH, insertQuery,
update, updateNoPH,
delete, deleteNoPH, )
relationalQuery :: Relation p r
-> [Keyword]
-> Query p r
relationalQuery :: Relation p r -> [Keyword] -> Query p r
relationalQuery = Config -> Relation p r -> [Keyword] -> Query p r
forall p r. Config -> Relation p r -> [Keyword] -> Query p r
relationalQuery_ Config
config
insertValue :: TableDerivable r
=> Register r (PlaceHolders p)
-> Insert p
insertValue :: Register r (PlaceHolders p) -> Insert p
insertValue = Config -> Register r (PlaceHolders p) -> Insert p
forall r p.
TableDerivable r =>
Config -> Register r (PlaceHolders p) -> Insert p
insertValue' Config
config
insertValueNoPH :: TableDerivable r
=> Register r ()
-> Insert ()
insertValueNoPH :: Register r () -> Insert ()
insertValueNoPH body :: Register r ()
body = Register r (PlaceHolders ()) -> Insert ()
forall r p.
TableDerivable r =>
Register r (PlaceHolders p) -> Insert p
insertValue (Register r (PlaceHolders ()) -> Insert ())
-> Register r (PlaceHolders ()) -> Insert ()
forall a b. (a -> b) -> a -> b
$ Register r ()
body Register r ()
-> Register r (PlaceHolders ()) -> Register r (PlaceHolders ())
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> PlaceHolders () -> Register r (PlaceHolders ())
forall (m :: * -> *) a. Monad m => a -> m a
return PlaceHolders ()
unitPH
insertQuery :: TableDerivable r => Pi r r' -> Relation p r' -> InsertQuery p
insertQuery :: Pi r r' -> Relation p r' -> InsertQuery p
insertQuery = Config -> Pi r r' -> Relation p r' -> InsertQuery p
forall r r' p.
TableDerivable r =>
Config -> Pi r r' -> Relation p r' -> InsertQuery p
insertQuery' Config
config
update :: TableDerivable r
=> (Record Flat r -> Assign r (PlaceHolders p))
-> Update p
update :: (Record Flat r -> Assign r (PlaceHolders p)) -> Update p
update = Config -> (Record Flat r -> Assign r (PlaceHolders p)) -> Update p
forall r p.
TableDerivable r =>
Config -> (Record Flat r -> Assign r (PlaceHolders p)) -> Update p
update' Config
config
updateNoPH :: TableDerivable r
=> (Record Flat r -> Assign r ())
-> Update ()
updateNoPH :: (Record Flat r -> Assign r ()) -> Update ()
updateNoPH body :: Record Flat r -> Assign r ()
body = (Record Flat r -> Assign r (PlaceHolders ())) -> Update ()
forall r p.
TableDerivable r =>
(Record Flat r -> Assign r (PlaceHolders p)) -> Update p
update ((Record Flat r -> Assign r (PlaceHolders ())) -> Update ())
-> (Record Flat r -> Assign r (PlaceHolders ())) -> Update ()
forall a b. (a -> b) -> a -> b
$ (Assign r ()
-> Assign r (PlaceHolders ()) -> Assign r (PlaceHolders ())
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> PlaceHolders () -> Assign r (PlaceHolders ())
forall (m :: * -> *) a. Monad m => a -> m a
return PlaceHolders ()
unitPH) (Assign r () -> Assign r (PlaceHolders ()))
-> (Record Flat r -> Assign r ())
-> Record Flat r
-> Assign r (PlaceHolders ())
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Record Flat r -> Assign r ()
body
delete :: TableDerivable r
=> (Record Flat r -> Restrict (PlaceHolders p))
-> Delete p
delete :: (Record Flat r -> Restrict (PlaceHolders p)) -> Delete p
delete = Config -> (Record Flat r -> Restrict (PlaceHolders p)) -> Delete p
forall r p.
TableDerivable r =>
Config -> (Record Flat r -> Restrict (PlaceHolders p)) -> Delete p
delete' Config
config
deleteNoPH :: TableDerivable r
=> (Record Flat r -> Restrict ())
-> Delete ()
deleteNoPH :: (Record Flat r -> Restrict ()) -> Delete ()
deleteNoPH body :: Record Flat r -> Restrict ()
body = (Record Flat r -> Restrict (PlaceHolders ())) -> Delete ()
forall r p.
TableDerivable r =>
(Record Flat r -> Restrict (PlaceHolders p)) -> Delete p
delete ((Record Flat r -> Restrict (PlaceHolders ())) -> Delete ())
-> (Record Flat r -> Restrict (PlaceHolders ())) -> Delete ()
forall a b. (a -> b) -> a -> b
$ (Restrict ()
-> Restrict (PlaceHolders ()) -> Restrict (PlaceHolders ())
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> PlaceHolders () -> Restrict (PlaceHolders ())
forall (m :: * -> *) a. Monad m => a -> m a
return PlaceHolders ()
unitPH) (Restrict () -> Restrict (PlaceHolders ()))
-> (Record Flat r -> Restrict ())
-> Record Flat r
-> Restrict (PlaceHolders ())
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Record Flat r -> Restrict ()
body