Argo.Json.Object

Documentation

newtype ObjectOf value

Constructors

Object [MemberOf value]

Instances

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

Defined in Argo.Json.Object

Methods

lift :: ObjectOf value -> Q Exp

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

Eq value => Eq (ObjectOf value)

Defined in Argo.Json.Object

Methods

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

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

Show value => Show (ObjectOf value)

Defined in Argo.Json.Object

Methods

showsPrec :: Int -> ObjectOf value -> ShowS

show :: ObjectOf value -> String

showList :: [ObjectOf value] -> ShowS

Generic (ObjectOf value)

Defined in Argo.Json.Object

Associated Types

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

Methods

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

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

NFData value => NFData (ObjectOf value)

Defined in Argo.Json.Object

Methods

rnf :: ObjectOf value -> ()

HasCodec a => HasCodec (ObjectOf a)

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec (ObjectOf a)

type Rep (ObjectOf value)

Defined in Argo.Json.Object

type Rep (ObjectOf value) = D1 ('MetaData "ObjectOf" "Argo.Json.Object" "argo-0.2021.11.13-1TtZ14vgzh82izzBXuBqZ0" 'True) (C1 ('MetaCons "Object" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [MemberOf value])))

fromList :: [MemberOf value] -> ObjectOf value

toList :: ObjectOf value -> [MemberOf value]

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

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

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