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 Array :: [Value] -> Value

pattern Boolean :: Bool -> Value

pattern Null :: Value

pattern Number :: Decimal -> Value

pattern Object :: [Member Value] -> Value

pattern String :: Text -> 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 :: Value0 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.2022.2.23-4XPruXmLyuVHtCz0cP5FeE" '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 (Array Value))) :+: C1 ('MetaCons "Object" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Object 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 -> ()

HasCodec Name

Defined in Argo.Class.HasCodec

Methods

codec :: Value 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 :: Value (Map Name a)

type Rep Name

Defined in Argo.Json.Name

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

data Member value

Constructors

Member Name value

Instances

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

Defined in Argo.Json.Member

Methods

lift :: Member value -> Q Exp

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

Eq value => Eq (Member value)

Defined in Argo.Json.Member

Methods

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

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

Show value => Show (Member value)

Defined in Argo.Json.Member

Methods

showsPrec :: Int -> Member value -> ShowS

show :: Member value -> String

showList :: [Member value] -> ShowS

Generic (Member value)

Defined in Argo.Json.Member

Associated Types

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

Methods

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

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

NFData value => NFData (Member value)

Defined in Argo.Json.Member

Methods

rnf :: Member value -> ()

type Rep (Member value)

Defined in Argo.Json.Member

type Rep (Member value) = D1 ('MetaData "Member" "Argo.Json.Member" "argo-0.2022.2.23-4XPruXmLyuVHtCz0cP5FeE" '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

class Typeable a => HasCodec a where

Methods

codec :: Value a

Instances

HasCodec Bool

Defined in Argo.Class.HasCodec

Methods

codec :: Value Bool

HasCodec Char

Defined in Argo.Class.HasCodec

Methods

codec :: Value Char

HasCodec Double

Defined in Argo.Class.HasCodec

Methods

codec :: Value Double

HasCodec Float

Defined in Argo.Class.HasCodec

Methods

codec :: Value Float

HasCodec Int

Defined in Argo.Class.HasCodec

Methods

codec :: Value Int

HasCodec Int8

Defined in Argo.Class.HasCodec

Methods

codec :: Value Int8

HasCodec Int16

Defined in Argo.Class.HasCodec

Methods

codec :: Value Int16

HasCodec Int32

Defined in Argo.Class.HasCodec

Methods

codec :: Value Int32

HasCodec Int64

Defined in Argo.Class.HasCodec

Methods

codec :: Value Int64

HasCodec Integer

Defined in Argo.Class.HasCodec

Methods

codec :: Value Integer

HasCodec Natural

Defined in Argo.Class.HasCodec

Methods

codec :: Value Natural

HasCodec Word

Defined in Argo.Class.HasCodec

Methods

codec :: Value Word

HasCodec Word8

Defined in Argo.Class.HasCodec

Methods

codec :: Value Word8

HasCodec Word16

Defined in Argo.Class.HasCodec

Methods

codec :: Value Word16

HasCodec Word32

Defined in Argo.Class.HasCodec

Methods

codec :: Value Word32

HasCodec Word64

Defined in Argo.Class.HasCodec

Methods

codec :: Value Word64

HasCodec ()

Defined in Argo.Class.HasCodec

Methods

codec :: Value ()

HasCodec String

Defined in Argo.Class.HasCodec

Methods

codec :: Value String

HasCodec Text

Defined in Argo.Class.HasCodec

Methods

codec :: Value Text

HasCodec Decimal

Defined in Argo.Class.HasCodec

Methods

codec :: Value Decimal

HasCodec Identifier

Defined in Argo.Class.HasCodec

Methods

codec :: Value Identifier

HasCodec String

Defined in Argo.Class.HasCodec

Methods

codec :: Value String

HasCodec Name

Defined in Argo.Class.HasCodec

Methods

codec :: Value Name

HasCodec Number

Defined in Argo.Class.HasCodec

Methods

codec :: Value Number

HasCodec Null

Defined in Argo.Class.HasCodec

Methods

codec :: Value Null

HasCodec Boolean

Defined in Argo.Class.HasCodec

Methods

codec :: Value Boolean

HasCodec Value

Defined in Argo.Class.HasCodec

Methods

codec :: Value0 Value

HasCodec Schema

Defined in Argo.Class.HasCodec

Methods

codec :: Value Schema

HasCodec Pointer

Defined in Argo.Class.HasCodec

Methods

codec :: Value Pointer

HasCodec a => HasCodec [a]

Defined in Argo.Class.HasCodec

Methods

codec :: Value [a]

HasCodec a => HasCodec (Maybe a)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (Maybe a)

HasCodec a => HasCodec (NonEmpty a)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (NonEmpty a)

HasCodec a => HasCodec (Nullable a)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (Nullable a)

HasCodec a => HasCodec (Object a)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (Object a)

HasCodec a => HasCodec (Array a)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (Array a)

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

Defined in Argo.Class.HasCodec

Methods

codec :: Value (Either a b)

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

Defined in Argo.Class.HasCodec

Methods

codec :: Value (a, b)

HasCodec a => HasCodec (Map String a)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (Map String a)

HasCodec a => HasCodec (Map Text a)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (Map Text a)

HasCodec a => HasCodec (Map String a)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (Map String a)

HasCodec a => HasCodec (Map Name a)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (Map Name a)

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

Defined in Argo.Class.HasCodec

Methods

codec :: Value (a, b, c)

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

Defined in Argo.Class.HasCodec

Methods

codec :: Value (a, b, c, d)

(HasCodec a, HasCodec b, HasCodec c, HasCodec d, HasCodec e) => HasCodec (a, b, c, d, e)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (a, b, c, d, e)

(HasCodec a, HasCodec b, HasCodec c, HasCodec d, HasCodec e, HasCodec f) => HasCodec (a, b, c, d, e, f)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (a, b, c, d, e, f)

(HasCodec a, HasCodec b, HasCodec c, HasCodec d, HasCodec e, HasCodec f, HasCodec g) => HasCodec (a, b, c, d, e, f, g)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (a, b, c, d, e, f, g)

(HasCodec a, HasCodec b, HasCodec c, HasCodec d, HasCodec e, HasCodec f, HasCodec g, HasCodec h) => HasCodec (a, b, c, d, e, f, g, h)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (a, b, c, d, e, f, g, h)

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 :: Value 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.2022.2.23-4XPruXmLyuVHtCz0cP5FeE" '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.2022.2.23-4XPruXmLyuVHtCz0cP5FeE" '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 :: Value 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.2022.2.23-4XPruXmLyuVHtCz0cP5FeE" '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)))

