effect-tree
    Preparing search index...

    Function traverse

    • Covariant instance for PartF.

      Type Parameters

      • F extends TypeLambda

      Parameters

      • F: Applicative<F>

      Returns {
          <A, R, O, E, B>(
              f: (a: A) => Kind<F, R, O, E, B>,
          ): <TR, TO, TE>(
              self:
                  | { _tag: "EmptyF" }
                  | { _tag: "TextF"; show: string }
                  | {
                      _tag: "RowF";
                      bottom: Draw.VStrut;
                      cells: A[];
                      hAlign: "left" | "right" | "center";
                      left: Draw.HStrut;
                      right: Draw.HStrut;
                      top: Draw.VStrut;
                      vAlign: "top" | "bottom" | "middle";
                  }
                  | {
                      _tag: "ColumnF";
                      cells: A[];
                      hAlign: "left"
                      | "right"
                      | "center";
                      left: Draw.HStrut;
                      right: Draw.HStrut;
                  },
          ) => Kind<
              F,
              R,
              O,
              E,
              | { _tag: "EmptyF" }
              | { _tag: "TextF"; show: string }
              | {
                  _tag: "RowF";
                  bottom: Draw.VStrut;
                  cells: B[];
                  hAlign: "left" | "right" | "center";
                  left: Draw.HStrut;
                  right: Draw.HStrut;
                  top: Draw.VStrut;
                  vAlign: "top" | "bottom" | "middle";
              }
              | {
                  _tag: "ColumnF";
                  cells: B[];
                  hAlign: "left"
                  | "right"
                  | "center";
                  left: Draw.HStrut;
                  right: Draw.HStrut;
              },
          >;
          <TR, TO, TE, A, R, O, E, B>(
              self:
                  | { _tag: "EmptyF" }
                  | { _tag: "TextF"; show: string }
                  | {
                      _tag: "RowF";
                      bottom: Draw.VStrut;
                      cells: A[];
                      hAlign: "left" | "right" | "center";
                      left: Draw.HStrut;
                      right: Draw.HStrut;
                      top: Draw.VStrut;
                      vAlign: "top" | "bottom" | "middle";
                  }
                  | {
                      _tag: "ColumnF";
                      cells: A[];
                      hAlign: "left"
                      | "right"
                      | "center";
                      left: Draw.HStrut;
                      right: Draw.HStrut;
                  },
              f: (a: A) => Kind<F, R, O, E, B>,
          ): Kind<
              F,
              R,
              O,
              E,
              | { _tag: "EmptyF" }
              | { _tag: "TextF"; show: string }
              | {
                  _tag: "RowF";
                  bottom: Draw.VStrut;
                  cells: B[];
                  hAlign: "left" | "right" | "center";
                  left: Draw.HStrut;
                  right: Draw.HStrut;
                  top: Draw.VStrut;
                  vAlign: "top" | "bottom" | "middle";
              }
              | {
                  _tag: "ColumnF";
                  cells: B[];
                  hAlign: "left"
                  | "right"
                  | "center";
                  left: Draw.HStrut;
                  right: Draw.HStrut;
              },
          >;
      }

    Settings

    Member Visibility