nutcracker/nutcracker.data.bool/BoolOps

BoolOps

class BoolOps[M[_], BP <: BranchingPropagation[M]](implicit val BP: BP)
Companion:
object
class Object
trait Matchable
class Any

Type members

Classlikes

implicit implicit class BoolRefOps(self: Var[Bool])
implicit implicit class BoolRefOps1(self: M[Var[Bool]])

Value members

Concrete methods

def and(x: Var[Bool], y: Var[Bool])(implicit M: Monad[M]): M[Var[Bool]]
def atLeastOneTrue(x: Var[Bool]*)(implicit M: Monad[M]): M[Unit]
def imp(x: Var[Bool], y: Var[Bool])(implicit M: Applicative[M]): M[Unit]
def neg(x: Var[Bool])(implicit M: Monad[M]): M[Var[Bool]]
def negM(x: M[Var[Bool]])(implicit M: Monad[M]): M[Var[Bool]]
def not(x: Var[Bool]): M[Unit]
def or(x: Var[Bool], y: Var[Bool])(implicit M: Monad[M]): M[Var[Bool]]
def presume(x: Var[Bool]): M[Unit]
def presume(x: M[Var[Bool]])(implicit B: Bind[M]): M[Unit]

Implicits

Implicits

implicit val BP: BP
final implicit def BoolRefOps(self: Var[Bool]): BoolRefOps
final implicit def BoolRefOps1(self: M[Var[Bool]]): BoolRefOps1