Commit | Line | Data |
---|---|---|
d1fe69d3 SK |
1 | type 'a t = 'a option |
2 | ||
3 | let map t f = | |
4 | match t with | |
5 | | None -> None | |
6 | | Some x -> Some (f x) | |
7 | ||
eb9263c8 SK |
8 | let iter t ~f = |
9 | ignore (map t f) | |
10 | ||
d1fe69d3 SK |
11 | let get t ~default = |
12 | match t with | |
13 | | None -> default | |
14 | | Some x -> x |