SearchBuilder Term
SearchBuilder MailOp
SearchBuilder (BooleanF Builder)
(Functor f, SearchBuilder a, SearchBuilder (f Builder)) => SearchBuilder (Free f a)	`SearchBuilder` for `Free`!

Primitive Terms

data Term Source

Fuzzy terms are grouped with parentheses (if necessary), while Exact terms are always “double-quoted”. The IsString instance defaults to Fuzzy, so a "literal string" ∷ Term may be used.

Constructors

Fuzzy Text
Exact Text

Instances

Show Term
IsString Term
SearchBuilder Term

data BooleanF e Source

The shape of Boolean expressions.

Constructors

Not e
And [e]
Or [e]

Instances

Functor BooleanF
Show e => Show (BooleanF e)
IsString a => IsString (BooleanM a)
SearchBuilder (BooleanF Builder)

type BooleanM = Free BooleanF Source

The free Boolean-shaped monad: comes with an IsString instance so we can write "simple queries" :: Simple. No refunds.

type Simple = BooleanM Term Source

Simple Boolean combinations of Terms.

fAnd :: [BooleanM a] -> BooleanM aSource

Conjunction on a list of BooleanM expressions.

fOr :: [BooleanM a] -> BooleanM aSource

Disjunction on a list of BooleanM expressions.

fNot :: BooleanM a -> BooleanM aSource

Negation of a BooleanM expression.