core/spire.syntax/BoolSyntax

BoolSyntax

trait BoolSyntax extends HeytingSyntax
class Object
trait Matchable
class Any
trait AllSyntax
object implicits
object all
object bool

Implicits

Implicits

implicit
def boolOps[A : Bool](a: A): BoolOps[A]

Inherited implicits

implicit
def heytingOps[A : Heyting](a: A): HeytingOps[A]
Inherited from
HeytingSyntax