package spin

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

include module type of struct include Base.Result end

type (!'ok, !'err) t = ('ok, 'err) Base__.Import.Stdlib.result =

val t_of_sexp : 
  (Sexplib0__.Sexp.t -> 'a) ->
  (Sexplib0__.Sexp.t -> 'b) ->
  Sexplib0__.Sexp.t ->
  ('a, 'b) t

val sexp_of_t : 
  ('a -> Sexplib0__.Sexp.t) ->
  ('b -> Sexplib0__.Sexp.t) ->
  ('a, 'b) t ->
  Sexplib0__.Sexp.t

val t_sexp_grammar : 
  'ok Sexplib0.Sexp_grammar.t ->
  'err Sexplib0.Sexp_grammar.t ->
  ('ok, 'err) t Sexplib0.Sexp_grammar.t

val compare : 
  'a Base__Ppx_compare_lib.compare ->
  'b Base__Ppx_compare_lib.compare ->
  ('a, 'b) t Base__Ppx_compare_lib.compare

val equal : 
  'a Base__Ppx_compare_lib.equal ->
  'b Base__Ppx_compare_lib.equal ->
  ('a, 'b) t Base__Ppx_compare_lib.equal

val globalize : 
  ('ok -> 'ok) ->
  ('err -> 'err) ->
  ('ok, 'err) t ->
  ('ok, 'err) t

val hash_fold_t : 
  'a Base__Ppx_hash_lib.hash_fold ->
  'b Base__Ppx_hash_lib.hash_fold ->
  ('a, 'b) t Base__Ppx_hash_lib.hash_fold

val (>>=) : ('a, 'e) t -> ('a -> ('b, 'e) t) -> ('b, 'e) t

val (>>|) : ('a, 'e) t -> ('a -> 'b) -> ('b, 'e) t

module Monad_infix : sig ... end

val bind : ('a, 'e) t -> f:('a -> ('b, 'e) t) -> ('b, 'e) t

val return : 'a -> ('a, 'b) t

val join : (('a, 'e) t, 'e) t -> ('a, 'e) t

val ignore_m : ('a, 'e) t -> (unit, 'e) t

val all : ('a, 'e) t list -> ('a list, 'e) t

val all_unit : (unit, 'e) t list -> (unit, 'e) t

module Error : sig ... end

val invariant : 
  'a Base__Invariant_intf.inv ->
  'b Base__Invariant_intf.inv ->
  ('a, 'b) t Base__Invariant_intf.inv

val fail : 'err -> ('a, 'err) t

val failf : ('a, unit, string, ('b, string) t) Stdlib.format4 -> 'a

val is_ok : ('a, 'b) t -> bool

val is_error : ('a, 'b) t -> bool

val ok : ('ok, 'a) t -> 'ok option

val ok_exn : ('ok, exn) t -> 'ok

val ok_or_failwith : ('ok, string) t -> 'ok

val error : ('a, 'err) t -> 'err option

val of_option : 'ok option -> error:'err -> ('ok, 'err) t

val iter : ('ok, 'a) t -> f:('ok -> unit) -> unit

val iter_error : ('a, 'err) t -> f:('err -> unit) -> unit

val map : ('ok, 'err) t -> f:('ok -> 'c) -> ('c, 'err) t

val map_error : ('ok, 'err) t -> f:('err -> 'c) -> ('ok, 'c) t

val combine : 
  ('ok1, 'err) t ->
  ('ok2, 'err) t ->
  ok:('ok1 -> 'ok2 -> 'ok3) ->
  err:('err -> 'err -> 'err) ->
  ('ok3, 'err) t

val combine_errors : ('ok, 'err) t list -> ('ok list, 'err list) t

val combine_errors_unit : (unit, 'err) t list -> (unit, 'err list) t

val to_either : ('ok, 'err) t -> ('ok, 'err) Base__.Either0.t

val of_either : ('ok, 'err) Base__.Either0.t -> ('ok, 'err) t

val ok_fst : ('ok, 'err) t -> ('ok, 'err) Base__.Either0.t

val ok_if_true : bool -> error:'err -> (unit, 'err) t

val try_with : (unit -> 'a) -> ('a, exn) t

module Export : sig ... end

module Let_syntax : sig ... end

val fold_left : f:('a -> (unit, 'b) t) -> 'a List.t -> (unit, 'b) t

val fold_right : f:('a -> (unit, 'b) t) -> 'a List.t -> (unit, 'b) t