Database.RethinkDB.Datum

Documentation

parse :: (a -> Parser b) -> a -> Result b

Run a Parser.

data Parser a

A continuation-based parser type.

Instances

Monad Parser

Functor Parser

MonadPlus Parser

Applicative Parser

Alternative Parser

Monoid (Parser a)

data Result a

The result of running a Parser.

Constructors

Error String

Success a

Instances

Monad Result

Functor Result

Typeable1 Result

MonadPlus Result

Applicative Result

Alternative Result

Eq a => Eq (Result a)

Show a => Show (Result a)

Monoid (Result a)

NFData a => NFData (Result a)

data Datum

A ReQL value

Constructors

Null

Bool Bool

String Text

Number Double

Array Array

Object Object

Time ZonedTime

Point LonLat

Line Line

Polygon Polygon

Binary ByteString

Instances

Eq Datum

Ord Datum

Show Datum

ToJSON Datum

FromJSON Datum

ToDatum Datum

FromDatum Datum

Expr Datum

Result Datum

class ToDatum a where

Methods

toDatum :: a -> Datum

Instances

ToDatum Bool

ToDatum Char

ToDatum Double

ToDatum Float

ToDatum Int

ToDatum Int8

ToDatum Int16

ToDatum Int32

ToDatum Int64

ToDatum Integer

ToDatum Word

ToDatum Word8

ToDatum Word16

ToDatum Word32

ToDatum Word64

ToDatum ()

ToDatum ByteString

ToDatum ByteString

ToDatum Text

ToDatum UTCTime

ToDatum Value

ToDatum Text

ToDatum ZonedTime

ToDatum Datum

ToDatum [Char]

ToDatum a => ToDatum [a]

ToDatum (Ratio Integer)

ToDatum a => ToDatum (Maybe a)

ToDatum a => ToDatum (Vector a)

ToDatum a => ToDatum (Set a)

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

(ToDatum a, ToDatum b) => ToDatum (a, b)

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

ToDatum a => ToDatum (HashMap Text a)

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

ToDatum a => ToDatum (Map Text a)

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

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

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

class FromDatum a where

Methods

parseDatum :: Datum -> Parser a

Instances

FromDatum Bool

FromDatum Char

FromDatum Double

FromDatum Float

FromDatum Int

FromDatum Int8

FromDatum Int16

FromDatum Int32

FromDatum Int64

FromDatum Integer

FromDatum Word

FromDatum Word8

FromDatum Word16

FromDatum Word32

FromDatum Word64

FromDatum String

FromDatum ()

FromDatum ByteString

FromDatum ByteString

FromDatum Text

FromDatum UTCTime

FromDatum Value

FromDatum Text

FromDatum ZonedTime

FromDatum Datum

FromDatum Frame

FromDatum Change

FromDatum WriteResponse

FromDatum a => FromDatum [a]

FromDatum (Ratio Integer)

FromDatum a => FromDatum (Maybe a)

FromDatum a => FromDatum (Vector a)

(Ord a, FromDatum a) => FromDatum (Set a)

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

(FromDatum a, FromDatum b) => FromDatum (a, b)

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

FromDatum a => FromDatum (HashMap Text a)

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

FromDatum a => FromDatum (Map Text a)

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

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

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

fromDatum :: FromDatum a => Datum -> Result a

data LonLat

Constructors

LonLat

Fields

longitude :: Double

latitude :: Double

Instances

Eq LonLat

Ord LonLat

Show LonLat

ToJSON LonLat

FromJSON LonLat

type Array = Vector Datum

type Object = HashMap Text Datum

type Line = Vector LonLat

type Polygon = Vector (Vector LonLat)

(.=) :: ToDatum a => Text -> a -> (Text, Datum)

(.:) :: FromDatum a => HashMap Text Datum -> Text -> Parser a

(.:?) :: FromDatum a => HashMap Text Datum -> Text -> Parser (Maybe a)

encode :: ToDatum a => a -> ByteString

decode :: FromDatum a => ByteString -> Maybe a

eitherDecode :: FromDatum a => ByteString -> Either String a

resultToMaybe :: Result a -> Maybe a

resultToEither :: Result a -> Either String a

object :: [(Text, Datum)] -> Datum