-
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
24 changed files
with
8 additions
and
3,481 deletions.
There are no files selected for viewing
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,108 +1,3 @@ | ||
# serde.ml | ||
# serde_json | ||
|
||
A serialization framework for OCaml inspired by [serde-rs](https://github.com/serde-rs). | ||
|
||
The main goals for `serde.ml` are: | ||
|
||
* **Serialization** -- take arbitary data structures from the user and turn them into specific formats with maximum efficiency. | ||
|
||
* **Deserialization** -- read arbitrary data that you parse into data structures of the user's choice with maximum efficiency. | ||
|
||
> NOTE: this is _super not ready_ for production yet, but all contributions are welcome <3 | ||
```ocaml | ||
type rank = Captain | Chief_petty_officer [@@deriving serializer, deserializer] | ||
type t = { name : string; rank : rank } [@@deriving serializer, deserializer] | ||
let obrien = { name = "Miles O'Brien"; rank = Chief_petty_officer } | ||
let sisko = { name = "Benjamin Sisko"; rank = Captain } | ||
> Serde_json.to_string_pretty (serialize_t) obrien | ||
Ok "{ \"name\": \"Miles O'Brien\", \"rank\": \"Chief_petty_officer\" }" | ||
> Serde_json.of_string (deserialize_t) "{ \"name\": \"Miles O'Brien\", \"rank\": \"Chief_petty_officer\" }" | ||
Ok {name = "Miles O'Brien"; rank = Chief_petty_officer} | ||
> Serde_sexpr.to_string_pretty (serialize_t) obrien;; | ||
Ok "(\"Miles O'Brien\" :Chief_petty_officer)" | ||
> Serde_sexpr.of_string (deserialize_t) "(\"Miles O'Brien\" :Chief_petty_officer)";; | ||
Ok {name = "Miles O'Brien"; rank = Chief_petty_officer} | ||
``` | ||
|
||
### Usage | ||
|
||
Set up the `serde_derive` ppx, and bring in any data format modules you want to use. Here we bring s-expressions and json. | ||
|
||
```dune | ||
(library | ||
(name my_lib) | ||
(preprocess (pps serde_derive)) | ||
(libraries serde serde_derive serde_sexpr serde_json)) | ||
``` | ||
|
||
Tag your data structures with `deriving (serializer, deserializer)`. | ||
|
||
```ocaml | ||
open Serde | ||
type t = | ||
| Hello | ||
| Tuple1 of string | ||
| Tuple2 of string * bool | ||
| Record3 of { name : string; favorite_number : int; location : string } | ||
[@@deriving (serializer, deserializer)] | ||
``` | ||
|
||
Now you have a `serialize_{typeName}` and `deserialize_{typeName}` functions that you can pass into the different data format modules. | ||
|
||
To read data, use `deserialize_t` like this: | ||
|
||
```ocaml | ||
let sexpr = "(:Record3 (\"Benjamin Sisko\" 9 \"Bajor\"))" in | ||
let* t = Serde_sexpr.of_string deserialize_t sexpr in | ||
t = (Record3 { name = "Benjamin Sisko"; favorite_number = 9; location = "Bajor" }) | ||
``` | ||
|
||
To render data, use `serialize_t` like this: | ||
|
||
```ocaml | ||
let t = (Record3 { name = "Benjamin Sisko"; favorite_number = 9; location = "Bajor" }) in | ||
let* sexpr = Serde_sexpr.to_string_pretty serialize_t t in | ||
sexpr = "(:Record3 (\"Benjamin Sisko\" 9 \"Bajor\"))" | ||
``` | ||
|
||
To transcode data across formats, switch the data module: | ||
|
||
```ocaml | ||
(* read sexpr *) | ||
let sexpr = "(:Record3 (\"Benjamin Sisko\" 9 \"Bajor\"))" in | ||
let* t = Serde_sexpr.of_string deserialize_t sexpr in | ||
(* write json *) | ||
let* json = Serde_json.to_string_pretty serialize_t t in | ||
json = "{ | ||
\"t#Record3\": { | ||
\"name\": \"Benjamin Sisko\", | ||
\"favorite_number\": 9, | ||
\"location\": \"Deep Space 9\" | ||
} | ||
}" | ||
``` | ||
|
||
## Contributing | ||
|
||
Check the [CONTRIBUTING.md](./CONTRIBUTING.md) for a small guide on how to | ||
implement new data formats. | ||
|
||
## Advanced Use: Custom Serializer/Deserializer | ||
|
||
Serde.ml is capable of deriving the right serializer/deserializer for your | ||
types (and it if doesn't, that's a bug!) but in some cases you want to fit some | ||
external data format into an existing internal representation without having to | ||
add an extra layer. | ||
|
||
In those cases, you can implement a Serde _Visitor_ and customize absolutely | ||
everything about it. You can get started by using `serde_derive` and `dune | ||
describe pp` to expand the derivation. This will give you a solid starting | ||
point for your data type, where you can see how the generated Visitor drives | ||
the Deserializer by asking it to deserialize specific datatypes. | ||
JSON support for Serde, a serialization framework for OCaml. |
This file was deleted.
Oops, something went wrong.
Oops, something went wrong.