package base

  1. Overview
  2. Docs

Module Either.FirstSource

Sourcetype ('a, 'b) t = ('a, 'b) t
include Monad.S2_local with type ('a, 'b) t := ('a, 'b) t
Sourceval (>>=) : ('a, 'e) t -> ('a -> ('b, 'e) t) -> ('b, 'e) t
Sourcemodule Let_syntax : sig ... end
Sourcemodule Monad_infix : sig ... end

Same as Infix, except the monad type has two arguments. The second is always just passed through.

Sourceval bind : ('a, 'e) t -> f:('a -> ('b, 'e) t) -> ('b, 'e) t
Sourceval join : (('a, 'e) t, 'e) t -> ('a, 'e) t
Sourceval ignore_m : (_, 'e) t -> (unit, 'e) t
include Applicative.S2_local with type ('a, 'b) t := ('a, 'b) t
Sourceval return : 'a -> ('a, _) t
Sourceval map : ('a, 'e) t -> f:('a -> 'b) -> ('b, 'e) t
Sourceval both : ('a, 'e) t -> ('b, 'e) t -> ('a * 'b, 'e) t
Sourceval (<*>) : ('a -> 'b, 'e) t -> ('a, 'e) t -> ('b, 'e) t
Sourceval (<*) : ('a, 'e) t -> (unit, 'e) t -> ('a, 'e) t
Sourceval (*>) : (unit, 'e) t -> ('a, 'e) t -> ('a, 'e) t
Sourceval (>>|) : ('a, 'e) t -> ('a -> 'b) -> ('b, 'e) t
Sourceval apply : ('a -> 'b, 'e) t -> ('a, 'e) t -> ('b, 'e) t
Sourceval map2 : ('a, 'e) t -> ('b, 'e) t -> f:('a -> 'b -> 'c) -> ('c, 'e) t
Sourceval map3 : ('a, 'e) t -> ('b, 'e) t -> ('c, 'e) t -> f:('a -> 'b -> 'c -> 'd) -> ('d, 'e) t
Sourceval all : ('a, 'e) t list -> ('a list, 'e) t
Sourceval all_unit : (unit, 'e) t list -> (unit, 'e) t
Sourcemodule Applicative_infix : sig ... end
Sourceval value : ('a, _) t -> default:'a -> 'a
Sourceval to_option : ('a, _) t -> 'a option
Sourceval with_return : ('a With_return.return -> 'b) -> ('a, 'b) t
Sourceval combine : ('a, 'd) t -> ('b, 'd) t -> f:('a -> 'b -> 'c) -> other:('d -> 'd -> 'd) -> ('c, 'd) t
Sourceval combine_all : ('a, 'b) t list -> f:('b -> 'b -> 'b) -> ('a list, 'b) t
Sourceval combine_all_unit : (unit, 'b) t list -> f:('b -> 'b -> 'b) -> (unit, 'b) t