package extlib

  1. Overview
  2. Docs
A complete yet small extension for OCaml standard library (reduced, recommended)

Install 

dune-project
 Dependency

github.com Edit opam file Versions (8)

Authors

  1. N
    Nicolas Cannasse
  2. B
    Brian Hurt
  3. Y
    Yamagata Yoriyuki
  4. M
    Markus Mottl
  5. J
    Jesse Guardiani
  6. J
    John Skaller
  7. B
    Bardur Arantsson
  8. J
    Janne Hellsten
  9. R
    Richard W.M. Jones
  10. Y
    ygrek
  11. Gabriel Scherer
  12. P
    Pietro Abate

Maintainers

  1. Y
    ygrek@autistici.org

Sources

extlib-1.7.6.tar.gz
sha256=bf05e578ad16b1dd6c8b301e8c31805e9d9075e324882357bbaa481f3610da71
md5=b976093ef23b7d60fc1c8f0380c4f76a

doc/extlib/Option/index.html

Module Option

Functions for the option type.

Options are an Ocaml standard type that can be either None (undefined) or Some x where x can be any value. Options are widely used in Ocaml to represent undefined values (a little like NULL in C, but in a type and memory safe way). This module adds some functions for working with options.

val may : ('a -> unit) -> 'a option -> unit

may f (Some x) calls f x and may f None does nothing.

val map : ('a -> 'b) -> 'a option -> 'b option

map f (Some x) returns Some (f x) and map None returns None.

val default : 'a -> 'a option -> 'a

default x (Some v) returns v and default x None returns x.

val map_default : ('a -> 'b) -> 'b -> 'a option -> 'b

map_default f x (Some v) returns f v and map_default f x None returns x.

val is_none : 'a option -> bool

is_none None returns true otherwise it returns false.

val is_some : 'a option -> bool

is_some (Some x) returns true otherwise it returns false.

val get : 'a option -> 'a

get (Some x) returns x and get None raises No_value.

exception No_value

Raised when calling get None.