effect-ts-laws
    Preparing search index...

    Function composeCovariant

    • Compose a Covariant instance by nesting a pair of Covariants, the first on the outside and the second on the inside.

      Type Parameters

      • F extends TypeLambda
      • G extends TypeLambda
      • R = never
      • O = unknown
      • E = unknown

      Parameters

      • F: Covariant<F>
      • G: Covariant<G>

      Returns Covariant<ComposeTypeLambda<F, G, R, O, E, R, O, E>>