Data.Bson

A BSON document is a JSON-like object with a standard binary encoding defined at bsonspec.org. This implements version 1.0 of that spec.

Use the GHC language extension OverloadedStrings to automatically convert String literals to Text

Document

type Document = [Field]

A BSON document is a list of Fields

(!?) :: Val a => Document -> Label -> Maybe a

Recursively lookup a nested field in a Document.

look :: MonadFail m => Label -> Document -> m Value

Value of field in document, or fail (Nothing) if field not found

lookup :: (Val v, MonadFail m) => Label -> Document -> m v

Lookup value of field in document and cast to expected type. Fail (Nothing) if field not found or value not of expected type.

valueAt :: Label -> Document -> Value

Value of field in document. Error if missing.

at :: Val v => Label -> Document -> v

Typed value of field in document. Error if missing or wrong type.

include :: [Label] -> Document -> Document

Only include fields of document in label list

exclude :: [Label] -> Document -> Document

Exclude fields from document in label list

merge :: Document -> Document -> Document

Merge documents with preference given to first one when both have the same label. I.e. for every (k := v) in first argument, if k exists in second argument then replace its value with v, otherwise add (k := v) to second argument.

Field

data Field

A BSON field is a named value, where the name (label) is a string and the value is a BSON Value

Constructors

(:=) infix 0

Fields

• label :: !Label
• value :: Value

Instances

Eq Field

Defined in Data.Bson

Methods

(==) :: Field -> Field -> Bool

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

Ord Field

Defined in Data.Bson

Methods

compare :: Field -> Field -> Ordering

(<) :: Field -> Field -> Bool

(<=) :: Field -> Field -> Bool

(>) :: Field -> Field -> Bool

(>=) :: Field -> Field -> Bool

max :: Field -> Field -> Field

min :: Field -> Field -> Field

Show Field

Defined in Data.Bson

Methods

showsPrec :: Int -> Field -> ShowS

show :: Field -> String

showList :: [Field] -> ShowS

Val Field

Defined in Data.Bson

Methods

val :: Field -> Value

valList :: [Field] -> Value

valMaybe :: Maybe Field -> Value

cast' :: Value -> Maybe Field

cast'List :: Value -> Maybe [Field]

cast'Maybe :: Value -> Maybe (Maybe Field)

(=:) :: Val v => Label -> v -> Field infix 0

Field with given label and typed value

(=?) :: Val a => Label -> Maybe a -> Document infix 0

If Just value then return one field document, otherwise return empty document

type Label = Text

The name of a BSON field

Value

data Value

A BSON value is one of the following types of values

Constructors

Float Double

String Text

Doc Document

Array [Value]

Bin Binary

Fun Function

Uuid UUID

Md5 MD5

UserDef UserDefined

ObjId ObjectId

Bool Bool

UTC UTCTime

Null

RegEx Regex

JavaScr Javascript

Sym Symbol

Int32 Int32

Int64 Int64

Stamp MongoStamp

MinMax MinMaxKey

Instances

Eq Value

Defined in Data.Bson

Methods

(==) :: Value -> Value -> Bool

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

Ord Value

Defined in Data.Bson

Methods

compare :: Value -> Value -> Ordering

(<) :: Value -> Value -> Bool

(<=) :: Value -> Value -> Bool

(>) :: Value -> Value -> Bool

(>=) :: Value -> Value -> Bool

max :: Value -> Value -> Value

min :: Value -> Value -> Value

Show Value

Defined in Data.Bson

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

Val Value

Defined in Data.Bson

Methods

val :: Value -> Value

valList :: [Value] -> Value

valMaybe :: Maybe Value -> Value

cast' :: Value -> Maybe Value

cast'List :: Value -> Maybe [Value]

cast'Maybe :: Value -> Maybe (Maybe Value)

class (Typeable a, Show a, Eq a) => Val a where

Haskell types of this class correspond to BSON value types

Minimal complete definition

val, cast'

Methods

val :: a -> Value

valList :: [a] -> Value

valMaybe :: Maybe a -> Value

cast' :: Value -> Maybe a

cast'List :: Value -> Maybe [a]

cast'Maybe :: Value -> Maybe (Maybe a)

