Argo.Type.Object

Documentation

newtype Object a

Constructors

Object (Array Int (Pair String a))

Instances

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

Defined in Argo.Type.Object

Methods

lift :: Object a -> Q Exp

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

Eq a => Eq (Object a)

Defined in Argo.Type.Object

Methods

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

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

Show a => Show (Object a)

Defined in Argo.Type.Object

Methods

showsPrec :: Int -> Object a -> ShowS

show :: Object a -> String

showList :: [Object a] -> ShowS

NFData a => NFData (Object a)

Defined in Argo.Type.Object

Methods

rnf :: Object a -> ()

encode :: (a -> Builder) -> Object a -> Builder

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