Module type `Relude_ListZipper.TRAVERSABLE_F`

Parameters

A: BsBastet.Interface.APPLICATIVE

Signature

type t('a) = t('a);

let map: ('a => 'b) => t('a) => t('b);
let fold_left: ('a => 'b => 'a) => 'a => t('b) => 'a;
let fold_right: ('b => 'a => 'a) => 'a => t('b) => 'a;

module Fold_Map: (M: BsBastet.Interface.MONOID) => { ... };

module Fold_Map_Any: (M: BsBastet.Interface.MONOID_ANY) => { ... };

module Fold_Map_Plus: (P: BsBastet.Interface.PLUS) => { ... };

type applicative_t('a) = A.t('a);

let traverse: ('a => applicative_t('b)) => t('a) => applicative_t(t('b));
let sequence: t(applicative_t('a)) => applicative_t(t('a));