Argo

Documentation

data Value where

A JSON (JavaScript Object Notation) value, as described by RFC 8259. https://datatracker.ietf.org/doc/html/rfc8259

Bundled Patterns

pattern Null :: Value

pattern Boolean :: Bool -> Value

pattern Number :: Decimal -> Value

pattern String :: Text -> Value

pattern Array :: [Value] -> Value

pattern Object :: [MemberOf Value] -> Value

Instances

Eq Value

Defined in Argo.Json.Value

Methods

(==) :: Value -> Value -> Bool

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

Show Value

Defined in Argo.Json.Value

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

IsString Value

Defined in Argo.Json.Value

Methods

fromString :: String -> Value

Generic Value

Defined in Argo.Json.Value

Associated Types

type Rep Value :: Type -> Type

Methods

from :: Value -> Rep Value x

to :: Rep Value x -> Value

NFData Value

Defined in Argo.Json.Value

Methods

rnf :: Value -> ()

HasCodec Value

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Value

Lift Value

Defined in Argo.Json.Value

Methods

lift :: Value -> Q Exp

liftTyped :: Value -> Q (TExp Value)

type Rep Value

Defined in Argo.Json.Value

type Rep Value = D1 ('MetaData "Value" "Argo.Json.Value" "argo-0.2021.11.13-1TtZ14vgzh82izzBXuBqZ0" 'False) ((C1 ('MetaCons "Null" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Null)) :+: (C1 ('MetaCons "Boolean" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Boolean)) :+: C1 ('MetaCons "Number" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Number)))) :+: (C1 ('MetaCons "String" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "Array" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ArrayOf Value))) :+: C1 ('MetaCons "Object" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ObjectOf Value))))))

data Name where

Bundled Patterns

pattern Name :: Text -> Name

Instances

Eq Name

Defined in Argo.Json.Name

Methods

(==) :: Name -> Name -> Bool

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

Ord Name

Defined in Argo.Json.Name

Methods

compare :: Name -> Name -> Ordering

(<) :: Name -> Name -> Bool

(<=) :: Name -> Name -> Bool

(>) :: Name -> Name -> Bool

(>=) :: Name -> Name -> Bool

max :: Name -> Name -> Name

min :: Name -> Name -> Name

Show Name

Defined in Argo.Json.Name

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

IsString Name

Defined in Argo.Json.Name

Methods

fromString :: String -> Name

Generic Name

Defined in Argo.Json.Name

Associated Types

type Rep Name :: Type -> Type

Methods

from :: Name -> Rep Name x

to :: Rep Name x -> Name

NFData Name

Defined in Argo.Json.Name

Methods

rnf :: Name -> ()

Lift Name

Defined in Argo.Json.Name

Methods

lift :: Name -> Q Exp

liftTyped :: Name -> Q (TExp Name)

HasCodec a => HasCodec (Map Name a)

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec (Map Name a)

type Rep Name

Defined in Argo.Json.Name

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

data MemberOf value

Constructors

Member Name value

Instances

Lift value => Lift (MemberOf value :: Type)

Defined in Argo.Json.Member

Methods

lift :: MemberOf value -> Q Exp

liftTyped :: MemberOf value -> Q (TExp (MemberOf value))

Eq value => Eq (MemberOf value)

Defined in Argo.Json.Member

Methods

(==) :: MemberOf value -> MemberOf value -> Bool

(/=) :: MemberOf value -> MemberOf value -> Bool

Show value => Show (MemberOf value)

Defined in Argo.Json.Member

Methods

showsPrec :: Int -> MemberOf value -> ShowS

show :: MemberOf value -> String

showList :: [MemberOf value] -> ShowS

Generic (MemberOf value)

Defined in Argo.Json.Member

Associated Types

type Rep (MemberOf value) :: Type -> Type

Methods

from :: MemberOf value -> Rep (MemberOf value) x

to :: Rep (MemberOf value) x -> MemberOf value

NFData value => NFData (MemberOf value)

Defined in Argo.Json.Member

Methods

rnf :: MemberOf value -> ()

type Rep (MemberOf value)

Defined in Argo.Json.Member

type Rep (MemberOf value) = D1 ('MetaData "MemberOf" "Argo.Json.Member" "argo-0.2021.11.13-1TtZ14vgzh82izzBXuBqZ0" 'False) (C1 ('MetaCons "Member" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 value)))

encode :: HasCodec a => a -> Builder

encodeWith :: HasCodec a => Indent -> a -> Builder

data Indent

Constructors

Spaces Int

Tab

Instances

Eq Indent

Defined in Argo.Type.Indent

Methods

(==) :: Indent -> Indent -> Bool

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

Show Indent

Defined in Argo.Type.Indent

Methods

showsPrec :: Int -> Indent -> ShowS

show :: Indent -> String

showList :: [Indent] -> ShowS

decode :: HasCodec a => ByteString -> Either String a

fromValue :: HasCodec a => Value -> Either String a

toValue :: HasCodec a => a -> Value

class HasCodec a where

Methods

codec :: ValueCodec a

Instances

HasCodec Bool

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Bool

HasCodec Char

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Char

HasCodec Double

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Double

HasCodec Float

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Float

HasCodec Int

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Int

HasCodec Int8

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Int8

HasCodec Int16

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Int16

HasCodec Int32

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Int32

HasCodec Int64

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Int64

HasCodec Integer

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Integer

HasCodec Word

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Word

HasCodec Word8

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Word8

HasCodec Word16

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Word16

HasCodec Word32

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Word32

HasCodec Word64

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Word64

HasCodec ()

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec ()

HasCodec String

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec String

HasCodec Text

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Text

HasCodec Decimal

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Decimal

HasCodec String

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec String

HasCodec Number

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Number

HasCodec Null

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Null

HasCodec Boolean

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Boolean

HasCodec Value

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Value

HasCodec Pointer

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Pointer

HasCodec a => HasCodec [a]

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec [a]

HasCodec a => HasCodec (Maybe a)

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec (Maybe a)

HasCodec a => HasCodec (NonEmpty a)

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec (NonEmpty a)

HasCodec a => HasCodec (ObjectOf a)

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec (ObjectOf a)

HasCodec a => HasCodec (ArrayOf a)

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec (ArrayOf a)

(HasCodec a, HasCodec b) => HasCodec (Either a b)

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec (Either a b)

(HasCodec a, HasCodec b) => HasCodec (a, b)

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec (a, b)

HasCodec a => HasCodec (Map Name a)

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec (Map Name a)

value :: QuasiQuoter

pointer :: QuasiQuoter

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])))