Instances

Val Bool

Defined in Data.Bson

Methods

val :: Bool -> Value

valList :: [Bool] -> Value

valMaybe :: Maybe Bool -> Value

cast' :: Value -> Maybe Bool

cast'List :: Value -> Maybe [Bool]

cast'Maybe :: Value -> Maybe (Maybe Bool)

Val Char

Defined in Data.Bson

Methods

val :: Char -> Value

valList :: [Char] -> Value

valMaybe :: Maybe Char -> Value

cast' :: Value -> Maybe Char

cast'List :: Value -> Maybe [Char]

cast'Maybe :: Value -> Maybe (Maybe Char)

Val Double

Defined in Data.Bson

Methods

val :: Double -> Value

valList :: [Double] -> Value

valMaybe :: Maybe Double -> Value

cast' :: Value -> Maybe Double

cast'List :: Value -> Maybe [Double]

cast'Maybe :: Value -> Maybe (Maybe Double)

Val Float

Defined in Data.Bson

Methods

val :: Float -> Value

valList :: [Float] -> Value

valMaybe :: Maybe Float -> Value

cast' :: Value -> Maybe Float

cast'List :: Value -> Maybe [Float]

cast'Maybe :: Value -> Maybe (Maybe Float)

Val Int

Defined in Data.Bson

Methods

val :: Int -> Value

valList :: [Int] -> Value

valMaybe :: Maybe Int -> Value

cast' :: Value -> Maybe Int

cast'List :: Value -> Maybe [Int]

cast'Maybe :: Value -> Maybe (Maybe Int)

Val Int32

Defined in Data.Bson

Methods

val :: Int32 -> Value

valList :: [Int32] -> Value

valMaybe :: Maybe Int32 -> Value

cast' :: Value -> Maybe Int32

cast'List :: Value -> Maybe [Int32]

cast'Maybe :: Value -> Maybe (Maybe Int32)

Val Int64

Defined in Data.Bson

Methods

val :: Int64 -> Value

valList :: [Int64] -> Value

valMaybe :: Maybe Int64 -> Value

cast' :: Value -> Maybe Int64

cast'List :: Value -> Maybe [Int64]

cast'Maybe :: Value -> Maybe (Maybe Int64)

Val Integer

Defined in Data.Bson

Methods

val :: Integer -> Value

valList :: [Integer] -> Value

valMaybe :: Maybe Integer -> Value

cast' :: Value -> Maybe Integer

cast'List :: Value -> Maybe [Integer]

cast'Maybe :: Value -> Maybe (Maybe Integer)

Val Text

Defined in Data.Bson

Methods

val :: Text -> Value

valList :: [Text] -> Value

valMaybe :: Maybe Text -> Value

cast' :: Value -> Maybe Text

cast'List :: Value -> Maybe [Text]

cast'Maybe :: Value -> Maybe (Maybe Text)

Val UTCTime

Defined in Data.Bson

Methods

val :: UTCTime -> Value

valList :: [UTCTime] -> Value

valMaybe :: Maybe UTCTime -> Value

cast' :: Value -> Maybe UTCTime

cast'List :: Value -> Maybe [UTCTime]

cast'Maybe :: Value -> Maybe (Maybe UTCTime)

Val POSIXTime

Defined in Data.Bson

Methods

val :: POSIXTime -> Value

valList :: [POSIXTime] -> Value

valMaybe :: Maybe POSIXTime -> Value

cast' :: Value -> Maybe POSIXTime

cast'List :: Value -> Maybe [POSIXTime]

cast'Maybe :: Value -> Maybe (Maybe POSIXTime)

Val ObjectId

Defined in Data.Bson

Methods

val :: ObjectId -> Value

valList :: [ObjectId] -> Value

valMaybe :: Maybe ObjectId -> Value

cast' :: Value -> Maybe ObjectId

cast'List :: Value -> Maybe [ObjectId]

cast'Maybe :: Value -> Maybe (Maybe ObjectId)

Val MinMaxKey

Defined in Data.Bson

Methods

val :: MinMaxKey -> Value

valList :: [MinMaxKey] -> Value

valMaybe :: Maybe MinMaxKey -> Value

