Interface IMonad<T>
interface IMonad<T> {
@@type: string;
ap<V>(afn: Applicative<((val: T) => V)>): Applicative<V>;
apTo<V>(value: Applicative<V>): T extends ((arg: V) => any)
? Applicative<ReturnType<T<T>>>
: never;
bind<V>(fn: ((val: T) => IMonad<V>)): IMonad<V>;
chain<V>(fn: ((val: T) => IMonad<V>)): IMonad<V>;
fantasy-land/ap?<V>(afn: Applicative<((val: T) => V)>): Applicative<V>;
fantasy-land/chain?<V>(fn: ((val: T) => Chain<V>)): Chain<V>;
fantasy-land/map?<V>(fn: ((val: T) => V)): Functor<V>;
flatMap<V>(fn: ((val: T) => IMonad<V>)): IMonad<V>;
join<V>(): IMonad<V>;
map<V>(fn: ((val: T) => V)): IMonad<V>;
takeLeft(m: IMonad<T>): IMonad<T>;
takeRight(m: IMonad<T>): IMonad<T>;
}
@@type: string;
ap<V>(afn: Applicative<((val: T) => V)>): Applicative<V>;
apTo<V>(value: Applicative<V>): T extends ((arg: V) => any)
? Applicative<ReturnType<T<T>>>
: never;
bind<V>(fn: ((val: T) => IMonad<V>)): IMonad<V>;
chain<V>(fn: ((val: T) => IMonad<V>)): IMonad<V>;
fantasy-land/ap?<V>(afn: Applicative<((val: T) => V)>): Applicative<V>;
fantasy-land/chain?<V>(fn: ((val: T) => Chain<V>)): Chain<V>;
fantasy-land/map?<V>(fn: ((val: T) => V)): Functor<V>;
flatMap<V>(fn: ((val: T) => IMonad<V>)): IMonad<V>;
join<V>(): IMonad<V>;
map<V>(fn: ((val: T) => V)): IMonad<V>;
takeLeft(m: IMonad<T>): IMonad<T>;
takeRight(m: IMonad<T>): IMonad<T>;
}
Type Parameters
Hierarchy-Diagram
Legend
interface
public method
Hierarchy (view full)
Index
Properties
Methods
Properties
@@type
@@type: string
Methods
ap
- ap<V>(afn: Applicative<((val: T) => V)>): Applicative<V>
Type Parameters
Parameters
- afn: Applicative<((val: T) => V)>
Returns Applicative<V>
ap
- ap
To<V>(value: Applicative<V>): T extends ((arg: V) => any)
? Applicative<ReturnType<T<T>>>
: never Type Parameters
Parameters
- value: Applicative<V>
Returns T extends ((arg: V) => any)
? Applicative<ReturnType<T<T>>>
: never
bind
chain
Optional fantasy-
- fantasy-
land/ap<V>(afn: Applicative<((val: T) => V)>): Applicative<V> Type Parameters
Parameters
- afn: Applicative<((val: T) => V)>
Returns Applicative<V>
Basic Monad Interface