zio-test/zio.test/BoolAlgebra

BoolAlgebra

object BoolAlgebra
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

final case class And[+A](left: BoolAlgebra[A], right: BoolAlgebra[A]) extends BoolAlgebra[A]
final case class Not[+A](result: BoolAlgebra[A]) extends BoolAlgebra[A]
final case class Or[+A](left: BoolAlgebra[A], right: BoolAlgebra[A]) extends BoolAlgebra[A]
final case class Value[+A](value: A) extends BoolAlgebra[A]

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def all[A](as: Iterable[BoolAlgebra[A]]): Option[BoolAlgebra[A]]

Returns a result that is the logical conjunction of all of the results in the specified collection.

Returns a result that is the logical conjunction of all of the results in the specified collection.

def all[A](a: BoolAlgebra[A], as: BoolAlgebra[A]*): BoolAlgebra[A]

Returns a result that is the logical conjunction of all of the results

Returns a result that is the logical conjunction of all of the results

def and[A](left: BoolAlgebra[A], right: BoolAlgebra[A]): BoolAlgebra[A]

Constructs a result that is the logical conjunction of two results.

Constructs a result that is the logical conjunction of two results.

def any[A](as: Iterable[BoolAlgebra[A]]): Option[BoolAlgebra[A]]

Returns a result that is the logical disjunction of all of the results in the specified collection.

Returns a result that is the logical disjunction of all of the results in the specified collection.

def any[A](a: BoolAlgebra[A], as: BoolAlgebra[A]*): BoolAlgebra[A]

Returns a result that is the logical disjunction of all of the results

Returns a result that is the logical disjunction of all of the results

def collectAll[A](as: Iterable[BoolAlgebra[A]]): Option[BoolAlgebra[A]]

Combines a collection of results to create a single result that succeeds if all of the results succeed.

Combines a collection of results to create a single result that succeeds if all of the results succeed.

def failure[A](a: A): BoolAlgebra[A]

Constructs a failed result with the specified value.

Constructs a failed result with the specified value.

def foreach[A, B](as: Iterable[A])(f: A => BoolAlgebra[B]): Option[BoolAlgebra[B]]

Applies the function f to each element of the Iterable[A] to produce a collection of results, then combines all of those results to create a single result that is the logical conjunction of all of the results.

Applies the function f to each element of the Iterable[A] to produce a collection of results, then combines all of those results to create a single result that is the logical conjunction of all of the results.

def not[A](result: BoolAlgebra[A]): BoolAlgebra[A]

Constructs a result that is the logical negation of the specified result.

Constructs a result that is the logical negation of the specified result.

def or[A](left: BoolAlgebra[A], right: BoolAlgebra[A]): BoolAlgebra[A]

Constructs a result a that is the logical disjunction of two results.

Constructs a result a that is the logical disjunction of two results.

def success[A](a: A): BoolAlgebra[A]

Constructs a successful result with the specified value.

Constructs a successful result with the specified value.

Concrete fields

final val unit: BoolAlgebra[Unit]

A successful result with the unit value.

A successful result with the unit value.