Module Value.Match

This module can be used to handle several cases in parallel instead of using a sequence of nested matches or if/then/else chains.

The combinators in the module are designed to be used as follows:

  let lift v = Match.(begin
      switch v @@
      case memory_load   (fun x -> `Load x)  @@
      case memory_store  (fun x -> `Store x) @@
      case register_read (fun x -> `Read x)  @@
      default (fun () -> `Unknown)
    end)

Note: in the example, the whole expression will build and then match. In case when performance matter, and when there is more then one match, it is recommended to evaluate a matching object first, and return a function, that matches values. For this there is a select combinator:

  let lift =
    Match.(begin
        select @@
        case memory_load   (fun x -> `Load x)  @@
        case memory_store  (fun x -> `Store x) @@
        case register_read (fun x -> `Read x)  @@
        default (fun () -> `Unknown)
      end)

switch x matcher applies matcher to value x

select matcher x applies matcher to value x. select is the same as Fn.flip switch.

case tag action matcher adds an action to matcher that will be invoked for values with a a given tag

default def creates an empty matcher with default handler def.