json-data-encoding
Type-safe encoding to and decoding from JSON
Description
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 28 Jan 2021
- Authors
- Maintainers
Sources
json-data-encoding-0.9.1.tar.gz
md5=037e172c8d789b1aea953bb59936626c
sha512=725669d5f33cf17104c6a3198ff55325514b787066ae6413dbd974ae13be5288bf9e7cc3418468ad5b5acbefb798c2cb208233dec24a372b135065ad04d9644c
Dependencies
Reverse Dependencies
bechamel-js
>= "0.3.0"
data-encoding
>= "0.3" & < "0.5"
goblint
>= "2.0.0"
json-data-encoding-browser
= "0.9.1"
json-data-encoding-bson
= "0.9.1"
ppx_deriving_encoding
>= "0.2.2"
resto
>= "0.6"
resto-json
>= "0.6"