cast' :: Value -> Maybe MinMaxKey

cast'List :: Value -> Maybe [MinMaxKey]

cast'Maybe :: Value -> Maybe (Maybe MinMaxKey)

Val MongoStamp

Defined in Data.Bson

Methods

val :: MongoStamp -> Value

valList :: [MongoStamp] -> Value

valMaybe :: Maybe MongoStamp -> Value

cast' :: Value -> Maybe MongoStamp

cast'List :: Value -> Maybe [MongoStamp]

cast'Maybe :: Value -> Maybe (Maybe MongoStamp)

Val Symbol

Defined in Data.Bson

Methods

val :: Symbol -> Value

valList :: [Symbol] -> Value

valMaybe :: Maybe Symbol -> Value

cast' :: Value -> Maybe Symbol

cast'List :: Value -> Maybe [Symbol]

cast'Maybe :: Value -> Maybe (Maybe Symbol)

Val Javascript

Defined in Data.Bson

Methods

val :: Javascript -> Value

valList :: [Javascript] -> Value

valMaybe :: Maybe Javascript -> Value

cast' :: Value -> Maybe Javascript

cast'List :: Value -> Maybe [Javascript]

cast'Maybe :: Value -> Maybe (Maybe Javascript)

Val Regex

Defined in Data.Bson

Methods

val :: Regex -> Value

valList :: [Regex] -> Value

valMaybe :: Maybe Regex -> Value

cast' :: Value -> Maybe Regex

cast'List :: Value -> Maybe [Regex]

cast'Maybe :: Value -> Maybe (Maybe Regex)

Val UserDefined

Defined in Data.Bson

Methods

val :: UserDefined -> Value

valList :: [UserDefined] -> Value

valMaybe :: Maybe UserDefined -> Value

cast' :: Value -> Maybe UserDefined

cast'List :: Value -> Maybe [UserDefined]

cast'Maybe :: Value -> Maybe (Maybe UserDefined)

Val MD5

Defined in Data.Bson

Methods

val :: MD5 -> Value

valList :: [MD5] -> Value

valMaybe :: Maybe MD5 -> Value

cast' :: Value -> Maybe MD5

cast'List :: Value -> Maybe [MD5]

cast'Maybe :: Value -> Maybe (Maybe MD5)

Val UUID

Defined in Data.Bson

Methods

val :: UUID -> Value

valList :: [UUID] -> Value

valMaybe :: Maybe UUID -> Value

cast' :: Value -> Maybe UUID

cast'List :: Value -> Maybe [UUID]

cast'Maybe :: Value -> Maybe (Maybe UUID)

Val Function

Defined in Data.Bson

Methods

val :: Function -> Value

valList :: [Function] -> Value

valMaybe :: Maybe Function -> Value

cast' :: Value -> Maybe Function

cast'List :: Value -> Maybe [Function]

cast'Maybe :: Value -> Maybe (Maybe Function)

Val Binary

Defined in Data.Bson

Methods

val :: Binary -> Value

valList :: [Binary] -> Value

valMaybe :: Maybe Binary -> Value

cast' :: Value -> Maybe Binary

cast'List :: Value -> Maybe [Binary]

cast'Maybe :: Value -> Maybe (Maybe Binary)

Val Value

Defined in Data.Bson

Methods

val :: Value -> Value

valList :: [Value] -> Value

valMaybe :: Maybe Value -> Value

cast' :: Value -> Maybe Value

cast'List :: Value -> Maybe [Value]

cast'Maybe :: Value -> Maybe (Maybe Value)

Val Field

Defined in Data.Bson

Methods

val :: Field -> Value

valList :: [Field] -> Value

valMaybe :: Maybe Field -> Value

cast' :: Value -> Maybe Field

cast'List :: Value -> Maybe [Field]

cast'Maybe :: Value -> Maybe (Maybe Field)

Val a => Val [a]

Defined in Data.Bson

Methods

val :: [a] -> Value

valList :: [[a]] -> Value

valMaybe :: Maybe [a] -> Value

cast' :: Value -> Maybe [a]

cast'List :: Value -> Maybe [[a]]

cast'Maybe :: Value -> Maybe (Maybe [a])

Val a => Val (Maybe a)

