Database.RethinkDB.ReQL

Building RQL queries in Haskell

Documentation

data ReQL

A ReQL Term

Constructors

ReQL

Fields

• runReQL :: State QuerySettings Term

Instances

Floating ReQL

Methods

pi :: ReQL

exp :: ReQL -> ReQL

log :: ReQL -> ReQL

sqrt :: ReQL -> ReQL

(**) :: ReQL -> ReQL -> ReQL

logBase :: ReQL -> ReQL -> ReQL

sin :: ReQL -> ReQL

cos :: ReQL -> ReQL

tan :: ReQL -> ReQL

asin :: ReQL -> ReQL

acos :: ReQL -> ReQL

atan :: ReQL -> ReQL

sinh :: ReQL -> ReQL

cosh :: ReQL -> ReQL

tanh :: ReQL -> ReQL

asinh :: ReQL -> ReQL

acosh :: ReQL -> ReQL

atanh :: ReQL -> ReQL

log1p :: ReQL -> ReQL

expm1 :: ReQL -> ReQL

log1pexp :: ReQL -> ReQL

log1mexp :: ReQL -> ReQL

Fractional ReQL

Methods

(/) :: ReQL -> ReQL -> ReQL

recip :: ReQL -> ReQL

fromRational :: Rational -> ReQL

Num ReQL

Methods

(+) :: ReQL -> ReQL -> ReQL

(-) :: ReQL -> ReQL -> ReQL

(*) :: ReQL -> ReQL -> ReQL

negate :: ReQL -> ReQL

abs :: ReQL -> ReQL

signum :: ReQL -> ReQL

fromInteger :: Integer -> ReQL

Show ReQL

Methods

showsPrec :: Int -> ReQL -> ShowS

show :: ReQL -> String

showList :: [ReQL] -> ShowS

IsString ReQL

Methods

fromString :: String -> ReQL

Expr ReQL

Methods

expr :: ReQL -> ReQL

exprList :: [ReQL] -> ReQL

OptArgs ReQL

Methods

ex :: ReQL -> [Attribute Static] -> ReQL

((~) * a ReQL, (~) * b ReQL, (~) * c ReQL, (~) * d ReQL, (~) * e ReQL) => Expr (a -> b -> c -> d -> e -> ReQL)

Methods

expr :: (a -> b -> c -> d -> e -> ReQL) -> ReQL

exprList :: [a -> b -> c -> d -> e -> ReQL] -> ReQL

((~) * a ReQL, (~) * b ReQL, (~) * c ReQL, (~) * d ReQL) => Expr (a -> b -> c -> d -> ReQL)

Methods

expr :: (a -> b -> c -> d -> ReQL) -> ReQL

exprList :: [a -> b -> c -> d -> ReQL] -> ReQL

((~) * a ReQL, (~) * b ReQL, (~) * c ReQL) => Expr (a -> b -> c -> ReQL)

Methods

expr :: (a -> b -> c -> ReQL) -> ReQL

exprList :: [a -> b -> c -> ReQL] -> ReQL

((~) * a ReQL, (~) * b ReQL) => Expr (a -> b -> ReQL)

Methods

expr :: (a -> b -> ReQL) -> ReQL

exprList :: [a -> b -> ReQL] -> ReQL

(~) * a ReQL => Expr (a -> ReQL)

Methods

expr :: (a -> ReQL) -> ReQL

exprList :: [a -> ReQL] -> ReQL

op :: Arr a => TermType -> a -> ReQL

Build a term with no optargs

op' :: Arr a => TermType -> a -> [Attribute Static] -> ReQL

Build a term

data Term

Internal representation of a ReQL Term

Constructors

Term

Fields

• termType :: TermType
• termArgs :: [Term]
• termOptArgs :: [TermAttribute]

Datum

Fields

• termDatum :: Datum

Note

Fields

• termNote :: String
• termTerm :: Term

Instances

Eq Term

Methods

(==) :: Term -> Term -> Bool

(/=) :: Term -> Term -> Bool

Show Term

Methods

showsPrec :: Int -> Term -> ShowS

show :: Term -> String

showList :: [Term] -> ShowS

Expr Term

Methods

expr :: Term -> ReQL

exprList :: [Term] -> ReQL

data TermAttribute

Constructors

