bson-lens-0.1.1: BSON lenses

Safe HaskellNone
LanguageHaskell2010

Data.Bson.Lens

Synopsis

Documentation

_Float :: Prism' Value Double Source

_String :: Prism' Value Text Source

_Doc :: Prism' Value Document Source

_Array :: Prism' Value [Value] Source

_Bin :: Prism' Value Binary Source

_Fun :: Prism' Value Function Source

_Uuid :: Prism' Value UUID Source

_Md5 :: Prism' Value MD5 Source

_UserDef :: Prism' Value UserDefined Source

_ObjId :: Prism' Value ObjectId Source

_Bool :: Prism' Value Bool Source

_UTC :: Prism' Value UTCTime Source

_Null :: Prism' Value () Source

_RegEx :: Prism' Value Regex Source

_JavaScr :: Prism' Value Javascript Source

_Sym :: Prism' Value Symbol Source

_Int32 :: Prism' Value Int32 Source

_Int64 :: Prism' Value Int64 Source

key :: AsDocument t => Label -> Traversal' t Value Source

Like ix, but for Document values with Text indices

>>> ["someKey" := Float 3.0] ^? key "someKey"
Just 3.0

values :: AsValue v => IndexedTraversal' Int v Value Source

An indexed Traversal into Array elements

>>> Array [String "hey", Float 2.0] ^.. values
["hey", 2.0]

>>> "Array [Float 2.0,Float 3.0,Float 4.0]" & values . _Float *~ 2.0
"[4.0,6.0,8.0]"

fields :: AsDocument v => IndexedTraversal' Int v Field Source

An indexed Traversal into Document fields

>>> Array [Doc ["doc1" := Float 3.0], Doc ["doc2" := Bool True]] ^.. values . fields
[ key: 3.0, key2: True ]

members :: AsDocument v => Traversal' v Value Source

A Traversal into Document values

>>> ["key" := Float 3.0, "key2" := Bool True] & members . _Float *~ 2
[ key: 6.0, key2: True ]

nth :: AsValue v => Int -> Traversal' v Value Source

Like ix, but for Arrays with Int indexes

>>> "Array [Float 1.0, Float 2.0, Float 3.0]" ^? nth 1
Just 2.0

>>> "Array [Float 1.0, Float 2.0, Float 3.0]" & nth 1 .~ Float 20.0
"[1.0,20.0,3.0]"

labels :: AsDocument v => Traversal' v Label Source

A Traversal into Document keys

>>> ["key" := Float 3.0, "key2" := Bool True] & labels %~ Data.Text.toUpper
["KEY": 3.0, "KEY2": True]

class AsValue t where Source

Minimal complete definition

Nothing

Methods

_Value :: Traversal' t Value Source

A traversal for types that contain Values

>>> ("key" .= Bool True) ^? _Value
Just True

>>> Doc ["key" .= Bool True] ^? _Value
Just [ key: True]

Instances

class AsDocument t where Source

Minimal complete definition

Nothing

Methods

_Document :: Traversal' t Document Source

A traversal for types that contain documents

>>> ["key" .= Bool True] ^? _Document
Just [ key: True]

>>> Doc ["key" .= Bool True] ^? _Document
Just [ key: True]

Instances