Defined in Data.Bson

Methods

val :: Maybe a -> Value

valList :: [Maybe a] -> Value

valMaybe :: Maybe (Maybe a) -> Value

cast' :: Value -> Maybe (Maybe a)

cast'List :: Value -> Maybe [Maybe a]

cast'Maybe :: Value -> Maybe (Maybe (Maybe a))

fval :: (forall a. Val a => a -> b) -> Value -> b

Apply generic function to typed value

cast :: (Val a, MonadFail m) => Value -> m a

Convert Value to expected type, or fail (Nothing) if not of that type

typed :: Val a => Value -> a

Convert Value to expected type. Error if not that type.

typeOfVal :: Value -> TypeRep

Type of typed value

Special Bson value types

newtype Binary

Constructors

Binary ByteString

Instances

Eq Binary

Defined in Data.Bson

Methods

(==) :: Binary -> Binary -> Bool

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

Ord Binary

Defined in Data.Bson

Methods

compare :: Binary -> Binary -> Ordering

(<) :: Binary -> Binary -> Bool

(<=) :: Binary -> Binary -> Bool

(>) :: Binary -> Binary -> Bool

(>=) :: Binary -> Binary -> Bool

max :: Binary -> Binary -> Binary

min :: Binary -> Binary -> Binary

Read Binary

Defined in Data.Bson

Methods

readsPrec :: Int -> ReadS Binary

readList :: ReadS [Binary]

readPrec :: ReadPrec Binary

readListPrec :: ReadPrec [Binary]

Show Binary

Defined in Data.Bson

Methods

showsPrec :: Int -> Binary -> ShowS

show :: Binary -> String

showList :: [Binary] -> ShowS

Val Binary

Defined in Data.Bson

Methods

val :: Binary -> Value

valList :: [Binary] -> Value

valMaybe :: Maybe Binary -> Value

cast' :: Value -> Maybe Binary

cast'List :: Value -> Maybe [Binary]

cast'Maybe :: Value -> Maybe (Maybe Binary)

newtype Function

Constructors

Function ByteString

Instances

Eq Function

Defined in Data.Bson

Methods

(==) :: Function -> Function -> Bool

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

Ord Function

Defined in Data.Bson

Methods

compare :: Function -> Function -> Ordering

(<) :: Function -> Function -> Bool

(<=) :: Function -> Function -> Bool

(>) :: Function -> Function -> Bool

(>=) :: Function -> Function -> Bool

max :: Function -> Function -> Function

min :: Function -> Function -> Function

Read Function

Defined in Data.Bson

Methods

readsPrec :: Int -> ReadS Function

readList :: ReadS [Function]

readPrec :: ReadPrec Function

readListPrec :: ReadPrec [Function]

Show Function

Defined in Data.Bson

Methods

showsPrec :: Int -> Function -> ShowS

show :: Function -> String

showList :: [Function] -> ShowS

Val Function

Defined in Data.Bson

Methods

val :: Function -> Value

valList :: [Function] -> Value

valMaybe :: Maybe Function -> Value

cast' :: Value -> Maybe Function

cast'List :: Value -> Maybe [Function]

cast'Maybe :: Value -> Maybe (Maybe Function)

newtype UUID

Constructors

UUID ByteString

Instances

Eq UUID

Defined in Data.Bson

Methods

(==) :: UUID -> UUID -> Bool

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

Ord UUID

Defined in Data.Bson

Methods

compare :: UUID -> UUID -> Ordering

(<) :: UUID -> UUID -> Bool

(<=) :: UUID -> UUID -> Bool

(>) :: UUID -> UUID -> Bool

(>=) :: UUID -> UUID -> Bool

max :: UUID -> UUID -> UUID

min :: UUID -> UUID -> UUID

Read UUID

Defined in Data.Bson

Methods

readsPrec :: Int -> ReadS UUID

readList :: ReadS [UUID]

readPrec :: ReadPrec UUID

readListPrec :: ReadPrec [UUID]

Show UUID

Defined in Data.Bson

Methods

showsPrec :: Int -> UUID -> ShowS

show :: UUID -> String

showList :: [UUID] -> ShowS

Val UUID

Defined in Data.Bson

