プログラミング言語SML#解説 3.7.1版
26 Standard ML標準ライブラリ

26.22 OPTION

オプション型とプリミティブを提供.

signature OPTION =
sig
  datatype ’a option = NONE | SOME of ’a
  exception Option
  val app : (’a -> unit) -> ’a option -> unit
  val compose : (’a -> ’b) * (’c -> ’a option) -> ’c -> ’b option
  val composePartial : (’a -> ’b option) * (’c -> ’a option) -> ’c -> ’b option
  val filter : (’a -> bool) -> ’a -> ’a option
  val getOpt : ’a option * ’a -> ’a
  val isSome : ’a option -> bool
  val join : ’a option option -> ’a option
  val map : (’a -> ’b) -> ’a option -> ’b option
  val mapPartial : (’a -> ’b option) -> ’a option -> ’b option
  val valOf : ’a option -> ’a
end
  • Option : OPTION