Interface MonadRec<M>

An extended Monad also supports the tailRecM operation.

Type Parameters

  • M

Hierarchy

Properties

apply flatMap map pure tailRecM

Properties

Readonly apply

apply: (<T, U>(fn) => ((t) => Instance<Apply1<M, U>>))

Type declaration

Readonly flatMap

flatMap: (<T1, U1>(a) => ((t) => Instance<Apply1<M, U1>>))

Type declaration

Readonly map

map: (<T, U>(fn) => ((t) => Instance<Apply1<M, U>>))

Type declaration

Readonly pure

pure: (<T>(t) => Instance<Apply1<M, T>>)

Type declaration

Readonly tailRecM

tailRecM: (<X, A>(stepper) => ((state) => Get1<M, X>))

Type declaration

    • <X, A>(stepper): ((state) => Get1<M, X>)

    • Executes a stepper while it returns a Continue<A>. This exits only if stepper returned a Break<A> and forwards it.

      Almost all of the MonadRec instances are implemented with a simple while loop because JavaScript runtime rarely optimizes a tail call.

      Type Parameters

      • X

      • A

      Parameters

      Returns ((state) => Get1<M, X>)

      The execution result.

        • (state): Get1<M, X>

        • Parameters

          • state: A

          Returns Get1<M, X>

Settings

Member Visibility

Theme

On This Page

Generated using TypeDoc