data Schema

A JSON Schema. https://datatracker.ietf.org/doc/html/draft-handrews-json-schema-01

Instances

Eq Schema

Defined in Argo.Schema.Schema

Methods

(==) :: Schema -> Schema -> Bool

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

Show Schema

Defined in Argo.Schema.Schema

Methods

showsPrec :: Int -> Schema -> ShowS

show :: Schema -> String

showList :: [Schema] -> ShowS

Generic Schema

Defined in Argo.Schema.Schema

Associated Types

type Rep Schema :: Type -> Type

Methods

from :: Schema -> Rep Schema x

to :: Rep Schema x -> Schema

Semigroup Schema

Defined in Argo.Schema.Schema

Methods

(<>) :: Schema -> Schema -> Schema

sconcat :: NonEmpty Schema -> Schema

stimes :: Integral b => b -> Schema -> Schema

Monoid Schema

Defined in Argo.Schema.Schema

Methods

mempty :: Schema

mappend :: Schema -> Schema -> Schema

mconcat :: [Schema] -> Schema

NFData Schema

Defined in Argo.Schema.Schema

Methods

rnf :: Schema -> ()

HasCodec Schema

Defined in Argo.Class.HasCodec

Methods

codec :: Value Schema

Lift Schema

Defined in Argo.Schema.Schema

Methods

lift :: Schema -> Q Exp

liftTyped :: Schema -> Q (TExp Schema)

type Rep Schema

Defined in Argo.Schema.Schema

type Rep Schema = D1 ('MetaData "Schema" "Argo.Schema.Schema" "argo-0.2022.2.23-4XPruXmLyuVHtCz0cP5FeE" 'False) (((C1 ('MetaCons "Array" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Natural)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Natural))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either Schema (NonEmpty Schema))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Schema)))) :+: (C1 ('MetaCons "Boolean" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Const" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))) :+: (C1 ('MetaCons "False" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Integer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer))) :+: C1 ('MetaCons "Null" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Number" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Object" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Name, Schema)]) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Schema)))) :+: C1 ('MetaCons "OneOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Schema])))) :+: (C1 ('MetaCons "Ref" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Identifier)) :+: (C1 ('MetaCons "String" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Natural)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Natural))) :+: C1 ('MetaCons "True" 'PrefixI 'False) (U1 :: Type -> Type)))))