Methods

val :: UUID -> Value

valList :: [UUID] -> Value

valMaybe :: Maybe UUID -> Value

cast' :: Value -> Maybe UUID

cast'List :: Value -> Maybe [UUID]

cast'Maybe :: Value -> Maybe (Maybe UUID)

newtype MD5

Constructors

MD5 ByteString

Instances

Eq MD5

Defined in Data.Bson

Methods

(==) :: MD5 -> MD5 -> Bool

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

Ord MD5

Defined in Data.Bson

Methods

compare :: MD5 -> MD5 -> Ordering

(<) :: MD5 -> MD5 -> Bool

(<=) :: MD5 -> MD5 -> Bool

(>) :: MD5 -> MD5 -> Bool

(>=) :: MD5 -> MD5 -> Bool

max :: MD5 -> MD5 -> MD5

min :: MD5 -> MD5 -> MD5

Read MD5

Defined in Data.Bson

Methods

readsPrec :: Int -> ReadS MD5

readList :: ReadS [MD5]

readPrec :: ReadPrec MD5

readListPrec :: ReadPrec [MD5]

Show MD5

Defined in Data.Bson

Methods

showsPrec :: Int -> MD5 -> ShowS

show :: MD5 -> String

showList :: [MD5] -> ShowS

Val MD5

Defined in Data.Bson

Methods

val :: MD5 -> Value

valList :: [MD5] -> Value

valMaybe :: Maybe MD5 -> Value

cast' :: Value -> Maybe MD5

cast'List :: Value -> Maybe [MD5]

cast'Maybe :: Value -> Maybe (Maybe MD5)

newtype UserDefined

Constructors

UserDefined ByteString

Instances

Eq UserDefined

Defined in Data.Bson

Methods

(==) :: UserDefined -> UserDefined -> Bool

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

Ord UserDefined

Defined in Data.Bson

Methods

compare :: UserDefined -> UserDefined -> Ordering

(<) :: UserDefined -> UserDefined -> Bool

(<=) :: UserDefined -> UserDefined -> Bool

(>) :: UserDefined -> UserDefined -> Bool

(>=) :: UserDefined -> UserDefined -> Bool

max :: UserDefined -> UserDefined -> UserDefined

min :: UserDefined -> UserDefined -> UserDefined

Read UserDefined

Defined in Data.Bson

Methods

readsPrec :: Int -> ReadS UserDefined

readList :: ReadS [UserDefined]

readPrec :: ReadPrec UserDefined

readListPrec :: ReadPrec [UserDefined]

Show UserDefined

Defined in Data.Bson

Methods

showsPrec :: Int -> UserDefined -> ShowS

show :: UserDefined -> String

showList :: [UserDefined] -> ShowS

Val UserDefined

Defined in Data.Bson

Methods

val :: UserDefined -> Value

valList :: [UserDefined] -> Value

valMaybe :: Maybe UserDefined -> Value

cast' :: Value -> Maybe UserDefined

cast'List :: Value -> Maybe [UserDefined]

cast'Maybe :: Value -> Maybe (Maybe UserDefined)

data Regex

The first string is the regex pattern, the second is the regex options string. Options are identified by characters, which must be listed in alphabetical order. Valid options are *i* for case insensitive matching, *m* for multiline matching, *x* for verbose mode, *l* to make \w, \W, etc. locale dependent, *s* for dotall mode ("." matches everything), and *u* to make \w, \W, etc. match unicode.

Constructors

Regex Text Text

Instances

Eq Regex

Defined in Data.Bson

Methods

(==) :: Regex -> Regex -> Bool

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

Ord Regex

Defined in Data.Bson

Methods

compare :: Regex -> Regex -> Ordering

(<) :: Regex -> Regex -> Bool

(<=) :: Regex -> Regex -> Bool

(>) :: Regex -> Regex -> Bool

(>=) :: Regex -> Regex -> Bool

max :: Regex -> Regex -> Regex

min :: Regex -> Regex -> Regex

Read Regex

Defined in Data.Bson

Methods

readsPrec :: Int -> ReadS Regex

readList :: ReadS [Regex]

readPrec :: ReadPrec Regex

readListPrec :: ReadPrec [Regex]

