Safe Haskell | None |
---|---|
Language | Haskell98 |
- parse :: (a -> Parser b) -> a -> Result b
- data Parser a :: * -> *
- data Result a :: * -> *
- data Datum
- class ToDatum a where
- class FromDatum a where
- parseDatum :: Datum -> Parser a
- fromDatum :: FromDatum a => Datum -> Result a
- data LonLat = LonLat {}
- type Array = Vector Datum
- type Object = HashMap Text Datum
- newtype GeoLine = GeoLine {}
- newtype GeoPolygon = GeoPolygon {}
- (.=) :: 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
Documentation
data Parser a :: * -> *
A continuation-based parser type.
A ReQL value
Nothing
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
Nothing
parseDatum :: Datum -> Parser a Source
newtype GeoPolygon 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