PHP WebShell
Текущая директория: /usr/lib/node_modules/bitgo/node_modules/@celo/contractkit/node_modules/fp-ts/es6
Просмотр файла: Witherable.d.ts
/**
* `Witherable` represents data structures which can be _partitioned_ with effects in some `Applicative` functor.
*
* `wilt` signature (see `Compactable` `Separated`):
*
* ```ts
* <F>(F: Applicative<F>) => <A, B, C>(wa: HKT<W, A>, f: (a: A) => HKT<F, Either<B, C>>) => HKT<F, Separated<HKT<W, B>, HKT<W, C>>>
* ```
*
* `wither` signature:
*
* ```ts
* <F>(F: Applicative<F>) => <A, B>(ta: HKT<W, A>, f: (a: A) => HKT<F, Option<B>>) => HKT<F, HKT<W, B>>
* ```
*
* Adapted from https://github.com/LiamGoodacre/purescript-filterable/blob/master/src/Data/Witherable.purs
*/
import { HKT, Kind, Kind2, Kind3, URIS, URIS2, URIS3 } from './HKT';
import { Option } from './Option';
import { Traversable, Traversable1, Traversable2, Traversable2C, Traversable3 } from './Traversable';
import { Applicative, Applicative1, Applicative2, Applicative2C, Applicative3 } from './Applicative';
import { Filterable, Filterable1, Filterable2, Filterable2C, Filterable3 } from './Filterable';
import { Either } from './Either';
import { Separated } from './Compactable';
/**
* @since 2.0.0
*/
export interface Witherable<T> extends Traversable<T>, Filterable<T> {
/**
* Partition a structure with effects
*/
wilt: Wilt<T>;
/**
* Filter a structure with effects
*/
wither: Wither<T>;
}
/**
* @since 2.0.0
*/
export interface Witherable1<T extends URIS> extends Traversable1<T>, Filterable1<T> {
wilt: Wilt1<T>;
wither: Wither1<T>;
}
/**
* @since 2.0.0
*/
export interface Witherable2<T extends URIS2> extends Traversable2<T>, Filterable2<T> {
wilt: Wilt2<T>;
wither: Wither2<T>;
}
/**
* @since 2.0.0
*/
export interface Witherable2C<T extends URIS2, TL> extends Traversable2C<T, TL>, Filterable2C<T, TL> {
wilt: Wilt2C<T, TL>;
wither: Wither2C<T, TL>;
}
/**
* @since 2.0.0
*/
export interface Witherable3<T extends URIS3> extends Traversable3<T>, Filterable3<T> {
wilt: Wilt3<T>;
wither: Wither3<T>;
}
/**
* @since 2.0.0
*/
export interface Wither<W> {
<F extends URIS3>(F: Applicative3<F>): <A, R, E, B>(ta: HKT<W, A>, f: (a: A) => Kind3<F, R, E, Option<B>>) => Kind3<F, R, E, HKT<W, B>>;
<F extends URIS2>(F: Applicative2<F>): <A, E, B>(ta: HKT<W, A>, f: (a: A) => Kind2<F, E, Option<B>>) => Kind2<F, E, HKT<W, B>>;
<F extends URIS2, E>(F: Applicative2C<F, E>): <A, B>(ta: HKT<W, A>, f: (a: A) => Kind2<F, E, Option<B>>) => Kind2<F, E, HKT<W, B>>;
<F extends URIS>(F: Applicative1<F>): <A, B>(ta: HKT<W, A>, f: (a: A) => Kind<F, Option<B>>) => Kind<F, HKT<W, B>>;
<F>(F: Applicative<F>): <A, B>(ta: HKT<W, A>, f: (a: A) => HKT<F, Option<B>>) => HKT<F, HKT<W, B>>;
}
/**
* @since 2.0.0
*/
export interface Wither1<W extends URIS> {
<F extends URIS3>(F: Applicative3<F>): <A, R, E, B>(ta: Kind<W, A>, f: (a: A) => Kind3<F, R, E, Option<B>>) => Kind3<F, R, E, Kind<W, B>>;
<F extends URIS2>(F: Applicative2<F>): <A, E, B>(ta: Kind<W, A>, f: (a: A) => Kind2<F, E, Option<B>>) => Kind2<F, E, Kind<W, B>>;
<F extends URIS2, E>(F: Applicative2C<F, E>): <A, B>(ta: Kind<W, A>, f: (a: A) => Kind2<F, E, Option<B>>) => Kind2<F, E, Kind<W, B>>;
<F extends URIS>(F: Applicative1<F>): <A, B>(ta: Kind<W, A>, f: (a: A) => Kind<F, Option<B>>) => Kind<F, Kind<W, B>>;
<F>(F: Applicative<F>): <A, B>(ta: Kind<W, A>, f: (a: A) => HKT<F, Option<B>>) => HKT<F, Kind<W, B>>;
}
/**
* @since 2.0.0
*/
export interface Wither2<W extends URIS2> {
<F extends URIS3>(F: Applicative3<F>): <WE, A, R, FE, B>(ta: Kind2<W, WE, A>, f: (a: A) => Kind3<F, R, FE, Option<B>>) => Kind3<F, R, FE, Kind2<W, WE, B>>;
<F extends URIS2>(F: Applicative2<F>): <WE, A, FE, B>(ta: Kind2<W, WE, A>, f: (a: A) => Kind2<F, FE, Option<B>>) => Kind2<F, FE, Kind2<W, WE, B>>;
<F extends URIS2, FE>(F: Applicative2C<F, FE>): <WE, A, B>(ta: Kind2<W, WE, A>, f: (a: A) => Kind2<F, FE, Option<B>>) => Kind2<F, FE, Kind2<W, WE, B>>;
<F extends URIS>(F: Applicative1<F>): <E, A, B>(ta: Kind2<W, E, A>, f: (a: A) => Kind<F, Option<B>>) => Kind<F, Kind2<W, E, B>>;
<F>(F: Applicative<F>): <E, A, B>(ta: Kind2<W, E, A>, f: (a: A) => HKT<F, Option<B>>) => HKT<F, Kind2<W, E, B>>;
}
/**
* @since 2.0.0
*/
export interface Wither2C<W extends URIS2, E> {
<F extends URIS3>(F: Applicative3<F>): <A, R, FE, B>(ta: Kind2<W, E, A>, f: (a: A) => Kind3<F, R, FE, Option<B>>) => Kind3<F, R, FE, Kind2<W, E, B>>;
<F extends URIS2>(F: Applicative2<F>): <A, FE, B>(ta: Kind2<W, E, A>, f: (a: A) => Kind2<F, FE, Option<B>>) => Kind2<F, FE, Kind2<W, E, B>>;
<F extends URIS2, FE>(F: Applicative2C<F, FE>): <A, B>(ta: Kind2<W, E, A>, f: (a: A) => Kind2<F, FE, Option<B>>) => Kind2<F, FE, Kind2<W, E, B>>;
<F extends URIS>(F: Applicative1<F>): <A, B>(ta: Kind2<W, E, A>, f: (a: A) => Kind<F, Option<B>>) => Kind<F, Kind2<W, E, B>>;
<F>(F: Applicative<F>): <A, B>(ta: Kind2<W, E, A>, f: (a: A) => HKT<F, Option<B>>) => HKT<F, Kind2<W, E, B>>;
}
/**
* @since 2.0.0
*/
export interface Wither3<W extends URIS3> {
<F extends URIS3>(F: Applicative3<F>): <WR, WE, A, FR, FE, B>(ta: Kind3<W, WR, WE, A>, f: (a: A) => Kind3<F, FR, FE, Option<B>>) => Kind3<F, FR, FE, Kind3<W, WR, WE, B>>;
<F extends URIS2>(F: Applicative2<F>): <WR, WE, A, FE, B>(ta: Kind3<W, WR, WE, A>, f: (a: A) => Kind2<F, FE, Option<B>>) => Kind2<F, FE, Kind3<W, WR, WE, B>>;
<F extends URIS2, FE>(F: Applicative2C<F, FE>): <R, WE, A, B>(ta: Kind3<W, R, WE, A>, f: (a: A) => Kind2<F, FE, Option<B>>) => Kind2<F, FE, Kind3<W, R, WE, B>>;
<F extends URIS>(F: Applicative1<F>): <R, E, A, B>(ta: Kind3<W, R, E, A>, f: (a: A) => Kind<F, Option<B>>) => Kind<F, Kind3<W, R, E, B>>;
<F>(F: Applicative<F>): <R, E, A, B>(ta: Kind3<W, R, E, A>, f: (a: A) => HKT<F, Option<B>>) => HKT<F, Kind3<W, R, E, B>>;
}
/**
* @since 2.0.0
*/
export interface Wilt<W> {
<F extends URIS3>(F: Applicative3<F>): <A, R, E, B, C>(wa: HKT<W, A>, f: (a: A) => Kind3<F, R, E, Either<B, C>>) => Kind3<F, R, E, Separated<HKT<W, B>, HKT<W, C>>>;
<F extends URIS2>(F: Applicative2<F>): <A, E, B, C>(wa: HKT<W, A>, f: (a: A) => Kind2<F, E, Either<B, C>>) => Kind2<F, E, Separated<HKT<W, B>, HKT<W, C>>>;
<F extends URIS2, E>(F: Applicative2C<F, E>): <A, B, C>(wa: HKT<W, A>, f: (a: A) => Kind2<F, E, Either<B, C>>) => Kind2<F, E, Separated<HKT<W, B>, HKT<W, C>>>;
<F extends URIS>(F: Applicative1<F>): <A, B, C>(wa: HKT<W, A>, f: (a: A) => Kind<F, Either<B, C>>) => Kind<F, Separated<HKT<W, B>, HKT<W, C>>>;
<F>(F: Applicative<F>): <A, B, C>(wa: HKT<W, A>, f: (a: A) => HKT<F, Either<B, C>>) => HKT<F, Separated<HKT<W, B>, HKT<W, C>>>;
}
/**
* @since 2.0.0
*/
export interface Wilt1<W extends URIS> {
<F extends URIS3>(F: Applicative3<F>): <A, R, E, B, C>(wa: Kind<W, A>, f: (a: A) => Kind3<F, R, E, Either<B, C>>) => Kind3<F, R, E, Separated<Kind<W, B>, Kind<W, C>>>;
<F extends URIS2>(F: Applicative2<F>): <A, E, B, C>(wa: Kind<W, A>, f: (a: A) => Kind2<F, E, Either<B, C>>) => Kind2<F, E, Separated<Kind<W, B>, Kind<W, C>>>;
<F extends URIS2, E>(F: Applicative2C<F, E>): <A, B, C>(wa: Kind<W, A>, f: (a: A) => Kind2<F, E, Either<B, C>>) => Kind2<F, E, Separated<Kind<W, B>, Kind<W, C>>>;
<F extends URIS>(F: Applicative1<F>): <A, B, C>(wa: Kind<W, A>, f: (a: A) => Kind<F, Either<B, C>>) => Kind<F, Separated<Kind<W, B>, Kind<W, C>>>;
<F>(F: Applicative<F>): <A, B, C>(wa: Kind<W, A>, f: (a: A) => HKT<F, Either<B, C>>) => HKT<F, Separated<Kind<W, B>, Kind<W, C>>>;
}
/**
* @since 2.0.0
*/
export interface Wilt2<W extends URIS2> {
<F extends URIS3>(F: Applicative3<F>): <WE, A, R, FE, B, C>(wa: Kind2<W, WE, A>, f: (a: A) => Kind3<F, R, FE, Either<B, C>>) => Kind3<F, R, FE, Separated<Kind2<W, WE, B>, Kind2<W, WE, C>>>;
<F extends URIS2>(F: Applicative2<F>): <WE, A, FE, B, C>(wa: Kind2<W, WE, A>, f: (a: A) => Kind2<F, FE, Either<B, C>>) => Kind2<F, FE, Separated<Kind2<W, WE, B>, Kind2<W, WE, C>>>;
<F extends URIS2, FE>(F: Applicative2C<F, FE>): <WE, A, B, C>(wa: Kind2<W, WE, A>, f: (a: A) => Kind2<F, FE, Either<B, C>>) => Kind2<F, FE, Separated<Kind2<W, WE, B>, Kind2<W, WE, C>>>;
<F extends URIS>(F: Applicative1<F>): <E, A, B, C>(wa: Kind2<W, E, A>, f: (a: A) => Kind<F, Either<B, C>>) => Kind<F, Separated<Kind2<W, E, B>, Kind2<W, E, C>>>;
<F>(F: Applicative<F>): <E, A, B, C>(wa: Kind2<W, E, A>, f: (a: A) => HKT<F, Either<B, C>>) => HKT<F, Separated<Kind2<W, E, B>, Kind2<W, E, C>>>;
}
/**
* @since 2.0.0
*/
export interface Wilt2C<W extends URIS2, E> {
<F extends URIS3>(F: Applicative3<F>): <A, R, FE, B, C>(wa: Kind2<W, E, A>, f: (a: A) => Kind3<F, R, FE, Either<B, C>>) => Kind3<F, R, FE, Separated<Kind2<W, E, B>, Kind2<W, E, C>>>;
<F extends URIS2>(F: Applicative2<F>): <A, FE, B, C>(wa: Kind2<W, E, A>, f: (a: A) => Kind2<F, FE, Either<B, C>>) => Kind2<F, FE, Separated<Kind2<W, E, B>, Kind2<W, E, C>>>;
<F extends URIS2, FE>(F: Applicative2C<F, FE>): <A, B, C>(wa: Kind2<W, E, A>, f: (a: A) => Kind2<F, FE, Either<B, C>>) => Kind2<F, FE, Separated<Kind2<W, E, B>, Kind2<W, E, C>>>;
<F extends URIS>(F: Applicative1<F>): <A, B, C>(wa: Kind2<W, E, A>, f: (a: A) => Kind<F, Either<B, C>>) => Kind<F, Separated<Kind2<W, E, B>, Kind2<W, E, C>>>;
<F>(F: Applicative<F>): <A, B, C>(wa: Kind2<W, E, A>, f: (a: A) => HKT<F, Either<B, C>>) => HKT<F, Separated<Kind2<W, E, B>, Kind2<W, E, C>>>;
}
/**
* @since 2.0.0
*/
export interface Wilt3<W extends URIS3> {
<F extends URIS3>(F: Applicative3<F>): <WR, WE, A, FR, FE, B, C>(wa: Kind3<W, WR, WE, A>, f: (a: A) => Kind3<F, FR, FE, Either<B, C>>) => Kind3<F, FR, FE, Separated<Kind3<W, WR, WE, B>, Kind3<W, WR, WE, C>>>;
<F extends URIS2>(F: Applicative2<F>): <R, WE, A, FE, B, C>(wa: Kind3<W, R, WE, A>, f: (a: A) => Kind2<F, FE, Either<B, C>>) => Kind2<F, FE, Separated<Kind3<W, R, WE, B>, Kind3<W, R, WE, C>>>;
<F extends URIS2, FE>(F: Applicative2C<F, FE>): <R, WE, A, B, C>(wa: Kind3<W, R, WE, A>, f: (a: A) => Kind2<F, FE, Either<B, C>>) => Kind2<F, FE, Separated<Kind3<W, R, WE, B>, Kind3<W, R, WE, C>>>;
<F extends URIS>(F: Applicative1<F>): <R, E, A, B, C>(wa: Kind3<W, R, E, A>, f: (a: A) => Kind<F, Either<B, C>>) => Kind<F, Separated<Kind3<W, R, E, B>, Kind3<W, R, E, C>>>;
<F>(F: Applicative<F>): <R, E, A, B, C>(wa: Kind3<W, R, E, A>, f: (a: A) => HKT<F, Either<B, C>>) => HKT<F, Separated<Kind3<W, R, E, B>, Kind3<W, R, E, C>>>;
}
Выполнить команду
Для локальной разработки. Не используйте в интернете!