package bastet

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Result.Bitraversable`Source

module A : Interface.APPLICATIVE

include Interface.BIFUNCTOR with type ('a, 'b) t = ('a, 'b) result

Sourcetype ('a, 'b) t = ('a, 'b) result

Sourceval bimap : ('a -> 'b) -> ('c -> 'd) -> ('a, 'c) t -> ('b, 'd) t

include Interface.BIFOLDABLE with type ('a, 'b) t := ('a, 'b) t

val bifold_left : 
  ('c -> 'a -> 'c) ->
  ('c -> 'b -> 'c) ->
  'c ->
  ('a, 'b) t ->
  'c

val bifold_right : 
  ('a -> 'c -> 'c) ->
  ('b -> 'c -> 'c) ->
  'c ->
  ('a, 'b) t ->
  'c

Sourcemodule Fold_Map (M : Interface.MONOID) : sig ... end

Sourcemodule Fold_Map_Any (M : Interface.MONOID_ANY) : sig ... end

Sourcemodule Fold_Map_Plus (P : Interface.PLUS) : sig ... end

Sourcetype 'a applicative_t = 'a A.t

val bitraverse : 
  ('a -> 'c applicative_t) ->
  ('b -> 'd applicative_t) ->
  ('a, 'b) t ->
  ('c, 'd) t applicative_t

val bisequence : 
  ('a applicative_t, 'b applicative_t) t ->
  ('a, 'b) t applicative_t