Argo.Json.Object

Documentation

newtype Object value

Constructors

Object [Member value]

Instances

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

Defined in Argo.Json.Object

Methods

lift :: Object value -> Q Exp

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

Eq value => Eq (Object value)

Defined in Argo.Json.Object

Methods

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

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

Show value => Show (Object value)

Defined in Argo.Json.Object

Methods

showsPrec :: Int -> Object value -> ShowS

show :: Object value -> String

showList :: [Object value] -> ShowS

Generic (Object value)

Defined in Argo.Json.Object

Associated Types

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

Methods

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

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

NFData value => NFData (Object value)

Defined in Argo.Json.Object

Methods

rnf :: Object value -> ()

HasCodec a => HasCodec (Object a)

Defined in Argo.Class.HasCodec

Methods

codec :: Value (Object a)

type Rep (Object value)

Defined in Argo.Json.Object

type Rep (Object value) = D1 ('MetaData "Object" "Argo.Json.Object" "argo-0.2022.1.15-78UsK83K7mk5p8FKO056SD" 'True) (C1 ('MetaCons "Object" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Member value])))

fromList :: [Member value] -> Object value

toList :: Object value -> [Member value]

encode :: (value -> Encoder ()) -> Object value -> Encoder ()

encodeElement :: (value -> Encoder ()) -> Int -> Member value -> Encoder ()

decode :: Decoder value -> Decoder (Object value)