effect-ts-laws
    Preparing search index...

    Variable composeMapConst

    composeMap: {
        Applicative: <
            F extends TypeLambda,
            G extends TypeLambda,
            R = never,
            O = unknown,
            E = unknown,
        >(
            F: Applicative<F>,
            G: Applicative<G>,
        ) => Applicative<ComposeTypeLambda<F, G, R, O, E, R, O, E>>;
        Covariant: <
            F extends TypeLambda,
            G extends TypeLambda,
            R = never,
            O = unknown,
            E = unknown,
        >(
            F: Covariant<F>,
            G: Covariant<G>,
        ) => Covariant<ComposeTypeLambda<F, G, R, O, E, R, O, E>>;
        Foldable: <
            F extends TypeLambda,
            G extends TypeLambda,
            R = never,
            O = unknown,
            E = unknown,
        >(
            F: Foldable<F>,
            G: Foldable<G>,
        ) => Foldable<
            ComposeTypeLambda<F, G, unknown, never, never, unknown, never, never>,
        >;
        Invariant: <
            F extends TypeLambda,
            G extends TypeLambda,
            R = never,
            O = unknown,
            E = unknown,
        >(
            F: Invariant<F>,
            G: Invariant<G>,
        ) => Invariant<ComposeTypeLambda<F, G, R, O, E, R, O, E>>;
        Of: <
            F extends TypeLambda,
            G extends TypeLambda,
            R = never,
            O = unknown,
            E = unknown,
        >(
            F: Of<F>,
            G: Of<G>,
        ) => Of<ComposeTypeLambda<F, G, R, O, E, R, O, E>>;
        Traversable: <
            F extends TypeLambda,
            G extends TypeLambda,
            R = never,
            O = unknown,
            E = unknown,
        >(
            F: Traversable<F>,
            G: Traversable<G>,
        ) => Traversable<ComposeTypeLambda<F, G, R, O, E, R, O, E>>;
    } = ...

    Map of typeclass name to the function that can compose a pair of the typeclass instances to create a new instance of the typeclass.

    Type declaration

    • Applicative: <
          F extends TypeLambda,
          G extends TypeLambda,
          R = never,
          O = unknown,
          E = unknown,
      >(
          F: Applicative<F>,
          G: Applicative<G>,
      ) => Applicative<ComposeTypeLambda<F, G, R, O, E, R, O, E>>
    • Covariant: <
          F extends TypeLambda,
          G extends TypeLambda,
          R = never,
          O = unknown,
          E = unknown,
      >(
          F: Covariant<F>,
          G: Covariant<G>,
      ) => Covariant<ComposeTypeLambda<F, G, R, O, E, R, O, E>>
    • Foldable: <
          F extends TypeLambda,
          G extends TypeLambda,
          R = never,
          O = unknown,
          E = unknown,
      >(
          F: Foldable<F>,
          G: Foldable<G>,
      ) => Foldable<
          ComposeTypeLambda<F, G, unknown, never, never, unknown, never, never>,
      >
    • Invariant: <
          F extends TypeLambda,
          G extends TypeLambda,
          R = never,
          O = unknown,
          E = unknown,
      >(
          F: Invariant<F>,
          G: Invariant<G>,
      ) => Invariant<ComposeTypeLambda<F, G, R, O, E, R, O, E>>
    • Of: <
          F extends TypeLambda,
          G extends TypeLambda,
          R = never,
          O = unknown,
          E = unknown,
      >(
          F: Of<F>,
          G: Of<G>,
      ) => Of<ComposeTypeLambda<F, G, R, O, E, R, O, E>>
    • Traversable: <
          F extends TypeLambda,
          G extends TypeLambda,
          R = never,
          O = unknown,
          E = unknown,
      >(
          F: Traversable<F>,
          G: Traversable<G>,
      ) => Traversable<ComposeTypeLambda<F, G, R, O, E, R, O, E>>

    Settings

    Member Visibility