Show Regex

Defined in Data.Bson

Methods

showsPrec :: Int -> Regex -> ShowS

show :: Regex -> String

showList :: [Regex] -> ShowS

Val Regex

Defined in Data.Bson

Methods

val :: Regex -> Value

valList :: [Regex] -> Value

valMaybe :: Maybe Regex -> Value

cast' :: Value -> Maybe Regex

cast'List :: Value -> Maybe [Regex]

cast'Maybe :: Value -> Maybe (Maybe Regex)

data Javascript

Javascript code with possibly empty environment mapping variables to values that the code may reference

Constructors

Javascript Document Text

Instances

Eq Javascript

Defined in Data.Bson

Methods

(==) :: Javascript -> Javascript -> Bool

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

Ord Javascript

Defined in Data.Bson

Methods

compare :: Javascript -> Javascript -> Ordering

(<) :: Javascript -> Javascript -> Bool

(<=) :: Javascript -> Javascript -> Bool

(>) :: Javascript -> Javascript -> Bool

(>=) :: Javascript -> Javascript -> Bool

max :: Javascript -> Javascript -> Javascript

min :: Javascript -> Javascript -> Javascript

Show Javascript

Defined in Data.Bson

Methods

showsPrec :: Int -> Javascript -> ShowS

show :: Javascript -> String

showList :: [Javascript] -> ShowS

Val Javascript

Defined in Data.Bson

Methods

val :: Javascript -> Value

valList :: [Javascript] -> Value

valMaybe :: Maybe Javascript -> Value

cast' :: Value -> Maybe Javascript

cast'List :: Value -> Maybe [Javascript]

cast'Maybe :: Value -> Maybe (Maybe Javascript)

newtype Symbol

Constructors

Symbol Text

Instances

Eq Symbol

Defined in Data.Bson

Methods

(==) :: Symbol -> Symbol -> Bool

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

Ord Symbol

Defined in Data.Bson

Methods

compare :: Symbol -> Symbol -> Ordering

(<) :: Symbol -> Symbol -> Bool

(<=) :: Symbol -> Symbol -> Bool

(>) :: Symbol -> Symbol -> Bool

(>=) :: Symbol -> Symbol -> Bool

max :: Symbol -> Symbol -> Symbol

min :: Symbol -> Symbol -> Symbol

Read Symbol

Defined in Data.Bson

Methods

readsPrec :: Int -> ReadS Symbol

readList :: ReadS [Symbol]

readPrec :: ReadPrec Symbol

readListPrec :: ReadPrec [Symbol]

Show Symbol

Defined in Data.Bson

Methods

showsPrec :: Int -> Symbol -> ShowS

show :: Symbol -> String

showList :: [Symbol] -> ShowS

Val Symbol

Defined in Data.Bson

Methods

val :: Symbol -> Value

valList :: [Symbol] -> Value

valMaybe :: Maybe Symbol -> Value

cast' :: Value -> Maybe Symbol

cast'List :: Value -> Maybe [Symbol]

cast'Maybe :: Value -> Maybe (Maybe Symbol)

newtype MongoStamp

Constructors

MongoStamp Int64

Instances

Eq MongoStamp

Defined in Data.Bson

Methods

(==) :: MongoStamp -> MongoStamp -> Bool

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

Ord MongoStamp

Defined in Data.Bson

Methods

compare :: MongoStamp -> MongoStamp -> Ordering

(<) :: MongoStamp -> MongoStamp -> Bool

(<=) :: MongoStamp -> MongoStamp -> Bool

(>) :: MongoStamp -> MongoStamp -> Bool

(>=) :: MongoStamp -> MongoStamp -> Bool

max :: MongoStamp -> MongoStamp -> MongoStamp

min :: MongoStamp -> MongoStamp -> MongoStamp

Read MongoStamp

Defined in Data.Bson

Methods

readsPrec :: Int -> ReadS MongoStamp

readList :: ReadS [MongoStamp]

readPrec :: ReadPrec MongoStamp

readListPrec :: ReadPrec [MongoStamp]

Show MongoStamp

Defined in Data.Bson

Methods

showsPrec :: Int -> MongoStamp -> ShowS

