• Home
• dev.zio
• zio-schema_sjs1_2.12
• 1.5.0
• source code
• Bool.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

zio.schema.validation.Bool.scala Maven / Gradle / Ivy

package zio.schema.validation

sealed trait Bool[A] { self =>
  def &&(that: Bool[A]): Bool[A] = Bool.And(self, that)
  def ||(that: Bool[A]): Bool[A] = Bool.Or(self, that)
  def unary_! : Bool[A]          = Bool.Not(self)

  def map[B](f: A => B): Bool[B] = self match {
    case Bool.And(left, right) => Bool.And(left.map(f), right.map(f))
    case Bool.Or(left, right)  => Bool.Or(left.map(f), right.map(f))
    case Bool.Leaf(value)      => Bool.Leaf(f(value))
    case Bool.Not(value)       => Bool.Not(value.map(f))
  }
}

object Bool {
  final case class And[A](left: Bool[A], right: Bool[A]) extends Bool[A]
  final case class Or[A](left: Bool[A], right: Bool[A])  extends Bool[A]
  final case class Leaf[A](value: A)                     extends Bool[A]
  final case class Not[A](value: Bool[A])                extends Bool[A]
}