zio.prelude.experimental.Absorption.scala Maven / Gradle / Ivy
package zio.prelude
package experimental
import zio.prelude.newtypes._
trait Absorption[A] {
def or(l: => A, r: => A): A = Or.combine(OrF(l), OrF(r))
def and(l: => A, r: => A): A = And.combine(AndF(l), AndF(r))
def Or: Associative[OrF[A]]
def And: Associative[AndF[A]]
}
object Absorption {
/**
* Summons an implicit `Absorption[A]`.
*/
def apply[A](implicit absorption: Absorption[A]): Absorption[A] = absorption
implicit lazy val BoolInstance: DistributiveAbsorption[Boolean] with Involution[Boolean] =
new DistributiveAbsorption[Boolean] with Involution[Boolean] {
override def complement(a: => Boolean): Boolean = !a
override val bottom: Boolean = false
override val top: Boolean = true
override def or(l: => Boolean, r: => Boolean): Boolean = l || r
override def and(l: => Boolean, r: => Boolean): Boolean = l && r
override def Or: Identity[OrF[Boolean]] = Associative.BooleanOrFCommutativeIdempotentInverse
override def And: Identity[AndF[Boolean]] = Associative.BooleanAndFCommutativeIdempotentInverse
}
implicit def SetInstance[A]: DistributiveAbsorption[Set[A]] =
new DistributiveAbsorption[Set[A]] {
override def or(l: => Set[A], r: => Set[A]): Set[A] = l | r
override def and(l: => Set[A], r: => Set[A]): Set[A] = l & r
override def Or: Associative[OrF[Set[A]]] = Associative.SetOrFCommutativeIdempotentInverse
override def And: Associative[AndF[Set[A]]] = Associative.SetAndFCommutativeIdempotent
}
}
trait AbsorptionSyntax {
/**
* Provides infix syntax for joining or meeting two values.
*/
implicit class AbsorptionOps[A](private val l: A) {
/**
* A symbolic alias for `or`.
*/
def vvv(r: => A)(implicit absorption: Absorption[A]): A =
absorption.or(l, r)
/**
* Or two values.
*/
def or(r: => A)(implicit absorption: Absorption[A]): A =
absorption.or(l, r)
/**
* A symbolic alias for `and`.
*/
def ^^^(r: => A)(implicit absorption: Absorption[A]): A =
absorption.and(l, r)
/**
* And two values.
*/
def and(r: => A)(implicit absorption: Absorption[A]): A =
absorption.and(l, r)
}
}