package coq-core

  1. Overview
  2. Docs
package coq-core
Legend:
Library
Module
Module type
Parameter
Class
Class type

When returning a list of same type as the input, maximally shares the suffix of the output which is physically equal to the corresponding suffix of the input

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

Like List.map but sharing with the input the longest suffix of the output which is physically the same as the input; in particular, Smart.map f l == l (physically) if f a == a (physically) for all members of the list

val fold_left_map : ('a -> 'b -> 'a * 'b) -> 'a -> 'b list -> 'a * 'b list

Idem for the second argument of List.fold_left_map f e l relatively to the second argument of f

val fold_right_map : ('b -> 'a -> 'b * 'a) -> 'b list -> 'a -> 'b list * 'a

Idem for the first argument of List.fold_right_map f l e relatively to the second argument of f

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