Argo.Json.Array

Documentation

newtype ArrayOf value

Constructors

Array [value]

Instances

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

Defined in Argo.Json.Array

Methods

lift :: ArrayOf value -> Q Exp

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

Eq value => Eq (ArrayOf value)

Defined in Argo.Json.Array

Methods

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

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

Show value => Show (ArrayOf value)

Defined in Argo.Json.Array

Methods

showsPrec :: Int -> ArrayOf value -> ShowS

show :: ArrayOf value -> String

showList :: [ArrayOf value] -> ShowS

Generic (ArrayOf value)

Defined in Argo.Json.Array

Associated Types

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

Methods

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

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

NFData value => NFData (ArrayOf value)

Defined in Argo.Json.Array

Methods

rnf :: ArrayOf value -> ()

type Rep (ArrayOf value)

Defined in Argo.Json.Array

type Rep (ArrayOf value) = D1 ('MetaData "ArrayOf" "Argo.Json.Array" "argo-0.2021.11.2-JJj9P4PGpeu1sdU9PlPeg7" 'True) (C1 ('MetaCons "Array" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [value])))

fromList :: [value] -> ArrayOf value

toList :: ArrayOf value -> [value]

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

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