1. Overview
  2. Docs
type 'a error_or = ('a, string) Result.result
val (>>=) : 'a error_or -> ('a -> 'b error_or) -> 'b error_or
val (>|=) : 'a error_or -> ('a -> 'b) -> 'b error_or
val map_bind : ('a -> 'b error_or) -> 'b list -> 'a list -> 'b list error_or
val safe_map : ('a -> 'b) -> 'a list -> 'b list

safe_map f l returns the same value as List.map f l, but computes it tail-recursively so that large list lengths don't cause a stack overflow

module List : module type of List

List operations.

module String : module type of String

String operations.

module Bytes : module type of Bytes

Byte sequence operations.

module Int32 : module type of Int32

32-bit integers.

module Int64 : module type of Int64

64-bit integers.

module Nativeint : module type of Nativeint

Processor-native integers.

module Array : module type of Array

Array operations.

module Result : sig ... end