module Second: Either_intf.Focused
with type ('a, 'b) t = ('b, 'a) t
type (+'focus, +'other)
t
include Monad.S2
include Applicative.S2
include Container.S1_phantom
module Args: Applicative.Args2
with type ('a, 'e) arg := ('a, 'e) t
val value : ('a, 'b) t -> default:'a -> 'a
val to_option : ('a, 'b) t -> 'a option
val with_return : ('a With_return.return -> 'b) -> ('a, 'b) t
val combine : ('a, 'd) t ->
('b, 'd) t ->
f:('a -> 'b -> 'c) ->
other:('d -> 'd -> 'd) -> ('c, 'd) t
val combine_all : ('a, 'b) t list ->
f:('b -> 'b -> 'b) -> ('a list, 'b) t
val combine_all_unit : (unit, 'b) t list ->
f:('b -> 'b -> 'b) -> (unit, 'b) t