mirror of
https://github.com/typeable/hjsonpointer.git
synced 2024-09-11 14:45:30 +03:00
31 lines
929 B
Haskell
31 lines
929 B
Haskell
{-# LANGUAGE OverloadedStrings #-}
|
|
|
|
module Main where
|
|
|
|
import Control.Monad (unless)
|
|
import Data.Aeson
|
|
import qualified Data.Aeson.Pointer as P
|
|
|
|
main :: IO ()
|
|
main = do
|
|
-- JSON Pointers must either be empty or start with a /.
|
|
pntr1 <- case P.unescape "/foo/0" of
|
|
Left _ -> error "Failed to construct JSON Pointer."
|
|
Right pntr -> return pntr
|
|
|
|
-- We can also write JSON Pointers in Haskell.
|
|
let pntr2 = P.Pointer [P.Token "/"]
|
|
-- When we do this we don't have to escape / or ~ characters
|
|
-- (as ~1 and ~0 respectively) like we do in an escaped JSON
|
|
-- Pointer string.
|
|
unless (P.unescape "/~1" == Right pntr2) (error "ohno!")
|
|
|
|
print (P.resolve pntr1 document)
|
|
print (P.resolve pntr2 document)
|
|
|
|
where
|
|
document :: Value
|
|
document = object [ "foo" .= [String "bar", String "baz"]
|
|
, "/" .= String "quux"
|
|
]
|