Data.Aeson.Extra.SizedVector

Orphan instances

(FromJSON (v a), KnownNat n, Vector v a) => FromJSON (Vector v n a)

Methods

parseJSON :: Value -> Parser (Vector v n a)

parseJSONList :: Value -> Parser [Vector v n a]

ToJSON (v a) => ToJSON (Vector v n a)

Methods

toJSON :: Vector v n a -> Value

toEncoding :: Vector v n a -> Encoding

toJSONList :: [Vector v n a] -> Value

toEncodingList :: [Vector v n a] -> Encoding