Source file `tuple_clause.ml`

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

let tuple_core_types ~core_type =
  match core_type.ptyp_desc with
  | Ptyp_tuple core_types -> Some core_types
  | _ -> None
;;

let maybe_match type_ (_ : Ctx.t) =
  let%bind core_type = Type_.match_core_type type_ in
  let%map tuple_core_types = tuple_core_types ~core_type in
  ({ children = List.map tuple_core_types ~f:Type_.core_type
   ; apply_functor =
       (fun ctx children_modules ->
         let children = List.zip_exn tuple_core_types children_modules in
         Nested_tuple.streamable_of_tuple ctx children)
   }
    : Clause.Match.t)
;;