newtype Token

Constructors

Token Text

Instances

Eq Token

Defined in Argo.Pointer.Token

Methods

(==) :: Token -> Token -> Bool

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

Show Token

Defined in Argo.Pointer.Token

Methods

showsPrec :: Int -> Token -> ShowS

show :: Token -> String

showList :: [Token] -> ShowS

IsString Token

Defined in Argo.Pointer.Token

Methods

fromString :: String -> Token

Generic Token

Defined in Argo.Pointer.Token

Associated Types

type Rep Token :: Type -> Type

Methods

from :: Token -> Rep Token x

to :: Rep Token x -> Token

NFData Token

Defined in Argo.Pointer.Token

Methods

rnf :: Token -> ()

Lift Token

Defined in Argo.Pointer.Token

Methods

lift :: Token -> Q Exp

liftTyped :: Token -> Q (TExp Token)

type Rep Token

Defined in Argo.Pointer.Token

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

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

encodePointer :: Pointer -> Builder

decodePointer :: ByteString -> Either String Pointer

data Decimal where

Bundled Patterns

pattern Decimal :: Integer -> Integer -> Decimal

Instances

Eq Decimal

Defined in Argo.Type.Decimal

Methods

(==) :: Decimal -> Decimal -> Bool

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

Show Decimal

Defined in Argo.Type.Decimal

Methods

showsPrec :: Int -> Decimal -> ShowS

show :: Decimal -> String

showList :: [Decimal] -> ShowS

Generic Decimal

Defined in Argo.Type.Decimal

Associated Types

type Rep Decimal :: Type -> Type

Methods

from :: Decimal -> Rep Decimal x

to :: Rep Decimal x -> Decimal

NFData Decimal

Defined in Argo.Type.Decimal

Methods

rnf :: Decimal -> ()

HasCodec Decimal

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Decimal

Lift Decimal

Defined in Argo.Type.Decimal

Methods

lift :: Decimal -> Q Exp

liftTyped :: Decimal -> Q (TExp Decimal)

type Rep Decimal

Defined in Argo.Type.Decimal

type Rep Decimal = D1 ('MetaData "Decimal" "Argo.Type.Decimal" "argo-0.2021.11.13-1TtZ14vgzh82izzBXuBqZ0" 'False) (C1 ('MetaCons "Decimal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))