Variable composeMapConst

Type declaration

• Applicative: (<F, G, In1, Out2, Out1>(F: Applicative<F>, G: Applicative<G>) => Applicative<ComposeTypeLambda<F, G, In1, Out2, Out1, In1, Out2, Out1>>)

  • • <F, G, In1, Out2, Out1>(F, G): Applicative<ComposeTypeLambda<F, G, In1, Out2, Out1, In1, Out2, Out1>>

    • Compose a pair of applicatives. The composition is an applicative of their nested types. Useful when testing traversable composition laws.

      Type Parameters

      • F extends TypeLambda
      • G extends TypeLambda
      • In1 = never
      • Out2 = unknown
      • Out1 = unknown

      Parameters

      • F: Applicative<F>
      • G: Applicative<G>

      Returns Applicative<ComposeTypeLambda<F, G, In1, Out2, Out1, In1, Out2, Out1>>

• Covariant: (<F, G, In1, Out2, Out1>(F: Covariant<F>, G: Covariant<G>) => Covariant<ComposeTypeLambda<F, G, In1, Out2, Out1, In1, Out2, Out1>>)

  • • <F, G, In1, Out2, Out1>(F, G): Covariant<ComposeTypeLambda<F, G, In1, Out2, Out1, In1, Out2, Out1>>

    • 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
      • In1 = never
      • Out2 = unknown
      • Out1 = unknown

      Parameters

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

      Returns Covariant<ComposeTypeLambda<F, G, In1, Out2, Out1, In1, Out2, Out1>>

• Invariant: (<F, G, In1, Out2, Out1>(F: Invariant<F>, G: Invariant<G>) => Invariant<ComposeTypeLambda<F, G, In1, Out2, Out1, In1, Out2, Out1>>)

  • • <F, G, In1, Out2, Out1>(F, G): Invariant<ComposeTypeLambda<F, G, In1, Out2, Out1, In1, Out2, Out1>>

    • Compose an Invariant instance by nesting a pair of Invariantss, the first on the outside and the second on the inside.

      Type Parameters

      • F extends TypeLambda
      • G extends TypeLambda
      • In1 = never
      • Out2 = unknown
      • Out1 = unknown

      Parameters

      • F: Invariant<F>
      • G: Invariant<G>

      Returns Invariant<ComposeTypeLambda<F, G, In1, Out2, Out1, In1, Out2, Out1>>

• Of: (<F, G, In1, Out2, Out1>(F: Of<F>, G: Of<G>) => Of<ComposeTypeLambda<F, G, In1, Out2, Out1, In1, Out2, Out1>>)

  • • <F, G, In1, Out2, Out1>(F, G): Of<ComposeTypeLambda<F, G, In1, Out2, Out1, In1, Out2, Out1>>

    • Compose an Of instance by nesting a pair of Of instances, the first on the outside and the second on the inside.

      Type Parameters

      • F extends TypeLambda
      • G extends TypeLambda
      • In1 = never
      • Out2 = unknown
      • Out1 = unknown

      Parameters

      • F: Of<F>
      • G: Of<G>

      Returns Of<ComposeTypeLambda<F, G, In1, Out2, Out1, In1, Out2, Out1>>

• Traversable: (<F, G, In1, Out2, Out1>(F: Traversable<F>, G: Traversable<G>) => Traversable<ComposeTypeLambda<F, G, In1, Out2, Out1, In1, Out2, Out1>>)

  • • <F, G, In1, Out2, Out1>(F, G): Traversable<ComposeTypeLambda<F, G, In1, Out2, Out1, In1, Out2, Out1>>

    • Compose a pair of traversables. The composition is a traversable of their nested types.

      Type Parameters

      • F extends TypeLambda
      • G extends TypeLambda
      • In1 = never
      • Out2 = unknown
      • Out1 = unknown

      Parameters

      • F: Traversable<F>
      • G: Traversable<G>

      Returns Traversable<ComposeTypeLambda<F, G, In1, Out2, Out1, In1, Out2, Out1>>