FuncType - v0.8.85
    Preparing search index...

    Interface Monad<A>

    Monad type class - supports flat mapping (chaining) operations

    Laws:

    • Left identity: pure(a).flatMap(f) ≡ f(a)
    • Right identity: m.flatMap(pure) ≡ m
    • Associativity: m.flatMap(f).flatMap(g) ≡ m.flatMap(x => f(x).flatMap(g))
    interface Monad<A extends Type> {
        ap<B extends unknown>(ff: Applicative<(value: A) => B>): Applicative<B>;
        flatMap<B extends unknown>(f: (value: A) => Monad<B>): Monad<B>;
        map<B extends unknown>(f: (value: A) => B): Functor<B>;
    }

    Type Parameters

    Hierarchy (View Summary)

    Index

    Methods

    ap flatMap map

    Methods

    • Type Parameters

      • B extends unknown

      Parameters

      Returns Monad<B>

    Settings

    Member Visibility

    On This Page

    Methods