Module `WithError.WithApplicative`

Parameters

A: BsBastet.Interface.APPLICATIVE

Signature

module Traversable: BsBastet.Interface.TRAVERSABLE with type Traversable.t('a) = t('a) and type Traversable.applicative_t('a) = A.t('a);

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

include { ... };

module Bitraversable: BsBastet.Interface.BITRAVERSABLE with type Bitraversable.t('a, 'b) = Pervasives.result('a, 'b) and type Bitraversable.applicative_t('a) = A.t('a);

let bitraverse: ('a => Bitraversable.applicative_t('b)) => ('c => Bitraversable.applicative_t('d)) => Bitraversable.t('a, 'c) => Bitraversable.applicative_t(Bitraversable.t('b, 'd));
let bisequence: Bitraversable.t(Bitraversable.applicative_t('a), Bitraversable.applicative_t('b)) => Bitraversable.applicative_t(Bitraversable.t('a, 'b));

include { ... };