Functor Validation.Make

module Make: 
functor (S : Semigroup.S) -> sig .. end

include Applicative.S

val fail : S.t -> 'a t

val map_errors : (S.t -> S.t) -> 'a t -> 'a t

val fold : (S.t -> 'b) -> ('a -> 'b) -> 'a t -> 'b

val maybe_errors : 'a t -> S.t option

val maybe_result : 'a t -> 'a option

val to_either : 'a t -> (S.t, 'a) Either.t

val of_either : (S.t, 'a) Either.t -> 'a t