Interface IMonad<T>
interface IMonad<T> {
@@type: string;
ap<V>(afn: monet.Applicative<((val: T) => V)>): monet.Applicative<V>;
apTo<V>(value: monet.Applicative<V>): T extends ((arg: V) => any)
? monet.Applicative<ReturnType<T<T>>>
: never;
bind<V>(fn: ((val: T) => monet.IMonad<V>)): monet.IMonad<V>;
chain<V>(fn: ((val: T) => monet.IMonad<V>)): monet.IMonad<V>;
fantasy-land/ap?<V>(afn: monet.Applicative<((val: T) => V)>): monet.Applicative<V>;
fantasy-land/chain?<V>(fn: ((val: T) => monet.Chain<V>)): monet.Chain<V>;
fantasy-land/map?<V>(fn: ((val: T) => V)): monet.Functor<V>;
flatMap<V>(fn: ((val: T) => monet.IMonad<V>)): monet.IMonad<V>;
join<V>(): monet.IMonad<V>;
map<V>(fn: ((val: T) => V)): monet.IMonad<V>;
takeLeft(m: monet.IMonad<T>): monet.IMonad<T>;
takeRight(m: monet.IMonad<T>): monet.IMonad<T>;
}
@@type: string;
ap<V>(afn: monet.Applicative<((val: T) => V)>): monet.Applicative<V>;
apTo<V>(value: monet.Applicative<V>): T extends ((arg: V) => any)
? monet.Applicative<ReturnType<T<T>>>
: never;
bind<V>(fn: ((val: T) => monet.IMonad<V>)): monet.IMonad<V>;
chain<V>(fn: ((val: T) => monet.IMonad<V>)): monet.IMonad<V>;
fantasy-land/ap?<V>(afn: monet.Applicative<((val: T) => V)>): monet.Applicative<V>;
fantasy-land/chain?<V>(fn: ((val: T) => monet.Chain<V>)): monet.Chain<V>;
fantasy-land/map?<V>(fn: ((val: T) => V)): monet.Functor<V>;
flatMap<V>(fn: ((val: T) => monet.IMonad<V>)): monet.IMonad<V>;
join<V>(): monet.IMonad<V>;
map<V>(fn: ((val: T) => V)): monet.IMonad<V>;
takeLeft(m: monet.IMonad<T>): monet.IMonad<T>;
takeRight(m: monet.IMonad<T>): monet.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: monet.Applicative<((val: T) => V)>): monet.Applicative<V>
Type Parameters
Parameters
- afn: monet.Applicative<((val: T) => V)>
Returns monet.Applicative<V>
ap
- ap
To<V>(value: monet.Applicative<V>): T extends ((arg: V) => any)
? monet.Applicative<ReturnType<T<T>>>
: never Type Parameters
Parameters
- value: monet.Applicative<V>
Returns T extends ((arg: V) => any)
? monet.Applicative<ReturnType<T<T>>>
: never
bind
chain
Optional fantasy-
- fantasy-
land/ap<V>(afn: monet.Applicative<((val: T) => V)>): monet.Applicative<V> Type Parameters
Parameters
- afn: monet.Applicative<((val: T) => V)>
Returns monet.Applicative<V>
Basic Monad Interface