effect-ts-folds
    Preparing search index...

    Function traverseCovariant

    • Convert a traversable instance to a covariant one.

      Type Parameters

      • F extends TypeLambda

      Parameters

      • F: Traversable<F>

      Returns {
          imap: {
              <A, B>(
                  to: (a: A) => B,
                  from: (b: B) => A,
              ): <R, O, E>(self: Kind<F, R, O, E, A>) => Kind<F, R, O, E, B>;
              <R, O, E, A, B>(
                  self: Kind<F, R, O, E, A>,
                  to: (a: A) => B,
                  from: (b: B) => A,
              ): Kind<F, R, O, E, B>;
          };
          map: {
              <A, B>(
                  f: (a: A) => B,
              ): <R, O, E>(self: Kind<F, R, O, E, A>) => Kind<F, R, O, E, B>;
              <R, O, E, A, B>(
                  self: Kind<F, R, O, E, A>,
                  f: (a: A) => B,
              ): Kind<F, R, O, E, B>;
          };
      }

    Settings

    Member Visibility