Module Bastet__Tuple.Bitraversable

Parameters

Signature

include Bastet.Interface.BIFUNCTOR
type ('a, 'b) t
val bimap : ('a -> 'b) -> ('c -> 'd) -> ('a, 'c) t -> ('b, 'd) t
include Bastet.Interface.BIFOLDABLE with type ('a, 'b) t := ('a, 'b) t
type ('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
module Fold_Map : functor (M : Bastet.Interface.MONOID) -> sig ... end
module Fold_Map_Any : functor (M : Bastet.Interface.MONOID_ANY) -> sig ... end
module Fold_Map_Plus : functor (P : Bastet.Interface.PLUS) -> sig ... end
type '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