Module type Relude_ListZipper.TRAVERSABLE_F

Parameters

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));