zio.prelude.experimental.package.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of zio-prelude-experimental_sjs1_3 Show documentation

zio-prelude-experimental

The newest version!

/*
 * Copyright 2020-2023 John A. De Goes and the ZIO Contributors
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

package zio.prelude

package object experimental
    extends AbsorptionSyntax
    with ApplicationComposeSyntax
    with BothComposeSyntax
    with ComplementSyntax
    with DistributiveProdSyntax
    with DivideSyntax
    with EitherComposeSyntax
    with PartialDivideSyntax
    with SubtractSyntax {

  object classic {

    import zio.prelude.classic._

    type CartesianCategory[=>:[-_, +_], :*:[+_, +_]]                     = Category[=>:] with BothCompose.Aux[=>:, :*:]
    type ClosedCartesianCategory[=>:[-_, +_], :*:[+_, +_], -->:[-_, +_]] = CartesianCategory[=>:, :*:]
      with ApplicationCompose.Aux[=>:, :*:, -->:]
    type CoCartesianCategory[=>:[-_, +_], :+:[+_, +_]]                   = Category[=>:] with EitherCompose.Aux[=>:, :+:]
  }

}