package stdcompat

  1. Overview
  2. Docs
package stdcompat
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Stdlib.EitherSource

Sourcetype ('a, 'b) t = ('a, 'b) Either.t =
  1. | Left of 'a
  2. | Right of 'b
  • since 4.12.0: type ('a, 'b) t =

| Left of 'a | Right of 'b

Sourceval left : 'a -> ('a, 'b) t
  • since 4.12.0: val left : 'a -> ('a, 'b) t
Sourceval right : 'b -> ('a, 'b) t
  • since 4.12.0: val right : 'b -> ('a, 'b) t
Sourceval is_left : ('a, 'b) t -> bool
  • since 4.12.0: val is_left : ('a, 'b) t -> bool
Sourceval is_right : ('a, 'b) t -> bool
  • since 4.12.0: val is_right : ('a, 'b) t -> bool
Sourceval find_left : ('a, 'b) t -> 'a option
  • since 4.12.0: val find_left : ('a, 'b) t -> 'a option
Sourceval find_right : ('a, 'b) t -> 'b option
  • since 4.12.0: val find_right : ('a, 'b) t -> 'b option
Sourceval map_left : ('a1 -> 'a2) -> ('a1, 'b) t -> ('a2, 'b) t
  • since 4.12.0: val map_left : ('a1 -> 'a2) -> ('a1, 'b) t -> ('a2, 'b) t
Sourceval map_right : ('b1 -> 'b2) -> ('a, 'b1) t -> ('a, 'b2) t
  • since 4.12.0: val map_right : ('b1 -> 'b2) -> ('a, 'b1) t -> ('a, 'b2) t
Sourceval map : left:('a1 -> 'a2) -> right:('b1 -> 'b2) -> ('a1, 'b1) t -> ('a2, 'b2) t
  • since 4.12.0:

val map : left:('a1 -> 'a2) -> right:('b1 -> 'b2) -> ('a1, 'b1) t -> ('a2, 'b2) t

Sourceval fold : left:('a -> 'c) -> right:('b -> 'c) -> ('a, 'b) t -> 'c
  • since 4.12.0:

val fold : left:('a -> 'c) -> right:('b -> 'c) -> ('a, 'b) t -> 'c

Sourceval iter : left:('a -> unit) -> right:('b -> unit) -> ('a, 'b) t -> unit
  • since 4.12.0:

val iter : left:('a -> unit) -> right:('b -> unit) -> ('a, 'b) t -> unit

Sourceval for_all : left:('a -> bool) -> right:('b -> bool) -> ('a, 'b) t -> bool
  • since 4.12.0:

val for_all : left:('a -> bool) -> right:('b -> bool) -> ('a, 'b) t -> bool

Sourceval equal : left:('a -> 'a -> bool) -> right:('b -> 'b -> bool) -> ('a, 'b) t -> ('a, 'b) t -> bool
  • since 4.12.0:

val equal : left:('a -> 'a -> bool) -> right:('b -> 'b -> bool) -> ('a, 'b) t -> ('a, 'b) t -> bool

Sourceval compare : left:('a -> 'a -> int) -> right:('b -> 'b -> int) -> ('a, 'b) t -> ('a, 'b) t -> int
  • since 4.12.0:

val compare : left:('a -> 'a -> int) -> right:('b -> 'b -> int) -> ('a, 'b) t -> ('a, 'b) t -> int

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