package bastet

  1. Overview
  2. Docs
package bastet
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module 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
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 (M : MONOID) : sig ... end
module Fold_Map_Any (M : MONOID_ANY) : sig ... end
module Fold_Map_Plus (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