show :: MongoStamp -> String

showList :: [MongoStamp] -> ShowS

Val MongoStamp

Defined in Data.Bson

Methods

val :: MongoStamp -> Value

valList :: [MongoStamp] -> Value

valMaybe :: Maybe MongoStamp -> Value

cast' :: Value -> Maybe MongoStamp

cast'List :: Value -> Maybe [MongoStamp]

cast'Maybe :: Value -> Maybe (Maybe MongoStamp)

data MinMaxKey

Constructors

MinKey

MaxKey

Instances

Eq MinMaxKey

Defined in Data.Bson

Methods

(==) :: MinMaxKey -> MinMaxKey -> Bool

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

Ord MinMaxKey

Defined in Data.Bson

Methods

compare :: MinMaxKey -> MinMaxKey -> Ordering

(<) :: MinMaxKey -> MinMaxKey -> Bool

(<=) :: MinMaxKey -> MinMaxKey -> Bool

(>) :: MinMaxKey -> MinMaxKey -> Bool

(>=) :: MinMaxKey -> MinMaxKey -> Bool

max :: MinMaxKey -> MinMaxKey -> MinMaxKey

min :: MinMaxKey -> MinMaxKey -> MinMaxKey

Read MinMaxKey

Defined in Data.Bson

Methods

readsPrec :: Int -> ReadS MinMaxKey

readList :: ReadS [MinMaxKey]

readPrec :: ReadPrec MinMaxKey

readListPrec :: ReadPrec [MinMaxKey]

Show MinMaxKey

Defined in Data.Bson

Methods

showsPrec :: Int -> MinMaxKey -> ShowS

show :: MinMaxKey -> String

showList :: [MinMaxKey] -> ShowS

Val MinMaxKey

Defined in Data.Bson

Methods

val :: MinMaxKey -> Value

valList :: [MinMaxKey] -> Value

valMaybe :: Maybe MinMaxKey -> Value

cast' :: Value -> Maybe MinMaxKey

cast'List :: Value -> Maybe [MinMaxKey]

cast'Maybe :: Value -> Maybe (Maybe MinMaxKey)

ObjectId

data ObjectId

A BSON ObjectID is a 12-byte value consisting of a 4-byte timestamp (seconds since epoch), a 3-byte machine id, a 2-byte process id, and a 3-byte counter. Note that the timestamp and counter fields must be stored big endian unlike the rest of BSON. This is because they are compared byte-by-byte and we want to ensure a mostly increasing order.

Constructors

Oid !Word32 !Word64

Instances

Eq ObjectId

Defined in Data.Bson

Methods

(==) :: ObjectId -> ObjectId -> Bool

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

Ord ObjectId

Defined in Data.Bson

Methods

compare :: ObjectId -> ObjectId -> Ordering

(<) :: ObjectId -> ObjectId -> Bool

(<=) :: ObjectId -> ObjectId -> Bool

(>) :: ObjectId -> ObjectId -> Bool

(>=) :: ObjectId -> ObjectId -> Bool

max :: ObjectId -> ObjectId -> ObjectId

min :: ObjectId -> ObjectId -> ObjectId

Read ObjectId

Defined in Data.Bson

Methods

readsPrec :: Int -> ReadS ObjectId

readList :: ReadS [ObjectId]

readPrec :: ReadPrec ObjectId

readListPrec :: ReadPrec [ObjectId]

Show ObjectId

Defined in Data.Bson

Methods

showsPrec :: Int -> ObjectId -> ShowS

show :: ObjectId -> String

showList :: [ObjectId] -> ShowS

Val ObjectId

Defined in Data.Bson

Methods

val :: ObjectId -> Value

valList :: [ObjectId] -> Value

valMaybe :: Maybe ObjectId -> Value

cast' :: Value -> Maybe ObjectId

cast'List :: Value -> Maybe [ObjectId]

cast'Maybe :: Value -> Maybe (Maybe ObjectId)

timestamp :: ObjectId -> UTCTime

Time when objectId was created

genObjectId :: IO ObjectId

Create a fresh ObjectId

showHexLen :: (Show n, Integral n) => Int -> n -> ShowS

showHex of n padded with leading zeros if necessary to fill d digits