Argo.Pointer.Pointer

Documentation

newtype Pointer

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

Constructors

Pointer [Token]

Instances

Eq Pointer

Defined in Argo.Pointer.Pointer

Methods

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

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

Show Pointer

Defined in Argo.Pointer.Pointer

Methods

showsPrec :: Int -> Pointer -> ShowS

show :: Pointer -> String

showList :: [Pointer] -> ShowS

Generic Pointer

Defined in Argo.Pointer.Pointer

Associated Types

type Rep Pointer :: Type -> Type

Methods

from :: Pointer -> Rep Pointer x

to :: Rep Pointer x -> Pointer

NFData Pointer

Defined in Argo.Pointer.Pointer

Methods

rnf :: Pointer -> ()

HasCodec Pointer

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Pointer

Lift Pointer

Defined in Argo.Pointer.Pointer

Methods

lift :: Pointer -> Q Exp

liftTyped :: Pointer -> Q (TExp Pointer)

type Rep Pointer

Defined in Argo.Pointer.Pointer

type Rep Pointer = D1 ('MetaData "Pointer" "Argo.Pointer.Pointer" "argo-0.2021.11.13-1TtZ14vgzh82izzBXuBqZ0" 'True) (C1 ('MetaCons "Pointer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Token])))

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 -> ArrayOf value -> Either String value

tokenToIndex :: Token -> Either String Int

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