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.2-6ZyX4gr8GV420Z9TtV1LUA" '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 -> ()

Lift Name

Defined in Argo.Json.Name

Methods

lift :: Name -> Q Exp

liftTyped :: Name -> Q (TExp Name)

(HasCodec a, Typeable 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.2-6ZyX4gr8GV420Z9TtV1LUA" '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.2-6ZyX4gr8GV420Z9TtV1LUA" '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 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 String

Defined in Argo.Class.HasCodec

Methods

codec :: Value String

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, Typeable a) => HasCodec [a]

Defined in Argo.Class.HasCodec

Methods

codec :: Value [a]

(HasCodec a, Typeable a) => HasCodec (Maybe a)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (Maybe a)

(HasCodec a, Typeable a) => HasCodec (NonEmpty a)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (NonEmpty a)

(HasCodec a, Typeable a) => HasCodec (Object a)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (Object a)

(HasCodec a, Typeable a) => HasCodec (Array a)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (Array a)

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

Defined in Argo.Class.HasCodec

Methods

codec :: Value (Either a b)

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

Defined in Argo.Class.HasCodec

Methods

codec :: Value (a, b)

(HasCodec a, Typeable a) => HasCodec (Map String a)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (Map String a)

(HasCodec a, Typeable a) => HasCodec (Map Text a)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (Map Text a)

(HasCodec a, Typeable a) => HasCodec (Map String a)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (Map String a)

(HasCodec a, Typeable a) => HasCodec (Map Name a)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (Map Name a)

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

Defined in Argo.Class.HasCodec

Methods

codec :: Value (a, b, c)

(HasCodec a, HasCodec b, HasCodec c, HasCodec d, Typeable a, Typeable b, Typeable c, Typeable 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, Typeable a, Typeable b, Typeable c, Typeable d, Typeable 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, Typeable a, Typeable b, Typeable c, Typeable d, Typeable e, Typeable 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, Typeable a, Typeable b, Typeable c, Typeable d, Typeable e, Typeable f, Typeable 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, Typeable a, Typeable b, Typeable c, Typeable d, Typeable e, Typeable f, Typeable g, Typeable 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

schema :: 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.2-6ZyX4gr8GV420Z9TtV1LUA" '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.2-6ZyX4gr8GV420Z9TtV1LUA" '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.2-6ZyX4gr8GV420Z9TtV1LUA" '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.2-6ZyX4gr8GV420Z9TtV1LUA" 'True) (C1 ('MetaCons "Schema" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))