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

ToValue Value

Defined in Argo.Class.ToValue

Methods

toValue :: Value -> Value

FromValue Value

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String 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.11-78at1tuxIEfHBneO5Hki" '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

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)

type Rep Name

Defined in Argo.Json.Name

type Rep Name = D1 ('MetaData "Name" "Argo.Json.Name" "argo-0.2021.11.11-78at1tuxIEfHBneO5Hki" '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.11-78at1tuxIEfHBneO5Hki" '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 :: ToValue a => a -> Builder

encodeWith :: ToValue 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 :: FromValue a => ByteString -> Either String a

class FromValue a where

Methods

fromValue :: Value -> Either String a

Instances

FromValue Bool

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String Bool

FromValue Char

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String Char

FromValue Double

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String Double

FromValue Float

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String Float

FromValue Int

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String Int

FromValue Int8

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String Int8

FromValue Int16

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String Int16

FromValue Int32

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String Int32

FromValue Int64

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String Int64

FromValue Integer

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String Integer

FromValue Word

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String Word

FromValue Word8

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String Word8

FromValue Word16

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String Word16

FromValue Word32

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String Word32

FromValue Word64

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String Word64

FromValue ()

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String ()

FromValue String

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String String

FromValue Text

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String Text

FromValue Value

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String Value

FromValue Pointer

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String Pointer

FromValue a => FromValue [a]

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String [a]

FromValue a => FromValue (Maybe a)

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String (Maybe a)

FromValue a => FromValue (NonEmpty a)

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String (NonEmpty a)

(FromValue a, FromValue b) => FromValue (a, b)

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String (a, b)

FromValue a => FromValue (Map Text a)

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String (Map Text a)

class ToValue a where

Methods

toValue :: a -> Value

Instances

ToValue Bool

Defined in Argo.Class.ToValue

Methods

toValue :: Bool -> Value

ToValue Char

Defined in Argo.Class.ToValue

Methods

toValue :: Char -> Value

ToValue Double

Defined in Argo.Class.ToValue

Methods

toValue :: Double -> Value

ToValue Float

Defined in Argo.Class.ToValue

Methods

toValue :: Float -> Value

ToValue Int

Defined in Argo.Class.ToValue

Methods

toValue :: Int -> Value

ToValue Int8

Defined in Argo.Class.ToValue

Methods

toValue :: Int8 -> Value

ToValue Int16

Defined in Argo.Class.ToValue

Methods

toValue :: Int16 -> Value

ToValue Int32

Defined in Argo.Class.ToValue

Methods

toValue :: Int32 -> Value

ToValue Int64

Defined in Argo.Class.ToValue

Methods

toValue :: Int64 -> Value

ToValue Integer

Defined in Argo.Class.ToValue

Methods

toValue :: Integer -> Value

ToValue Word

Defined in Argo.Class.ToValue

Methods

toValue :: Word -> Value

ToValue Word8

Defined in Argo.Class.ToValue

Methods

toValue :: Word8 -> Value

ToValue Word16

Defined in Argo.Class.ToValue

Methods

toValue :: Word16 -> Value

ToValue Word32

Defined in Argo.Class.ToValue

Methods

toValue :: Word32 -> Value

ToValue Word64

Defined in Argo.Class.ToValue

Methods

toValue :: Word64 -> Value

ToValue ()

Defined in Argo.Class.ToValue

Methods

toValue :: () -> Value

ToValue String

Defined in Argo.Class.ToValue

Methods

toValue :: String -> Value

ToValue Text

Defined in Argo.Class.ToValue

Methods

toValue :: Text -> Value

ToValue Value

Defined in Argo.Class.ToValue

Methods

toValue :: Value -> Value

ToValue Pointer

Defined in Argo.Class.ToValue

Methods

toValue :: Pointer -> Value

ToValue a => ToValue [a]

Defined in Argo.Class.ToValue

Methods

toValue :: [a] -> Value

ToValue a => ToValue (Maybe a)

Defined in Argo.Class.ToValue

Methods

toValue :: Maybe a -> Value

ToValue a => ToValue (NonEmpty a)

Defined in Argo.Class.ToValue

Methods

toValue :: NonEmpty a -> Value

(ToValue a, ToValue b) => ToValue (a, b)

Defined in Argo.Class.ToValue

Methods

toValue :: (a, b) -> Value

ToValue a => ToValue (Map Text a)

Defined in Argo.Class.ToValue

Methods

toValue :: Map Text a -> Value

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

ToValue Pointer

Defined in Argo.Class.ToValue

Methods

toValue :: Pointer -> Value

FromValue Pointer

Defined in Argo.Class.FromValue

Methods

fromValue :: Value -> Either String 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.11-78at1tuxIEfHBneO5Hki" '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.11-78at1tuxIEfHBneO5Hki" '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 -> ()

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.11-78at1tuxIEfHBneO5Hki" '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)))