Argo.Internal.Json.Value

Documentation

data Value

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

Constructors

Null Null

Boolean Boolean

Number Number

String String

Array (Array Value)

Object (Object Value)

Instances

HasCodec Value

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value0 Value

IsString Value

Defined in Argo.Internal.Json.Value

Methods

fromString :: String -> Value

Show Value

Defined in Argo.Internal.Json.Value

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

NFData Value

Defined in Argo.Internal.Json.Value

Methods

rnf :: Value -> ()

Eq Value

Defined in Argo.Internal.Json.Value

Methods

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

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

Lift Value

Defined in Argo.Internal.Json.Value

Methods

lift :: Quote m => Value -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Value -> Code m Value

encode :: Value -> Encoder ()

decode :: Decoder Value