A default field query.

A field query.

Named version of (=:).

The '^=' constant score operator.

This is given right-fixity to reject queries like q ^= 1 ^= 2.

Named version of (^=:).

A lucene expression.

An int expression.

A float expression.

A true expression.

A false expression.

A single word. Must not contain any spaces, wildcard characters ('?' and '*'), or tildes ('~'), though this is not enforced by the type system.

Note that sometimes you may use the IsString instance for LuceneExpr TWord, but usually an explicit type signature will be required (at the interpretation site or earlier).

A single word that may contain wildcard characters ('?' and '*'), although the meaning of consecutive '*'s is probably ill-defined. Must also not contain any spaces or tildes ('~'), though this is not enforced by the type system.

A regular expression.

Note that the leading and trailing '/' must be omitted. The regex innards are not type checked in any way.

A phrase, composed of multiple (non-fuzzy) words, none of which may contain wildcard characters. Both of these properties are enforced by the type system, as long as the words themselves adhere to the word contract. The list should not be empty.

A DateTime expression. This may either be a timestamp (UTCTime), or a "truncated" DateTime such as (2015, 5, 12).

DateTime literals. DateTime expressions are constructed using the internal IsDateTime typeclass, for which there exist the following instances:

instance IsDateTime UTCTime
instance IsDateTime Year
instance IsDateTime (Year, Month)
instance IsDateTime (Year, Month, Day)
instance IsDateTime (Year, Month, Day, Hour)
instance IsDateTime (Year, Month, Day, Hour, Minute)
instance IsDateTime (Year, Month, Day, Hour, Minute, Second)
instance IsDateTime (Year, Month, Day, Hour, Minute, Second, Millisecond)

Year.

1-indexed month. Clamped to the range 1-12.

1-indexed day. Clamped to the range 1-31.

Hour. Clamped to the range 0-23.

Minute. Clamped to the range 0-59.

Second. Clamped to the range 0-60.

Millisecond. Clamped to the range 0-99.999.

The '~' operator, which fuzzes its argument (either a word or phrase) by a numeric amount.

Named version of (~:).

Short-hand for fuzzing a word by 2. This is the default behavior of a Solr '~' operator without an integer added.

fuzzy e = e ~: 2

The '^' operator, which boosts its argument.

Named version of (^:).

A range expression.

Short-hand for a greater-than range query.

gt e = excl e `to` star

Short-hand for a greater-than-or-equal-to range query.

gte e = incl e `to` star

Short-hand for a less-than range query.

 lt e = star `to` excl e

Short-hand for a less-than-or-equal-to range query.

lte e = star `to` incl e

An inclusive or exclusive expression for use in a range query, built with either incl, excl, or star.

The constructors are exported for use in interpreters.

Mark an expression as inclusive, for use in a range query.

Mark an expression as exclusive, for use in a range query.

'*' operator, signifying the minimum or maximun bound of a range.

'Intersects' spatial predicate.

'IsWithin' spatial predicate.

A shape.

A POLYGON shape.

words and phrases can fuzzed by the ~: operator.

words and phrases can be boosted by the ^: operator.

ints, floats, words, and datetimes can to range expression.

The 'df' local parameter.

The 'op=AND' local parameter.

The 'op=OR' local parameter.

This is the simplest representation of UTC. It consists of the day number, and a time offset from midnight. Note that if a day has a leap second added to it, it will have 86401 seconds.