Argo.Internal.Pointer.Pointer

Documentation

newtype Pointer

A JSON pointer, as described by RFC 6901. https://datatracker.ietf.org/doc/html/rfc6901

Constructors

Pointer [Token]

Instances

HasCodec Pointer

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value Pointer

Show Pointer

Defined in Argo.Internal.Pointer.Pointer

Methods

showsPrec :: Int -> Pointer -> ShowS

show :: Pointer -> String

showList :: [Pointer] -> ShowS

NFData Pointer

Defined in Argo.Internal.Pointer.Pointer

Methods

rnf :: Pointer -> ()

Eq Pointer

Defined in Argo.Internal.Pointer.Pointer

Methods

(==) :: Pointer -> Pointer -> Bool

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

Lift Pointer

Defined in Argo.Internal.Pointer.Pointer

Methods

lift :: Quote m => Pointer -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Pointer -> Code m Pointer

fromList :: [Token] -> Pointer

toList :: Pointer -> [Token]

decode :: Decoder Pointer

decodeToken :: Decoder Token

encode :: Pointer -> Encoder ()

encodeToken :: Token -> Encoder ()

evaluate :: Pointer -> Value -> Either String Value

atIndex :: Token -> Array value -> Either String value

tokenToIndex :: Token -> Either String Int

atKey :: Token -> Object value -> Either String value