TermAttribute Text Term

Instances

Eq TermAttribute

Methods

(==) :: TermAttribute -> TermAttribute -> Bool

(/=) :: TermAttribute -> TermAttribute -> Bool

Show TermAttribute

Methods

showsPrec :: Int -> TermAttribute -> ShowS

show :: TermAttribute -> String

showList :: [TermAttribute] -> ShowS

buildQuery :: ReQL -> Int64 -> Database -> [(Text, Datum)] -> (WireQuery, Term)

type Backtrace = [Frame]

convertBacktrace :: WireBacktrace -> Backtrace

data Frame

Constructors

FramePos Int

FrameOpt Text

Instances

Show Frame

Methods

showsPrec :: Int -> Frame -> ShowS

show :: Frame -> String

showList :: [Frame] -> ShowS

FromDatum Frame

Methods

parseDatum :: Datum -> Parser Frame

class Expr e where

Convert other types into ReQL expressions

Methods

expr :: e -> ReQL

expr :: ToDatum e => e -> ReQL

exprList :: [e] -> ReQL

Instances

Expr Bool

Methods

expr :: Bool -> ReQL

exprList :: [Bool] -> ReQL

Expr Char

Methods

expr :: Char -> ReQL

exprList :: [Char] -> ReQL

Expr Double

Methods

expr :: Double -> ReQL

exprList :: [Double] -> ReQL

Expr Float

Methods

expr :: Float -> ReQL

exprList :: [Float] -> ReQL

Expr Int

Methods

expr :: Int -> ReQL

exprList :: [Int] -> ReQL

Expr Int8

Methods

expr :: Int8 -> ReQL

exprList :: [Int8] -> ReQL

Expr Int16

Methods

expr :: Int16 -> ReQL

exprList :: [Int16] -> ReQL

Expr Int32

Methods

expr :: Int32 -> ReQL

exprList :: [Int32] -> ReQL

Expr Int64

Methods

expr :: Int64 -> ReQL

exprList :: [Int64] -> ReQL

Expr Integer

Methods

expr :: Integer -> ReQL

exprList :: [Integer] -> ReQL

Expr Word

Methods

expr :: Word -> ReQL

exprList :: [Word] -> ReQL

Expr Word8

Methods

expr :: Word8 -> ReQL

exprList :: [Word8] -> ReQL

Expr Word16

Methods

expr :: Word16 -> ReQL

exprList :: [Word16] -> ReQL

Expr Word32

Methods

expr :: Word32 -> ReQL

exprList :: [Word32] -> ReQL

Expr Word64

Methods

expr :: Word64 -> ReQL

exprList :: [Word64] -> ReQL

Expr ()

Methods

expr :: () -> ReQL

exprList :: [()] -> ReQL

Expr ByteString

Methods

expr :: ByteString -> ReQL

exprList :: [ByteString] -> ReQL

Expr ByteString

Methods

expr :: ByteString -> ReQL

exprList :: [ByteString] -> ReQL

Expr Text

Methods

expr :: Text -> ReQL

exprList :: [Text] -> ReQL

Expr UTCTime

Methods

expr :: UTCTime -> ReQL

exprList :: [UTCTime] -> ReQL

Expr Value

Methods

expr :: Value -> ReQL

exprList :: [Value] -> ReQL

Expr Text

Methods

expr :: Text -> ReQL

exprList :: [Text] -> ReQL

Expr ZonedTime

Methods

expr :: ZonedTime -> ReQL

exprList :: [ZonedTime] -> ReQL

Expr LonLat

Methods

expr :: LonLat -> ReQL

exprList :: [LonLat] -> ReQL

Expr Datum

Methods

expr :: Datum -> ReQL

exprList :: [Datum] -> ReQL

Expr Table

Methods

expr :: Table -> ReQL

exprList :: [Table] -> ReQL

Expr Database

Methods

expr :: Database -> ReQL

exprList :: [Database] -> ReQL

Expr ReQL

Methods

expr :: ReQL -> ReQL

exprList :: [ReQL] -> ReQL

Expr Term

Methods

expr :: Term -> ReQL

exprList :: [Term] -> ReQL

Expr Unit

Methods

expr :: Unit -> ReQL

exprList :: [Unit] -> ReQL

Expr ConflictResolution

Methods

