All Downloads are FREE. Search and download functionalities are using the official Maven repository.

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

The newest version!
package zio.prelude
package experimental
import zio.prelude.newtypes.AndF

trait ExcludedMiddle[A] extends Complement[A] {
  def top: A = And.identity
  def And: Identity[AndF[A]]
}

object ExcludedMiddle {

  /**
   * Summons an implicit `ExcludedMiddle[A]`.
   */
  def apply[A](implicit excludedMiddle: ExcludedMiddle[A]): ExcludedMiddle[A] = excludedMiddle
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy