package base

  1. Overview
  2. Docs
Full standard library replacement for OCaml

Install 

dune-project
 Dependency

github.com Changelog MIT License Edit opam file Versions (20)

Authors

  1. J
    Jane Street Group, LLC

Maintainers

  1. J
    Jane Street developers

Sources

v0.16.5.tar.gz
md5=109456ad2350671ad3159cbbca993e3e
sha512=445d08b965e0d559e4046b874f611c8f36de47fa5c23a047146f48ee638588c1b73789a7adb5ead235c0ad2f44b56fd513a6d60bcb8b6c9f11566d32fd7760f2

doc/base/Base/Either/index.html

Module Base.EitherSource

Sourcetype ('f, 's) t =
  1. | First of 'f
  2. | Second of 's
Sourceval compare : ('a -> 'a -> int) -> ('b -> 'b -> int) -> ('a, 'b) t -> ('a, 'b) t -> int
Sourceval hash_fold_t : (Hash.state -> 'a -> Hash.state) -> (Hash.state -> 'b -> Hash.state) -> Hash.state -> ('a, 'b) t -> Hash.state
include Sexplib0.Sexpable.S2 with type ('f, 's) t := ('f, 's) t
Sourceval t_of_sexp : (Sexplib0.Sexp.t -> 'a) -> (Sexplib0.Sexp.t -> 'b) -> Sexplib0.Sexp.t -> ('a, 'b) t
Sourceval sexp_of_t : ('a -> Sexplib0.Sexp.t) -> ('b -> Sexplib0.Sexp.t) -> ('a, 'b) t -> Sexplib0.Sexp.t
include Invariant.S2 with type ('a, 'b) t := ('a, 'b) t
Sourceval invariant : ('a -> unit) -> ('b -> unit) -> ('a, 'b) t -> unit
Sourceval swap : ('f, 's) t -> ('s, 'f) t
Sourceval value : ('a, 'a) t -> 'a
Sourceval iter : ('a, 'b) t -> first:('a -> unit) -> second:('b -> unit) -> unit
Sourceval value_map : ('a, 'b) t -> first:('a -> 'c) -> second:('b -> 'c) -> 'c
Sourceval map : ('a, 'b) t -> first:('a -> 'c) -> second:('b -> 'd) -> ('c, 'd) t
Sourceval equal : ('f -> 'f -> bool) -> ('s -> 's -> bool) -> ('f, 's) t -> ('f, 's) t -> bool
Sourcemodule type Focused = sig ... end
Sourcemodule First : Focused with type ('a, 'b) t = ('a, 'b) t
Sourcemodule Second : Focused with type ('a, 'b) t = ('b, 'a) t
Sourceval is_first : (_, _) t -> bool
Sourceval is_second : (_, _) t -> bool
Sourceval first : 'f -> ('f, _) t

first and second are First.return and Second.return.

Sourceval second : 's -> (_, 's) t