package streamable

You can search for identifiers within the package.

in-package search v0.2.0

A collection of types suitable for incremental serialization.

Install

Dune Dependency

github.com Changelog MIT License Edit opam file Versions (3)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

v0.17.0.tar.gz

sha256=4c59a31870f77b89727e2f986727a2ed865e8336df4b409b716dd6508d9b8a63

doc/src/ppx_streamable/module_dot_t_clause.ml.html

Source file `module_dot_t_clause.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
open! Base
open! Import

let maybe_match type_ (_ : Ctx.t) =
  let%bind core_type = Type_.match_core_type type_ in
  let%map module_name = Helpers.if_module_dot_t_then_module core_type
  and () =
    match core_type.ptyp_desc with
    | Ptyp_constr (_, []) -> Some ()
    | _ -> None
  in
  ({ children = []
   ; apply_functor =
       (fun { loc; _ } children ->
         assert (List.is_empty children);
         pmod_ident ~loc module_name)
   }
    : Clause.Match.t)
;;