FuncType - v0.16.0
    Preparing search index...

    Function $

    • $<T>(monad: Option<T>): Generator<Option<T>, T, T>

      Extracts values from monads in Do-notation with type inference. The '$' symbol is the universal extraction operator in functional programming.

      Type Parameters

      • T

      Parameters

      • monad: Option<T>

        Any monad that can be unwrapped (Option, Either, List, Try, etc.)

      Returns Generator<Option<T>, T, T>

      A generator that yields the monad and returns its extracted value

      const result = Do(function* () {
        const x = yield* $(Option(5))        // x: number
        const y = yield* $(List([1, 2, 3]))  // y: number (for cartesian product)
        const name = yield* $(Right("Alice")) // name: string
        return `${name}: ${x + y}`
      })
    • $<L, R>(monad: Either<L, R>): Generator<Either<L, R>, R, R>

      Extracts values from monads in Do-notation with type inference. The '$' symbol is the universal extraction operator in functional programming.

      Type Parameters

      • L
      • R

      Parameters

      • monad: Either<L, R>

        Any monad that can be unwrapped (Option, Either, List, Try, etc.)

      Returns Generator<Either<L, R>, R, R>

      A generator that yields the monad and returns its extracted value

      const result = Do(function* () {
        const x = yield* $(Option(5))        // x: number
        const y = yield* $(List([1, 2, 3]))  // y: number (for cartesian product)
        const name = yield* $(Right("Alice")) // name: string
        return `${name}: ${x + y}`
      })
    • $<T>(monad: List<T>): Generator<List<T>, T, T>

      Extracts values from monads in Do-notation with type inference. The '$' symbol is the universal extraction operator in functional programming.

      Type Parameters

      • T

      Parameters

      • monad: List<T>

        Any monad that can be unwrapped (Option, Either, List, Try, etc.)

      Returns Generator<List<T>, T, T>

      A generator that yields the monad and returns its extracted value

      const result = Do(function* () {
        const x = yield* $(Option(5))        // x: number
        const y = yield* $(List([1, 2, 3]))  // y: number (for cartesian product)
        const name = yield* $(Right("Alice")) // name: string
        return `${name}: ${x + y}`
      })
    • $<T>(monad: Try<T>): Generator<Try<T>, T, T>

      Extracts values from monads in Do-notation with type inference. The '$' symbol is the universal extraction operator in functional programming.

      Type Parameters

      • T

      Parameters

      • monad: Try<T>

        Any monad that can be unwrapped (Option, Either, List, Try, etc.)

      Returns Generator<Try<T>, T, T>

      A generator that yields the monad and returns its extracted value

      const result = Do(function* () {
        const x = yield* $(Option(5))        // x: number
        const y = yield* $(List([1, 2, 3]))  // y: number (for cartesian product)
        const name = yield* $(Right("Alice")) // name: string
        return `${name}: ${x + y}`
      })
    • $<T>(monad: Doable<T>): Generator<Doable<T>, T, T>

      Extracts values from monads in Do-notation with type inference. The '$' symbol is the universal extraction operator in functional programming.

      Type Parameters

      • T

      Parameters

      • monad: Doable<T>

        Any monad that can be unwrapped (Option, Either, List, Try, etc.)

      Returns Generator<Doable<T>, T, T>

      A generator that yields the monad and returns its extracted value

      const result = Do(function* () {
        const x = yield* $(Option(5))        // x: number
        const y = yield* $(List([1, 2, 3]))  // y: number (for cartesian product)
        const name = yield* $(Right("Alice")) // name: string
        return `${name}: ${x + y}`
      })
    • $<M>(monad: M): Generator<M, InferYieldType<M>, InferYieldType<M>>

      Extracts values from monads in Do-notation with type inference. The '$' symbol is the universal extraction operator in functional programming.

      Type Parameters

      • M

      Parameters

      • monad: M

        Any monad that can be unwrapped (Option, Either, List, Try, etc.)

      Returns Generator<M, InferYieldType<M>, InferYieldType<M>>

      A generator that yields the monad and returns its extracted value

      const result = Do(function* () {
        const x = yield* $(Option(5))        // x: number
        const y = yield* $(List([1, 2, 3]))  // y: number (for cartesian product)
        const name = yield* $(Right("Alice")) // name: string
        return `${name}: ${x + y}`
      })

    Settings

    Member Visibility