Interface IO<T>

IO

interface IO<T> {
    @@type: string;
    ap<V>(ioFn: IO<((v: T) => V)>): IO<V>;
    apTo<V>(value: IO<V>): T extends ((arg: V) => any)
        ? IO<ReturnType<T<T>>>
        : never;
    bind<V>(fn: ((val: T) => IO<V>)): IO<V>;
    chain<V>(fn: ((val: T) => IO<V>)): IO<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) => IO<V>)): IO<V>;
    join<V>(): IO<V>;
    map<V>(fn: ((v: T) => V)): IO<V>;
    perform(): T;
    performUnsafeIO(): T;
    run(): T;
    takeLeft<X>(m: IO<X>): IO<T>;
    takeRight<V>(m: IO<V>): IO<V>;
}

Type Parameters

  • T

Hierarchy-Diagram

UML class diagram of IO
Legend
icon for an interface in the UML class diagram interface
icon for a public method in the UML class diagram public method

Hierarchy (view full)

Properties

@@type

Methods

ap apTo bind chain fantasy-land/ap? fantasy-land/chain? fantasy-land/map? flatMap join map perform performUnsafeIO run takeLeft takeRight

Properties

@@type

@@type: string

Methods

ap

  • ap<V>(ioFn: IO<((v: T) => V)>): IO<V>

  • Type Parameters

    • V

    Parameters

    • ioFn: IO<((v: T) => V)>

    Returns IO<V>

apTo

  • apTo<V>(value: IO<V>): T extends ((arg: V) => any)
        ? IO<ReturnType<T<T>>>
        : never

  • Type Parameters

    • V

    Parameters

    Returns T extends ((arg: V) => any)
        ? IO<ReturnType<T<T>>>
        : never

bind

  • bind<V>(fn: ((val: T) => IO<V>)): IO<V>

  • Type Parameters

    • V

    Parameters

    • fn: ((val: T) => IO<V>)
        • (val: T): IO<V>

        • Parameters

          • val: T

          Returns IO<V>

    Returns IO<V>

chain

  • chain<V>(fn: ((val: T) => IO<V>)): IO<V>

  • Type Parameters

    • V

    Parameters

    • fn: ((val: T) => IO<V>)
        • (val: T): IO<V>

        • Parameters

          • val: T

          Returns IO<V>

    Returns IO<V>

Optional fantasy-land/ap

Optional fantasy-land/chain

Optional fantasy-land/map

  • fantasy-land/map<V>(fn: ((val: T) => V)): Functor<V>

  • Type Parameters

    • V

    Parameters

    • fn: ((val: T) => V)
        • (val: T): V

        • Parameters

          • val: T

          Returns V

    Returns Functor<V>

flatMap

  • flatMap<V>(fn: ((val: T) => IO<V>)): IO<V>

  • Type Parameters

    • V

    Parameters

    • fn: ((val: T) => IO<V>)
        • (val: T): IO<V>

        • Parameters

          • val: T

          Returns IO<V>

    Returns IO<V>

join

  • join<V>(): IO<V>

  • Type Parameters

    • V

    Returns IO<V>

map

  • map<V>(fn: ((v: T) => V)): IO<V>

  • Type Parameters

    • V

    Parameters

    • fn: ((v: T) => V)
        • (v: T): V

        • Parameters

          Returns V

    Returns IO<V>

perform

  • perform(): T

  • Returns T

performUnsafeIO

  • performUnsafeIO(): T

  • Returns T

run

  • run(): T

  • Returns T

takeLeft

  • takeLeft<X>(m: IO<X>): IO<T>

  • Type Parameters

    • X

    Parameters

    Returns IO<T>

takeRight

  • takeRight<V>(m: IO<V>): IO<V>

  • Type Parameters

    • V

    Parameters

    Returns IO<V>

Settings

Member Visibility

Theme

On This Page

@@typeapapTobindchainfantasy-land/apfantasy-land/chainfantasy-land/mapflatMapjoinmapperformperformUnsafeIOruntakeLefttakeRight