package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Library
Module
Module type
Parameter
Class
Class type

Utility functions for 'a option type.

val absorb : ('a -> 'b option) -> 'a0 option -> 'b0 option
val absorb2 : ('a -> 'b -> 'c option) -> 'a0 option -> 'b0 option -> 'c0 option
val neutral2 : ('a -> 'a -> 'a) -> 'a0 option -> 'a1 option -> 'a2 option
val merge : ('b -> 'a) -> ('c -> 'a0) -> ('b0 -> 'c0 -> 'a1) -> 'a2 -> 'b1 option -> 'c1 option -> 'a3
val equal : ('a -> 'b -> bool) -> 'a0 option -> 'b0 option -> bool
val included : ('a -> 'b -> bool) -> 'a0 option -> 'b0 option -> bool
val apply : ('b -> 'a) -> 'a0 -> 'b0 option -> 'a1
val apply2 : ('a -> 'b -> 'c) -> 'c0 -> 'a0 option -> 'b0 option -> 'c1
val default : 'a -> 'a0 option -> 'a1
val compare : ('a -> 'a -> int) -> 'a0 option -> 'a1 option -> int
exception Found_None
val raise_none : unit -> 'a
val catch_none : 'b -> ('a -> 'b0) -> 'a0 -> 'b1
val none_to_exn : 'a option -> 'a0
val exn_to_none : ('a -> 'b) -> 'a0 -> 'b0 option
val print : ?none:string -> ?some:string -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'b option -> unit
val return : 'a -> 'b option
val bind : ('a -> 'b option) -> 'a0 option -> 'b0 option
val lift : ('a -> 'b) -> 'a0 option -> 'b0 option
val lift2 : ('a -> 'b -> 'c) -> 'a0 option -> 'b0 option -> 'c0 option
val lift_list : 'a option list -> 'a0 list option
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct