opaleye-sqlite-0.0.1.1: An SQL-generating DSL targeting SQLite
Safe HaskellNone
LanguageHaskell2010

Opaleye.SQLite.Manipulation

Synopsis

Documentation

type Int64 = () Source #

arrangeInsert :: Table columns a -> columns -> SqlInsert Source #

arrangeInsertSql :: Table columns a -> columns -> String Source #

runInsert :: Connection -> Table columns columns' -> columns -> IO Int64 Source #

arrangeInsertMany :: Table columns a -> NonEmpty columns -> SqlInsert Source #

arrangeInsertManySql :: Table columns a -> NonEmpty columns -> String Source #

runInsertMany :: Connection -> Table columns columns' -> [columns] -> IO Int64 Source #

arrangeUpdate :: Table columnsW columnsR -> (columnsR -> columnsW) -> (columnsR -> Column PGBool) -> SqlUpdate Source #

arrangeUpdateSql :: Table columnsW columnsR -> (columnsR -> columnsW) -> (columnsR -> Column PGBool) -> String Source #

runUpdate :: Connection -> Table columnsW columnsR -> (columnsR -> columnsW) -> (columnsR -> Column PGBool) -> IO Int64 Source #

arrangeDelete :: Table a columnsR -> (columnsR -> Column PGBool) -> SqlDelete Source #

arrangeDeleteSql :: Table a columnsR -> (columnsR -> Column PGBool) -> String Source #

runDelete :: Connection -> Table a columnsR -> (columnsR -> Column PGBool) -> IO Int64 Source #

arrangeInsertReturning :: Unpackspec returned ignored -> Table columnsW columnsR -> columnsW -> (columnsR -> returned) -> Returning SqlInsert Source #

arrangeInsertReturningSql :: Unpackspec returned ignored -> Table columnsW columnsR -> columnsW -> (columnsR -> returned) -> String Source #

runInsertReturningExplicit :: QueryRunner returned haskells -> Connection -> Table columnsW columnsR -> columnsW -> (columnsR -> returned) -> IO [haskells] Source #

runInsertReturning :: Default QueryRunner returned haskells => Connection -> Table columnsW columnsR -> columnsW -> (columnsR -> returned) -> IO [haskells] Source #

runInsertReturning's use of the Default typeclass means that the compiler will have trouble inferring types. It is strongly recommended that you provide full type signatures when using runInsertReturning.

arrangeUpdateReturning :: Unpackspec returned ignored -> Table columnsW columnsR -> (columnsR -> columnsW) -> (columnsR -> Column PGBool) -> (columnsR -> returned) -> Returning SqlUpdate Source #

arrangeUpdateReturningSql :: Unpackspec returned ignored -> Table columnsW columnsR -> (columnsR -> columnsW) -> (columnsR -> Column PGBool) -> (columnsR -> returned) -> String Source #

runUpdateReturningExplicit :: QueryRunner returned haskells -> Connection -> Table columnsW columnsR -> (columnsR -> columnsW) -> (columnsR -> Column PGBool) -> (columnsR -> returned) -> IO [haskells] Source #

runUpdateReturning :: Default QueryRunner returned haskells => Connection -> Table columnsW columnsR -> (columnsR -> columnsW) -> (columnsR -> Column PGBool) -> (columnsR -> returned) -> IO [haskells] Source #

data Unpackspec columns columns' Source #

Instances

Instances details
Profunctor Unpackspec Source # 
Instance details

Defined in Opaleye.SQLite.Internal.Unpackspec

Methods

dimap :: (a -> b) -> (c -> d) -> Unpackspec b c -> Unpackspec a d #

lmap :: (a -> b) -> Unpackspec b c -> Unpackspec a c #

rmap :: (b -> c) -> Unpackspec a b -> Unpackspec a c #

(#.) :: forall a b c q. Coercible c b => q b c -> Unpackspec a b -> Unpackspec a c #

(.#) :: forall a b c q. Coercible b a => Unpackspec b c -> q a b -> Unpackspec a c #

ProductProfunctor Unpackspec Source # 
Instance details

Defined in Opaleye.SQLite.Internal.Unpackspec

Methods

purePP :: b -> Unpackspec a b #

(****) :: Unpackspec a (b -> c) -> Unpackspec a b -> Unpackspec a c #

empty :: Unpackspec () () #

(***!) :: Unpackspec a b -> Unpackspec a' b' -> Unpackspec (a, a') (b, b') #

SumProfunctor Unpackspec Source # 
Instance details

Defined in Opaleye.SQLite.Internal.Unpackspec

Methods

(+++!) :: Unpackspec a b -> Unpackspec a' b' -> Unpackspec (Either a a') (Either b b') #

Default Unpackspec (Column a) (Column a) Source # 
Instance details

Defined in Opaleye.SQLite.Internal.Unpackspec

Methods

def :: Unpackspec (Column a) (Column a) #

Functor (Unpackspec a) Source # 
Instance details

Defined in Opaleye.SQLite.Internal.Unpackspec

Methods

fmap :: (a0 -> b) -> Unpackspec a a0 -> Unpackspec a b #

(<$) :: a0 -> Unpackspec a b -> Unpackspec a a0 #

Applicative (Unpackspec a) Source # 
Instance details

Defined in Opaleye.SQLite.Internal.Unpackspec

Methods

pure :: a0 -> Unpackspec a a0 #

(<*>) :: Unpackspec a (a0 -> b) -> Unpackspec a a0 -> Unpackspec a b #

liftA2 :: (a0 -> b -> c) -> Unpackspec a a0 -> Unpackspec a b -> Unpackspec a c #

(*>) :: Unpackspec a a0 -> Unpackspec a b -> Unpackspec a b #

(<*) :: Unpackspec a a0 -> Unpackspec a b -> Unpackspec a a0 #