Interface Free<A>
interface Free<A> {
@@type: string;
ap<V>(afn: monet.Applicative<((val: A) => V)>): monet.Applicative<V>;
apTo<V>(value: monet.Applicative<V>): A extends ((arg: V) => any)
? monet.Applicative<ReturnType<A<A>>>
: never;
bind<V>(fn: ((val: A) => monet.Free<V>)): monet.Free<V>;
chain<V>(fn: ((val: A) => monet.Free<V>)): monet.Free<V>;
fantasy-land/ap?<V>(afn: monet.Applicative<((val: A) => V)>): monet.Applicative<V>;
fantasy-land/chain?<V>(fn: ((val: A) => monet.Chain<V>)): monet.Chain<V>;
fantasy-land/map?<V>(fn: ((val: A) => V)): monet.Functor<V>;
flatMap<V>(fn: ((val: A) => monet.Free<V>)): monet.Free<V>;
go<FFA>(extract: ((sus: FFA) => monet.Free<A>)): A;
join<V>(): monet.Free<V>;
map<V>(fn: ((val: A) => V)): monet.Free<V>;
resume<FFA>(): monet.Either<FFA, A>;
takeLeft<X>(other: monet.Free<X>): monet.Free<A>;
takeRight<B>(other: monet.Free<B>): monet.Free<B>;
}
@@type: string;
ap<V>(afn: monet.Applicative<((val: A) => V)>): monet.Applicative<V>;
apTo<V>(value: monet.Applicative<V>): A extends ((arg: V) => any)
? monet.Applicative<ReturnType<A<A>>>
: never;
bind<V>(fn: ((val: A) => monet.Free<V>)): monet.Free<V>;
chain<V>(fn: ((val: A) => monet.Free<V>)): monet.Free<V>;
fantasy-land/ap?<V>(afn: monet.Applicative<((val: A) => V)>): monet.Applicative<V>;
fantasy-land/chain?<V>(fn: ((val: A) => monet.Chain<V>)): monet.Chain<V>;
fantasy-land/map?<V>(fn: ((val: A) => V)): monet.Functor<V>;
flatMap<V>(fn: ((val: A) => monet.Free<V>)): monet.Free<V>;
go<FFA>(extract: ((sus: FFA) => monet.Free<A>)): A;
join<V>(): monet.Free<V>;
map<V>(fn: ((val: A) => V)): monet.Free<V>;
resume<FFA>(): monet.Either<FFA, A>;
takeLeft<X>(other: monet.Free<X>): monet.Free<A>;
takeRight<B>(other: monet.Free<B>): monet.Free<B>;
}
Type Parameters
Hierarchy-Diagram
Legend
interface
public method
Hierarchy (view full)
Index
Properties
Methods
Properties
@@type
@@type: string
Methods
ap
- ap<V>(afn: monet.Applicative<((val: A) => V)>): monet.Applicative<V>
Type Parameters
Parameters
- afn: monet.Applicative<((val: A) => V)>
Returns monet.Applicative<V>
ap
- ap
To<V>(value: monet.Applicative<V>): A extends ((arg: V) => any)
? monet.Applicative<ReturnType<A<A>>>
: never Type Parameters
Parameters
- value: monet.Applicative<V>
Returns A extends ((arg: V) => any)
? monet.Applicative<ReturnType<A<A>>>
: never
bind
chain
Optional fantasy-
- fantasy-
land/ap<V>(afn: monet.Applicative<((val: A) => V)>): monet.Applicative<V> Type Parameters
Parameters
- afn: monet.Applicative<((val: A) => V)>
Returns monet.Applicative<V>
Free