core/spire.syntax/BoolSyntax

BoolSyntax

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

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