simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-06 11:15:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Formatting

Browse source 
Formatting had to be done manually due to mismatching ocamlformat installations.
This commit is contained in:
NoahBatchelor 2024-07-19 12:49:57 -05:00
parent 752dd189f6
commit 01224f5988
4 changed files with 13 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/core/CCOption.ml
View file

@ -55,10 +55,9 @@ let[@inline] bind o f = flat_map f o
let ( >>= ) = bind
let pure x = Some x
let k_compose f g =
(fun x -> f x |> flat_map g)
let k_compose f g x = f x |> flat_map g
let ( >=> ) = k_compose
let ( <=< ) f g = (>=>) g f
let ( <=< ) f g = g >=> f
let ( <*> ) f x =
match f, x with

6
src/core/CCOption.mli
View file

@ -58,7 +58,7 @@ val bind : 'a t -> ('a -> 'b t) -> 'b t
Monadic bind.
@since 3.0 *)
val k_compose : ('a -> 'b t) -> ('b -> 'c t) -> ('a -> 'c t)
val k_compose : ('a -> 'b t) -> ('b -> 'c t) -> 'a -> 'c t
(** Kleisli composition. Monadic equivalent of CCFun.compose *)
val map2 : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
@ -192,10 +192,10 @@ module Infix : sig
val ( let* ) : 'a t -> ('a -> 'b t) -> 'b t
val ( and* ) : 'a t -> 'b t -> ('a * 'b) t
val ( >=> ) : ('a -> 'b t) -> ('b -> 'c t) -> ('a -> 'c t)
val ( >=> ) : ('a -> 'b t) -> ('b -> 'c t) -> 'a -> 'c t
(** Monadic [k_compose]. *)
val ( <=< ) : ('b -> 'c t) -> ('a -> 'b t) -> ('a -> 'c t)
val ( <=< ) : ('b -> 'c t) -> ('a -> 'b t) -> 'a -> 'c t
(** Reverse monadic [k_compose]. *)
end

5
src/core/CCResult.ml
View file

@ -132,11 +132,10 @@ let flat_map f e =
| Ok x -> f x
| Error s -> Error s
let k_compose f g =
(fun x -> flat_map g @@ f x)
let k_compose f g x = f x |> flat_map g
let ( >=> ) = k_compose
let ( <=< ) f g = ( >=> ) g f
let ( <=< ) f g = g >=> f
let equal ~err eq a b =
match a, b with

9
src/core/CCResult.mli
View file

@ -120,7 +120,8 @@ val catch : ('a, 'err) t -> ok:('a -> 'b) -> err:('err -> 'b) -> 'b
val flat_map : ('a -> ('b, 'err) t) -> ('a, 'err) t -> ('b, 'err) t
val k_compose : ('a -> ('b, 'err) t) -> ('b -> ('c, 'err) t) -> ('a -> ('c, 'err) t)
val k_compose :
('a -> ('b, 'err) t) -> ('b -> ('c, 'err) t) -> 'a -> ('c, 'err) t
(** Kleisli composition. Monadic equivalent of CCFun.compose *)
val equal : err:'err equal -> 'a equal -> ('a, 'err) t equal
@ -212,10 +213,12 @@ module Infix : sig
val ( and* ) : ('a, 'e) t -> ('b, 'e) t -> ('a * 'b, 'e) t
(** @since 2.8 *)
val ( >=> ) : ('a -> ('b, 'err) t) -> ('b -> ('c, 'err) t) -> ('a -> ('c, 'err) t)
val ( >=> ) :
('a -> ('b, 'err) t) -> ('b -> ('c, 'err) t) -> 'a -> ('c, 'err) t
(** Monadic [k_compose]. *)
val ( <=< ) : ('b -> ('c, 'err) t) -> ('a -> ('b, 'err) t) -> ('a -> ('c, 'err) t)
val ( <=< ) :
('b -> ('c, 'err) t) -> ('a -> ('b, 'err) t) -> 'a -> ('c, 'err) t
(** Reverse monadic [k_compose]. *)
end