diff --git a/src/Parser/JSON.md b/src/Parser/JSON.md index c71d95c..7baf9fa 100644 --- a/src/Parser/JSON.md +++ b/src/Parser/JSON.md @@ -122,6 +122,16 @@ getProperty prop (VObject xs) = Just (type ** (_, val)) => Just (type ** val) ``` +Return the values from an object. + +```idris +export +getValues : (object : JSONValue TObject) + -> (types : List JSONType ** DList JSONType JSONValue types) +getValues (VObject xs) = + dMap' (\t, (k, v) => (t ** v)) xs +``` + Recursively apply a filter to a JSON structure. ```idris