[tiger.ml.git] / compiler / src / lib / tiger / tiger_opt.ml

type 'a t = 'a option

let map t f =
  match t with
  | None   -> None
  | Some x -> Some (f x)

let iter t ~f =
  ignore (map t f)

let get t ~default =
  match t with
  | None   -> default
  | Some x -> x
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