Function flatMapT

Parameters

• m: TypeClass.Functor.Functor<M> & TypeClass.Foldable.Foldable<M> & {
      traverse: <F>(
          app: TypeClass.Applicative.Applicative<F>,
      ) => <A, B>(
          visitor: (a: A) => Instance<Apply1<F, B>>,
      ) => (
          data: Instance<Apply1<M, A>>,
      ) => Instance<Apply1<F, Instance<Apply1<M, B>>>>;
  } & TypeClass.FlatMap.FlatMap<M>

  The instance of Traversable and FlatMap for M.

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

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