Source file `olmiOption.ml`

1
2
3
4
5
6
7
8
9
10
11
open Olmi

module Requirement = Make.WithBind(struct
    type 'a t = 'a option
    let return x = Some x
    let bind x f = match x with
      | Some v -> f v
      | None -> None
  end)

include Make.Monad(Requirement)