package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
val cons : 'a option -> 'a list -> 'a list

List.cons x l equals y::l if x is Some y and l otherwise.

val flatten : 'a option list -> 'a list

List.flatten l is the list of all the ys such that l contains Some y (in the same order).

val find : ('a -> 'b option) -> 'a list -> 'b option

List.find f l is the first f a different from None, scrolling through elements a of l in left-to-right order; it is None if no such element exists.

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

List.map f [a1;...;an] is the list Some [b1;...;bn] if for all i, there is a bi such that f ai is Some bi; it is None if, for at least one i, f ai is None.

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