expr :: ConflictResolution -> ReQL

exprList :: [ConflictResolution] -> ReQL

Expr Durability

Methods

expr :: Durability -> ReQL

exprList :: [Durability] -> ReQL

Expr PaginationStrategy

Methods

expr :: PaginationStrategy -> ReQL

exprList :: [PaginationStrategy] -> ReQL

Expr HttpMethod

Methods

expr :: HttpMethod -> ReQL

exprList :: [HttpMethod] -> ReQL

Expr HttpResultFormat

Methods

expr :: HttpResultFormat -> ReQL

exprList :: [HttpResultFormat] -> ReQL

Expr a => Expr [a]

Methods

expr :: [a] -> ReQL

exprList :: [[a]] -> ReQL

Expr a => Expr (Maybe a)

Methods

expr :: Maybe a -> ReQL

exprList :: [Maybe a] -> ReQL

Expr (Ratio Integer)

Methods

expr :: Ratio Integer -> ReQL

exprList :: [Ratio Integer] -> ReQL

Expr a => Expr (Set a)

Methods

expr :: Set a -> ReQL

exprList :: [Set a] -> ReQL

Expr a => Expr (Vector a)

Methods

expr :: Vector a -> ReQL

exprList :: [Vector a] -> ReQL

Expr a => Expr (Bound a)

Methods

expr :: Bound a -> ReQL

exprList :: [Bound a] -> ReQL

Expr (Attribute a)

Methods

expr :: Attribute a -> ReQL

exprList :: [Attribute a] -> ReQL

((~) * a ReQL, (~) * b ReQL, (~) * c ReQL, (~) * d ReQL, (~) * e ReQL) => Expr (a -> b -> c -> d -> e -> ReQL)

Methods

expr :: (a -> b -> c -> d -> e -> ReQL) -> ReQL

exprList :: [a -> b -> c -> d -> e -> ReQL] -> ReQL

((~) * a ReQL, (~) * b ReQL, (~) * c ReQL, (~) * d ReQL) => Expr (a -> b -> c -> d -> ReQL)

Methods

expr :: (a -> b -> c -> d -> ReQL) -> ReQL

exprList :: [a -> b -> c -> d -> ReQL] -> ReQL

((~) * a ReQL, (~) * b ReQL, (~) * c ReQL) => Expr (a -> b -> c -> ReQL)

Methods

expr :: (a -> b -> c -> ReQL) -> ReQL

exprList :: [a -> b -> c -> ReQL] -> ReQL

((~) * a ReQL, (~) * b ReQL) => Expr (a -> b -> ReQL)

Methods

expr :: (a -> b -> ReQL) -> ReQL

exprList :: [a -> b -> ReQL] -> ReQL

(~) * a ReQL => Expr (a -> ReQL)

Methods

expr :: (a -> ReQL) -> ReQL

exprList :: [a -> ReQL] -> ReQL

(Expr a, Expr b) => Expr (Either a b)

Methods

expr :: Either a b -> ReQL

exprList :: [Either a b] -> ReQL

(Expr a, Expr b) => Expr (a, b)

Methods

expr :: (a, b) -> ReQL

exprList :: [(a, b)] -> ReQL

Expr a => Expr (HashMap [Char] a)

Methods

expr :: HashMap [Char] a -> ReQL

exprList :: [HashMap [Char] a] -> ReQL

(Expr k, Expr v) => Expr (HashMap k v)

Methods

expr :: HashMap k v -> ReQL

exprList :: [HashMap k v] -> ReQL

Expr a => Expr (HashMap Text a)

Methods

expr :: HashMap Text a -> ReQL

exprList :: [HashMap Text a] -> ReQL

Expr a => Expr (Map [Char] a)

Methods

expr :: Map [Char] a -> ReQL

exprList :: [Map [Char] a] -> ReQL

Expr a => Expr (Map Text a)

Methods

expr :: Map Text a -> ReQL

exprList :: [Map Text a] -> ReQL

(Expr a, Expr b, Expr c) => Expr (a, b, c)

Methods

expr :: (a, b, c) -> ReQL

exprList :: [(a, b, c)] -> ReQL

(Expr a, Expr b, Expr c, Expr d) => Expr (a, b, c, d)

Methods

expr :: (a, b, c, d) -> ReQL

exprList :: [(a, b, c, d)] -> ReQL

(Expr a, Expr b, Expr c, Expr d, Expr e) => Expr (a, b, c, d, e)

Methods

expr :: (a, b, c, d, e) -> ReQL

exprList :: [(a, b, c, d, e)] -> ReQL

data QuerySettings

State used to build a Term

Constructors

QuerySettings

Fields

• queryToken :: Int64
• queryDefaultDatabase :: Database
• queryVarIndex :: Int
• queryReadMode :: Maybe String

Instances

Default QuerySettings

Methods

def :: QuerySettings

newVarId :: State QuerySettings Int

str :: String -> ReQL

A shortcut for inserting strings into ReQL expressions Useful when OverloadedStrings makes the type ambiguous

num :: Double -> ReQL

A shortcut for inserting numbers into ReQL expressions

data Attribute a where

A key/value pair used for building objects

Constructors

(:=) :: Expr e => Text -> e -> Attribute a infix 0

(::=) :: (Expr k, Expr v) => k -> v -> Attribute Dynamic

NoAttribute :: Attribute a

Instances

Expr (Attribute a)

Methods

expr :: Attribute a -> ReQL

exprList :: [Attribute a] -> ReQL

data Static

data Dynamic

type OptArg = Attribute Static

class OptArgs a where

An operation that accepts optional arguments

Minimal complete definition

ex

Methods

ex :: a -> [Attribute Static] -> a

Extend an operation with optional arguments

Instances

OptArgs ReQL

Methods

ex :: ReQL -> [Attribute Static] -> ReQL

OptArgs b => OptArgs (a -> b)

Methods

ex :: (a -> b) -> [Attribute Static] -> a -> b

cons :: Expr e => e -> ArgList -> ArgList

baseArray :: ArgList -> State QuerySettings [Term]

withQuerySettings :: (QuerySettings -> ReQL) -> ReQL

reqlToDatum :: ReQL -> Datum

data Bound a

An upper or lower bound for between and during

Constructors

Open

An inclusive bound

Fields

• getBound :: a

Closed

An exclusive bound

Fields

• getBound :: a

DefaultBound

Fields

• getBound :: a

MinVal

MaxVal

Instances

Functor Bound

Methods

fmap :: (a -> b) -> Bound a -> Bound b

(<$) :: a -> Bound b -> Bound a

Num a => Num (Bound a)

Methods

(+) :: Bound a -> Bound a -> Bound a

(-) :: Bound a -> Bound a -> Bound a

(*) :: Bound a -> Bound a -> Bound a

negate :: Bound a -> Bound a

abs :: Bound a -> Bound a

signum :: Bound a -> Bound a

fromInteger :: Integer -> Bound a

Expr a => Expr (Bound a)

Methods

expr :: Bound a -> ReQL

exprList :: [Bound a] -> ReQL

closedOrOpen :: Bound a -> Maybe Text

datumTerm :: ToDatum a => a -> ReQL

empty :: ReQL

An empty object

newtype WireQuery

Constructors

WireQuery

Fields

• queryJSON :: Datum

Instances

Show WireQuery

Methods

showsPrec :: Int -> WireQuery -> ShowS

show :: WireQuery -> String

showList :: [WireQuery] -> ShowS

newtype WireBacktrace

Constructors

WireBacktrace

Fields

• backtraceJSON :: Datum

note :: String -> ReQL -> ReQL

Add a note a a ReQL Term

This note does not get sent to the server. It is used to annotate backtraces and help debugging.

(?:=) :: Expr e => Text -> Maybe e -> Attribute a

class Arr a where

Build arrays of exprs

Minimal complete definition

arr

Methods

arr :: a -> ArgList

Instances

Arr ()

Methods

arr :: () -> ArgList

Expr a => Arr [a]

Methods

arr :: [a] -> ArgList

(Expr a, Expr b) => Arr (a, b)

Methods

arr :: (a, b) -> ArgList

(Expr a, Expr b, Expr c) => Arr (a, b, c)

Methods

arr :: (a, b, c) -> ArgList

(Expr a, Expr b, Expr c, Expr d) => Arr (a, b, c, d)

Methods

arr :: (a, b, c, d) -> ArgList

minval :: Bound a

maxval :: Bound a