Safe Haskell	None
Language	Haskell98

Database.RethinkDB.Datum

Synopsis

Documentation

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

Run a Parser.

data Parser a :: * -> *

A continuation-based parser type.

Instances

Alternative Parser
Monad Parser
Functor Parser
MonadPlus Parser
Applicative Parser
Monoid (Parser a)

data Result a :: * -> *

The result of running a Parser.

Constructors

Error String
Success a

Instances

Alternative Result
Monad Result
Functor Result
MonadPlus Result
Applicative Result
Eq a => Eq (Result a)
Show a => Show (Result a)
Monoid (Result a)
NFData a => NFData (Result a)
Typeable (* -> *) Result

data Datum Source

A ReQL value

Constructors

Null
Bool Bool
String Text
Number Double
Array Array
Object Object
Time ZonedTime
Point LonLat
Line GeoLine
Polygon GeoPolygon
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 Source

Minimal complete definition

Nothing

Methods

toDatum :: a -> Datum Source

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 LonLat
ToDatum Datum
ToDatum [Char]
ToDatum a => ToDatum [a]
ToDatum (Ratio Integer)
ToDatum a => ToDatum (Maybe a)
ToDatum a => ToDatum (Set a)
ToDatum a => ToDatum (Vector 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 Source

Minimal complete definition

Nothing

Methods

parseDatum :: Datum -> Parser a Source

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 LonLat
FromDatum GeoPolygon
FromDatum GeoLine
FromDatum Datum
FromDatum Frame
FromDatum Change
FromDatum WriteResponse
FromDatum a => FromDatum [a]
FromDatum (Ratio Integer)
FromDatum a => FromDatum (Maybe a)
(Ord a, FromDatum a) => FromDatum (Set a)
FromDatum a => FromDatum (Vector 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 Source

data LonLat Source

Constructors

LonLat
Fields longitude :: Double latitude :: Double

Instances

Eq LonLat
Ord LonLat
Show LonLat
ToDatum LonLat
FromDatum LonLat
Expr LonLat
Result LonLat

type Array = Vector Datum Source

type Object = HashMap Text Datum Source

newtype GeoLine Source

Constructors

GeoLine
Fields geoLinePoints :: Vector LonLat

Instances

Eq GeoLine
Ord GeoLine
FromDatum GeoLine

newtype GeoPolygon Source

Constructors

GeoPolygon
Fields geoPolygonLines :: Vector (Vector LonLat)

Instances

Eq GeoPolygon
Ord GeoPolygon
FromDatum GeoPolygon

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

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

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

encode :: ToDatum a => a -> ByteString Source

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

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

resultToMaybe :: Result a -> Maybe a Source

resultToEither :: Result a -> Either String a Source

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