Safe Haskell | None |
---|---|
Language | Haskell2010 |
- target :: HasTarget s a => Lens' s a
- assignments :: HasAssignments s a => Lens' s a
- conditions :: HasConditions s a => Lens' s a
- insert :: Text -> NonEmpty Text -> NonEmpty Text -> Insert
- columns :: HasColumns s a => Lens' s a
- values :: HasValues s a => Lens' s a
- update :: Text -> NonEmpty Text -> NonEmpty Expression -> Update
- delete :: Text -> Delete
- returning :: HasReturning s a => Lens' s a
- onConflict :: HasOnConflict s a => Lens' s a
- doNothing :: Maybe Conflict
- doUpdate :: ConflictTarget -> [Assignment] -> Maybe Conflict
- (.=) :: IsExpression exp => Name -> exp -> Assignment
- (//) :: Name -> Name -> Identifier
- select :: Select
- selectExp :: Expression -> Select
- selectFrom :: Name -> Select
- selectFunction :: Identifier -> [Expression] -> Select
- t :: BooleanExpression
- f :: BooleanExpression
- relations :: HasRelations s a => Lens' s a
- toSQL :: IsSQL a => a -> Text
- data NonEmpty a :: * -> * = a :| [a]
- fromList :: [a] -> NonEmpty a
- data Expression = Null
- data BooleanExpression
- = Not BooleanExpression
- | In Identifier Select
- (.|) :: BooleanExpression -> BooleanExpression -> BooleanExpression
- (.&) :: BooleanExpression -> BooleanExpression -> BooleanExpression
- (.!) :: BooleanExpression -> BooleanExpression
- cmp :: (IsExpression lexp, IsExpression rexp) => Text -> lexp -> rexp -> BooleanExpression
- eq :: (IsExpression lexp, IsExpression rexp) => lexp -> rexp -> BooleanExpression
- gt :: (IsExpression lexp, IsExpression rexp) => lexp -> rexp -> BooleanExpression
- lt :: (IsExpression lexp, IsExpression rexp) => lexp -> rexp -> BooleanExpression
- gte :: (IsExpression lexp, IsExpression rexp) => lexp -> rexp -> BooleanExpression
- lte :: (IsExpression lexp, IsExpression rexp) => lexp -> rexp -> BooleanExpression
- fn :: Identifier -> [Expression] -> Expression
- now :: Expression
- age :: IsExpression exp => exp -> Expression
Documentation
assignments :: HasAssignments s a => Lens' s a Source #
conditions :: HasConditions s a => Lens' s a Source #
insert :: Text -> NonEmpty Text -> NonEmpty Text -> Insert Source #
Builds an INSERT statement using a target, a non-empty list of column names and a non-empty list of values
update :: Text -> NonEmpty Text -> NonEmpty Expression -> Update Source #
Builds an UPDATE statement using a target, a non-empty list of column names and a non-empty list of values
onConflict :: HasOnConflict s a => Lens' s a Source #
doNothing :: Maybe Conflict Source #
Used for conflict resolution when we don't want the conflict to trigger any exception
doUpdate :: ConflictTarget -> [Assignment] -> Maybe Conflict Source #
Used for conflict resolution when we want the conflict to update some column
(.=) :: IsExpression exp => Name -> exp -> Assignment Source #
Assignment operator creates SQL assignments like in conflict resolution rules
(//) :: Name -> Name -> Identifier Source #
Identifier builder, takes two names and builds a qualified identifier (e.g. "information_schema"."tables")
selectExp :: Expression -> Select Source #
Builds a SELECT expression with neither FROM nor WHERE clauses
selectFrom :: Name -> Select Source #
Builds a SELECT * FROM table statement.
selectFunction :: Identifier -> [Expression] -> Select Source #
Builds a SELECT fn(parameters) with neither FROM nor WHERE clauses
t :: BooleanExpression Source #
Just a convenient way to write a BoolLiteral True
f :: BooleanExpression Source #
Just a convenient way to write a BoolLiteral False
Non-empty (and non-strict) list type.
Since: 4.9.0.0
a :| [a] infixr 5 |
Monad NonEmpty | |
Functor NonEmpty | |
MonadFix NonEmpty | |
Applicative NonEmpty | |
Foldable NonEmpty | |
Traversable NonEmpty | |
Generic1 NonEmpty | |
MonadZip NonEmpty | |
IsList (NonEmpty a) | |
Eq a => Eq (NonEmpty a) | |
Data a => Data (NonEmpty a) | |
Ord a => Ord (NonEmpty a) | |
Read a => Read (NonEmpty a) | |
Show a => Show (NonEmpty a) | |
Generic (NonEmpty a) | |
Each (NonEmpty a) (NonEmpty b) a b | |
type Rep1 NonEmpty | |
type Rep (NonEmpty a) | |
type Item (NonEmpty a) | |
fromList :: [a] -> NonEmpty a #
Converts a normal list to a NonEmpty
stream.
Raises an error if given an empty list.
data Expression Source #
data BooleanExpression Source #
Not BooleanExpression | |
In Identifier Select |
(.|) :: BooleanExpression -> BooleanExpression -> BooleanExpression Source #
Boolean OR
(.&) :: BooleanExpression -> BooleanExpression -> BooleanExpression Source #
Boolean AND
(.!) :: BooleanExpression -> BooleanExpression infixr 0 Source #
Boolean NOT
cmp :: (IsExpression lexp, IsExpression rexp) => Text -> lexp -> rexp -> BooleanExpression Source #
Builds a BooleanExpression out of an operator and 2 expressions
eq :: (IsExpression lexp, IsExpression rexp) => lexp -> rexp -> BooleanExpression Source #
Builds a equality comparison out of two expressions
gt :: (IsExpression lexp, IsExpression rexp) => lexp -> rexp -> BooleanExpression Source #
Builds a greater than comparison out of two expressions
lt :: (IsExpression lexp, IsExpression rexp) => lexp -> rexp -> BooleanExpression Source #
Builds a lesser than comparison out of two expressions
gte :: (IsExpression lexp, IsExpression rexp) => lexp -> rexp -> BooleanExpression Source #
Builds a greater than or equal comparison out of two expressions
lte :: (IsExpression lexp, IsExpression rexp) => lexp -> rexp -> BooleanExpression Source #
Builds a lesser than or equal comparison out of two expressions
fn :: Identifier -> [Expression] -> Expression Source #
Builds a function
now :: Expression Source #
Builds a now() function
age :: IsExpression exp => exp -> Expression Source #
Builds an age(t) function