Interface IMonad<T, M>

IMonad definition, basically a functor with a flatMap implementation, flatMap reduces all nested monads after a function call f into a monad with the nesting level of 1

flatmap flats nested Monads into a IMonad of the deepest nested implementation

interface IMonad<T, M extends IMonad<any, any>> {
flatMap<R>(f?: (data: T) => R): IMonad<any, any>;
map<R>(fn: (data: T) => R): IFunctor<R>;
}

Type Parameters

T
M extends IMonad<any, any>

Hierarchy (View Summary)

IFunctor<T>
- IMonad

Implemented by

Index

Methods

Methods

flatMap

flatMap<R>(f?: (data: T) => R): IMonad<any, any>
Type Parameters
- R
Parameters
- Optionalf: (data: T) => R
Returns IMonad<any, any>
- Defined in Monad.ts:45

map

map<R>(fn: (data: T) => R): IFunctor<R>
Type Parameters
- R
Parameters
- fn: (data: T) => R
Returns IFunctor<R>
Inherited from IFunctor.map
- Defined in Monad.ts:35