| Copyright | (c) digitally induced GmbH 2020 |
|---|---|
| Safe Haskell | None |
| Language | GHC2021 |
IHP.QueryBuilder.Filter
Description
This module provides all the filterWhere* functions for building WHERE clauses.
Synopsis
- filterWhere :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, EqOrIsOperator value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table
- filterWhereCaseInsensitive :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, EqOrIsOperator value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table
- filterWhereNot :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, EqOrIsOperator value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table
- filterWhereIn :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder [value], DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, EqOrIsOperator value, Table model) => (Proxy name, [value]) -> QueryBuilder table -> QueryBuilder table
- filterWhereInCaseInsensitive :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, EqOrIsOperator value, Table model) => (Proxy name, [Text]) -> QueryBuilder table -> QueryBuilder table
- filterWhereIdIn :: forall (table :: Symbol) model. (KnownSymbol table, Table model, model ~ GetModelByTableName table, DefaultParamEncoder [PrimaryKey (GetTableName model)]) => [Id model] -> QueryBuilder table -> QueryBuilder table
- filterWhereNotIn :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder [value], DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, EqOrIsOperator value) => (Proxy name, [value]) -> QueryBuilder table -> QueryBuilder table
- filterWhereLike :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table
- filterWhereILike :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table
- filterWhereMatches :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, table ~ GetTableName model, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table
- filterWhereIMatches :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table
- filterWherePast :: forall (table :: Symbol) (name :: Symbol) value. (KnownSymbol table, KnownSymbol name, HasField name (GetModelByTableName table) value, Table (GetModelByTableName table)) => Proxy name -> QueryBuilder table -> QueryBuilder table
- filterWhereFuture :: forall (table :: Symbol) (name :: Symbol) value. (KnownSymbol table, KnownSymbol name, HasField name (GetModelByTableName table) value, Table (GetModelByTableName table)) => Proxy name -> QueryBuilder table -> QueryBuilder table
- filterWhereGreaterThan :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table
- filterWhereLarger :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table
- filterWhereGreaterThanOrEqualTo :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table
- filterWhereAtLeast :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table
- filterWhereLessThan :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table
- filterWhereSmaller :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table
- filterWhereLessThanOrEqualTo :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table
- filterWhereAtMost :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table
- filterWhereSql :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, Text) -> QueryBuilder table -> QueryBuilder table
Documentation
filterWhere :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, EqOrIsOperator value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table Source #
Adds a simple WHERE x = y condition to the query.
Example: Only show projects where active is True.
activeProjects <- query @Project
|> filterWhere (#active, True)
|> fetch
-- SELECT * FROM projects WHERE active = TrueExample: Find book with title Learn you a Haskell.
book <- query @Book
|> filterWhere (#title, "Learn you a Haskell")
|> fetchOne
-- SELECT * FROM books WHERE name = 'Learn you a Haskell' LIMIT 1Example: Find active projects owned by the current user.
projects <- query @Project
|> filterWhere (#active, True)
|> filterWhere (#currentUserId, currentUserId)
|> fetch
-- SELECT * FROM projects WHERE active = true AND current_user_id = '..'For dynamic conditions (e.g. involving NOW()), see filterWhereSql.
For WHERE x IN (a, b, c) conditions, take a look at filterWhereIn and filterWhereNotIn.
For WHERE x LIKE a or WHERE x ~ a conditions, see filterWhereLike and filterWhereMatches respectively.
For case-insensitive versions of these operators, see filterWhereILike and filterWhereIMatches.
When your condition is too complex, use a raw sql query with sqlQuery.
filterWhereCaseInsensitive :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, EqOrIsOperator value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table Source #
Adds a WHERE LOWER(x) = LOWER(y) condition to the query.
Example: Get a user by an email address, ignoring case
user <- query @User
|> filterWhereCaseInsensitive (#email, "marc@digitallyinduced.com")
|> fetchOne
-- SELECT * FROM users WHERE LOWER(email) = 'marc@digitallyinduced.com'For high performance it's best to have an index for LOWER(field) in your Schema.sql
>>>CREATE UNIQUE INDEX users_email_index ON users ((LOWER(email)));
filterWhereNot :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, EqOrIsOperator value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table Source #
Like filterWhere but negates the condition.
Example: Only show projects created by other users.
activeProjects <- query @Project
|> filterWhereNot (#userId, currentUserId)
|> fetch
-- SELECT * FROM projects WHERE user_id != '23d5ea33-b28e-4f0a-99b3-77a3564a2546'filterWhereIn :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder [value], DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, EqOrIsOperator value, Table model) => (Proxy name, [value]) -> QueryBuilder table -> QueryBuilder table Source #
Adds a WHERE x IN (y) condition to the query.
Example: Only show projects where status is Draft or Active.
visibleProjects <- query @Project
|> filterWhereIn (#status, [Draft, Active])
|> fetch
-- SELECT * FROM projects WHERE status IN ('draft', 'active')For negation use filterWhereNotIn
filterWhereInCaseInsensitive :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, EqOrIsOperator value, Table model) => (Proxy name, [Text]) -> QueryBuilder table -> QueryBuilder table Source #
filterWhereIdIn :: forall (table :: Symbol) model. (KnownSymbol table, Table model, model ~ GetModelByTableName table, DefaultParamEncoder [PrimaryKey (GetTableName model)]) => [Id model] -> QueryBuilder table -> QueryBuilder table Source #
filterWhereNotIn :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder [value], DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, EqOrIsOperator value) => (Proxy name, [value]) -> QueryBuilder table -> QueryBuilder table Source #
Adds a WHERE x NOT IN (y) condition to the query.
Example: Only show projects where status is not Archived
visibleProjects <- query @Project
|> filterWhereNotIn (#status, [Archived])
|> fetch
-- SELECT * FROM projects WHERE status NOT IN ('archived')The inclusive version of this function is called filterWhereIn.
filterWhereLike :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table Source #
Adds a WHERE x LIKE y condition to the query.
Example: Find titles matching search term.
articles <- query @Article
|> filterWhereLike (#title, "%" <> searchTerm <> "%")
|> fetch
-- SELECT * FROM articles WHERE title LIKE '%..%'filterWhereILike :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table Source #
Adds a WHERE x ILIKE y condition to the query. Case-insensitive version of filterWhereLike.
Example: Find titles matching search term.
articles <- query @Article
|> filterWhereILike (#title, "%" <> searchTerm <> "%")
|> fetch
-- SELECT * FROM articles WHERE title ILIKE '%..%'filterWhereMatches :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, table ~ GetTableName model, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table Source #
Adds a WHERE x ~ y condition to the query.
Example: Find names with titles in front.
articles <- query @User
|> filterWhereMatches (#name, "^(M(rs|r|iss)|Dr|Sir). ")
|> fetch
-- SELECT * FROM articles WHERE title ~ '^(M(rs|r|iss)|Dr|Sir). 'filterWhereIMatches :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table Source #
Adds a WHERE x ~* y condition to the query. Case-insensitive version of filterWhereMatches.
filterWherePast :: forall (table :: Symbol) (name :: Symbol) value. (KnownSymbol table, KnownSymbol name, HasField name (GetModelByTableName table) value, Table (GetModelByTableName table)) => Proxy name -> QueryBuilder table -> QueryBuilder table Source #
Filter all rows by whether a field is in the past, determined by comparing 'NOW()' to the field's value.
Opposite of filterWhereFuture
Example: Fetch all posts scheduled for the past.
publicPosts <- query @Post
|> filterWherePast #scheduledAt
|> fetch
-- SELECT * FROM posts WHERE scheduled_at <= NOW()filterWhereFuture :: forall (table :: Symbol) (name :: Symbol) value. (KnownSymbol table, KnownSymbol name, HasField name (GetModelByTableName table) value, Table (GetModelByTableName table)) => Proxy name -> QueryBuilder table -> QueryBuilder table Source #
Filter all rows by whether a field is in the future, determined by comparing 'NOW()' to the field's value.
Opposite of filterWherePast
Example: Fetch all posts scheduled for the future.
hiddenPosts <- query @Post
|> filterWhereFuture #scheduledAt
|> fetch
-- SELECT * FROM posts WHERE scheduled_at > NOW()filterWhereGreaterThan :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table Source #
Adds a WHERE x > y condition to the query.
Example: Find assignments with grade greater than 80.
greatAssignments <- query @Assignment
|> filterWhereGreaterThan (#grade, 80)
|> fetch
-- SELECT * FROM assignments WHERE grade > 80See also: filterWhereLarger, filterWhereGreaterThanOrEqualTo, filterWhereAtLeast
filterWhereLarger :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table Source #
Alias for filterWhereGreaterThan. Adds a WHERE x > y condition to the query.
Example: Find assignments with grade larger than 80.
greatAssignments <- query @Assignment
|> filterWhereLarger (#grade, 80)
|> fetch
-- SELECT * FROM assignments WHERE grade > 80filterWhereGreaterThanOrEqualTo :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table Source #
Adds a WHERE x >= y condition to the query.
Example: Find assignments with grade at least 80.
greatAssignments <- query @Assignment
|> filterWhereGreaterThanOrEqualTo (#grade, 80)
|> fetch
-- SELECT * FROM assignments WHERE grade >= 80See also: filterWhereAtLeast, filterWhereGreaterThan, filterWhereLarger
filterWhereAtLeast :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table Source #
Alias for filterWhereGreaterThanOrEqualTo. Adds a WHERE x >= y condition to the query.
Example: Find assignments with grade at least 80.
greatAssignments <- query @Assignment
|> filterWhereAtLeast (#grade, 80)
|> fetch
-- SELECT * FROM assignments WHERE grade >= 80filterWhereLessThan :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table Source #
Adds a WHERE x < y condition to the query.
Example: Find assignments with grade less than 60.
poorAssignments <- query @Assignment
|> filterWhereLessThan (#grade, 60)
|> fetch
-- SELECT * FROM assignments WHERE grade < 60See also: filterWhereSmaller, filterWhereLessThanOrEqualTo, filterWhereAtMost
filterWhereSmaller :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table Source #
Alias for filterWhereLessThan. Adds a WHERE x < y condition to the query.
Example: Find assignments with grade smaller than 60.
poorAssignments <- query @Assignment
|> filterWhereSmaller (#grade, 60)
|> fetch
-- SELECT * FROM assignments WHERE grade < 60filterWhereLessThanOrEqualTo :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table Source #
Adds a WHERE x <= y condition to the query.
Example: Find assignments with grade at most 60.
poorAssignments <- query @Assignment
|> filterWhereLessThanOrEqualTo (#grade, 60)
|> fetch
-- SELECT * FROM assignments WHERE grade <= 60See also: filterWhereAtMost, filterWhereLessThan, filterWhereSmaller
filterWhereAtMost :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, DefaultParamEncoder value, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, value) -> QueryBuilder table -> QueryBuilder table Source #
Alias for filterWhereLessThanOrEqualTo. Adds a WHERE x <= y condition to the query.
Example: Find assignments with grade at most 60.
poorAssignments <- query @Assignment
|> filterWhereAtMost (#grade, 60)
|> fetch
-- SELECT * FROM assignments WHERE grade <= 60filterWhereSql :: forall (name :: Symbol) (table :: Symbol) model value. (KnownSymbol table, KnownSymbol name, HasField name model value, model ~ GetModelByTableName table, Table model) => (Proxy name, Text) -> QueryBuilder table -> QueryBuilder table Source #
Allows to add a custom raw sql where condition
If your query cannot be represented with filterWhereSql, take a look at sqlQuery.
Example: Fetching all projects created in the last 24 hours.
latestProjects <- query @Project
|> filterWhereSql (#startedAt, "< current_timestamp - interval '1 day'")
|> fetch
-- SELECT * FROM projects WHERE started_at < current_timestamp - interval '1 day'