package fmlib

  1. Overview
  2. Docs
Functional monadic library

Install

Dune Dependency

Authors

Maintainers

Sources

0.2.0.tar.gz
sha256=d47f6539af49a4c3e947dbfbe416c1e78d534897cd6d9d8e3660aae0cf8d9494
md5=d649b8a62403362bd3a24cbf1a9af590

doc/fmlib.fmlib_std/Fmlib_std/Option/index.html

Module Fmlib_std.Option

Optional elements of a certain type.

type 'a t = 'a option

'a t Type of an optional object of type 'a

val return : 'a -> 'a t

return a Equivalent to Some a.

val fail : 'a t

Equivalent to None.

val (let*) : 'a t -> ('a -> 'b t) -> 'b t

Chaining of operations which return optional elements.

Example:

    let* a = op1 ... in (* 'op1 ... ' returns an optional element *)
    let* b = op2 ... in
    let* c = op3 ... in
    ...
    return (f a b c ...)
val (>>=) : 'a t -> ('a -> 'b t) -> 'b t

opt >>= f Equivalent to let* v = opt in f v.

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

map f m Map the element of m by f, if exists.

val to_list : 'a t -> 'a list

to_list a Returns a one element list or an empty list.

OCaml

Innovation. Community. Security.