Interface TreeProductFolderK<F>

Type Parameters

• F extends HKT.TypeLambda

• TreeProductFolderK<A, E = unknown, R = unknown, I = never>(
      t: TreeF.TreeF<A, [Tree<A>, Kind<F, I, R, E, A>]>,
  ): Kind<F, I, R, E, A>

  Type Parameters

  • A
  • E = unknown
  • R = unknown
  • I = never

  Parameters

  • t: TreeF.TreeF<A, [Tree<A>, Kind<F, I, R, E, A>]>

  Returns Kind<F, I, R, E, A>