Function traverse

Parameters

• app: TypeClass.Functor.Functor<F> & TypeClass.Foldable.Foldable<F> & {
      traverse: <F>(
          app: TypeClass.Applicative.Applicative<F>,
      ) => <A, B>(
          visitor: (a: A) => Instance<Apply1<F, B>>,
      ) => (
          data: Instance<Apply1<F, A>>,
      ) => Instance<Apply1<F, Instance<Apply1<F, B>>>>;
  } & {
      apply: <T, U>(
          fn: Instance<Apply1<F, (t: T) => U>>,
      ) => (t: Instance<Apply1<F, T>>) => Instance<Apply1<F, U>>;
  } & TypeClass.Pure.Pure<F>

  • Readonlytraverse: <F>(
        app: TypeClass.Applicative.Applicative<F>,
    ) => <A, B>(
        visitor: (a: A) => Instance<Apply1<F, B>>,
    ) => (
        data: Instance<Apply1<F, A>>,
    ) => Instance<Apply1<F, Instance<Apply1<F, B>>>>

    Maps each item of the structure data to an action, and evaluates them from left to right, then collects the result.

  • Readonlyapply: <T, U>(
        fn: Instance<Apply1<F, (t: T) => U>>,
    ) => (t: Instance<Apply1<F, T>>) => Instance<Apply1<F, U>>

    Applies the function to the value over S.