Module type `Interface.BITRAVERSABLE_F`

Parameters

A : APPLICATIVE

Signature

include BIFUNCTOR

type ('a, 'b) t

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

include 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 : MONOID) -> sig ... end

module Fold_Map_Any : functor (M : MONOID_ANY) -> sig ... end

module Fold_Map_Plus : functor (P : 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