Type aliases
PureFuture
Pure
Future<A, B>: Pure < Either < A , B > >
Type parameters
Variables
Const ap
ap
: { <E1, E2, A, B, C>
( fn
: Future < E1 , A , Arity1 < B , C > > , value
: Future < E2 , A , B > ) : Future < Compact < E1 & E2 > , A , C > ; <E1, A, B, C>
( fn
: Future < E1 , A , Arity1 < B , C > > ) : <E2>
( value
: Future < E2 , A , B > ) => Future < Compact < E1 & E2 > , A , C > } = curry(__ap) as {<E1, E2, A, B, C>(fn: Future<E1, A, Arity1<B, C>>, value: Future<E2, A, B>): Future<Compact<E1 & E2>,A,C><E1, A, B, C>(fn: Future<E1, A, Arity1<B, C>>): <E2>(value: Future<E2, A, B>,) => Future<Compact<E1 & E2>, A, C>}
Type declaration
<E1, E2, A, B, C>( fn: Future < E1 , A , Arity1 < B , C > > , value: Future < E2 , A , B > ) : Future < Compact < E1 & E2 > , A , C >
<E1, A, B, C>( fn: Future < E1 , A , Arity1 < B , C > > ) : <E2>( value: Future < E2 , A , B > ) => Future < Compact < E1 & E2 > , A , C >
Type parameters
Parameters
Type parameters
Parameters
Returns <E2>( value: Future < E2 , A , B > ) => Future < Compact < E1 & E2 > , A , C >
Type parameters
Parameters
Const chain
chain
: { <E1, E2, A, B, C>
( fn
: ( value
: B ) => Future < E2 , A , C > , future
: Future < E1 , A , B > ) : Future < Compact < E1 & E2 > , A , C > ; <E2, A, B, C>
( fn
: ( value
: B ) => Future < E2 , A , C > ) : <E1>
( future
: Future < E1 , A , B > ) => Future < Compact < E1 & E2 > , A , C > } = curry(__chain) as {<E1, E2, A, B, C>(fn: (value: B) => Future<E2, A, C>, future: Future<E1, A, B>): Future<Compact<E1 & E2>,A,C><E2, A, B, C>(fn: (value: B) => Future<E2, A, C>): <E1>(future: Future<E1, A, B>,) => Future<Compact<E1 & E2>, A, C>}
Type declaration
<E1, E2, A, B, C>( fn: ( value: B ) => Future < E2 , A , C > , future: Future < E1 , A , B > ) : Future < Compact < E1 & E2 > , A , C >
<E2, A, B, C>( fn: ( value: B ) => Future < E2 , A , C > ) : <E1>( future: Future < E1 , A , B > ) => Future < Compact < E1 & E2 > , A , C >
Type parameters
Parameters
fn: ( value: B ) => Future < E2 , A , C >
Parameters
Returns Future < E2 , A , C >
future: Future < E1 , A , B >
Type parameters
Parameters
fn: ( value: B ) => Future < E2 , A , C >
Parameters
Returns Future < E2 , A , C >
Returns <E1>( future: Future < E1 , A , B > ) => Future < Compact < E1 & E2 > , A , C >
Type parameters
Parameters
Const chainLeft
chain
Left: { <A, E1, B, C, E2>( fn: Arity1 < A , Future < E1 , B , C > > , future: Future < E2 , A , C > ) : Future < E1 & E2 , B , C > ; <A, E1, B, C>( fn: Arity1 < A , Future < E1 , B , C > > ) : <E2>( future: Future < E2 , A , C > ) => Future < E1 & E2 , B , C > } = curry(__chainLeft) as {<A, E1, B, C, E2>(fn: Arity1<A, Future<E1, B, C>>, future: Future<E2, A, C>): Future<E1 & E2,B,C><A, E1, B, C>(fn: Arity1<A, Future<E1, B, C>>): <E2>(future: Future<E2, A, C>,) => Future<E1 & E2, B, C>}
Type declaration
<A, E1, B, C, E2>( fn: Arity1 < A , Future < E1 , B , C > > , future: Future < E2 , A , C > ) : Future < E1 & E2 , B , C >
<A, E1, B, C>( fn: Arity1 < A , Future < E1 , B , C > > ) : <E2>( future: Future < E2 , A , C > ) => Future < E1 & E2 , B , C >
Type parameters
Parameters
Returns Future < E1 & E2 , B , C >
Type parameters
Parameters
Returns <E2>( future: Future < E2 , A , C > ) => Future < E1 & E2 , B , C >
Type parameters
Parameters
Returns Future < E1 & E2 , B , C >
Const fork
fork
: { <A, B>
( left
: ( value
: A ) => Disposable , right
: ( value
: B ) => Disposable , future
: PureFuture < A , B > ) : Disposable ; <A, B>
( left
: ( value
: A ) => Disposable , right
: ( value
: B ) => Disposable ) : ( future
: PureFuture < A , B > ) => Disposable ; <A>
( left
: ( value
: A ) => Disposable ) : { <B>
( right
: ( value
: B ) => Disposable , future
: PureFuture < A , B > ) : Disposable ; <B>
( right
: ( value
: B ) => Disposable , future
: PureFuture < A , B > ) : Disposable } } = curry(__fork) as {<A, B>(left: (value: A) => Disposable,right: (value: B) => Disposable,future: PureFuture<A, B>,): Disposable<A, B>(left: (value: A) => Disposable, right: (value: B) => Disposable): (future: PureFuture<A, B>,) => Disposable<A>(left: (value: A) => Disposable): {<B>(right: (value: B) => Disposable, future: PureFuture<A, B>): Disposable<B>(right: (value: B) => Disposable, future: PureFuture<A, B>): Disposable}}
Type declaration
<A, B>( left: ( value: A ) => Disposable , right: ( value: B ) => Disposable , future: PureFuture < A , B > ) : Disposable
<A, B>( left: ( value: A ) => Disposable , right: ( value: B ) => Disposable ) : ( future: PureFuture < A , B > ) => Disposable
<A>( left: ( value: A ) => Disposable ) : { <B>( right: ( value: B ) => Disposable , future: PureFuture < A , B > ) : Disposable ; <B>( right: ( value: B ) => Disposable , future: PureFuture < A , B > ) : Disposable }
Type parameters
Parameters
left: ( value: A ) => Disposable
Parameters
Returns Disposable
right: ( value: B ) => Disposable
Parameters
Returns Disposable
Returns Disposable
Type parameters
Parameters
left: ( value: A ) => Disposable
Parameters
Returns Disposable
right: ( value: B ) => Disposable
Parameters
Returns Disposable
Returns ( future: PureFuture < A , B > ) => Disposable
Parameters
Returns Disposable
Type parameters
Parameters
left: ( value: A ) => Disposable
Parameters
Returns Disposable
Returns { <B>( right: ( value: B ) => Disposable , future: PureFuture < A , B > ) : Disposable ; <B>( right: ( value: B ) => Disposable , future: PureFuture < A , B > ) : Disposable }
<B>( right: ( value: B ) => Disposable , future: PureFuture < A , B > ) : Disposable
<B>( right: ( value: B ) => Disposable , future: PureFuture < A , B > ) : Disposable
Type parameters
Parameters
right: ( value: B ) => Disposable
Parameters
Returns Disposable
Returns Disposable
Type parameters
Parameters
right: ( value: B ) => Disposable
Parameters
Returns Disposable
Returns Disposable
Const map
map
: { <E, A, B, C>
( fn
: Arity1 < B , C > , future
: Future < E , A , B > ) : Future < E , A , C > ; <B, C>
( fn
: Arity1 < B , C > ) : <E, A>
( future
: Future < E , A , B > ) => Future < E , A , C > } = curry(__map) as {<E, A, B, C>(fn: Arity1<B, C>, future: Future<E, A, B>): Future<E, A, C><B, C>(fn: Arity1<B, C>): <E, A>(future: Future<E, A, B>) => Future<E, A, C>}
Type declaration
<E, A, B, C>( fn: Arity1 < B , C > , future: Future < E , A , B > ) : Future < E , A , C >
<B, C>( fn: Arity1 < B , C > ) : <E, A>( future: Future < E , A , B > ) => Future < E , A , C >
Type parameters
Parameters
Returns Future < E , A , C >
Type parameters
Parameters
Returns <E, A>( future: Future < E , A , B > ) => Future < E , A , C >
Type parameters
Parameters
Returns Future < E , A , C >
Functions
Const all
all<E, A, B>( futures: ReadonlyArray < Future < E , A , B > > ) : Env < E , Left < A > | Right < ReadonlyArray < B > > >
Type parameters
Parameters
futures: ReadonlyArray < Future < E , A , B > >
Returns Env < E , Left < A > | Right < ReadonlyArray < B > > >
sequence
sequence<E, A, B>( futures: ReadonlyArray < Future < E , A , B > > ) : Future < E , A , keyof B [] >
Type parameters
Parameters
futures: ReadonlyArray < Future < E , A , B > >
Returns Future < E , A , keyof B [] >
toPromise
Type parameters
Parameters
Returns Promise < Either < A , B > >
Legend
Namespace
Object literal
Variable
Function
Function with type parameter
Type alias
Type alias with type parameter
Interface
Interface with type parameter
Class
Class with type parameter
@typed/future
One-time asynchronous data structure with strongly-typed errors.