effect-ts-folds
    Preparing search index...

    Function imap

    • Algebra is invariant in the A type.

      Type Parameters

      • F extends TypeLambda

      Parameters

      • F: Covariant<F>

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

    Settings

    Member Visibility