core/spire.syntax/bool

bool

object bool extends BoolSyntax
class Object
trait Matchable
class Any

Implicits

Inherited implicits

implicit
def boolOps[A : Bool](a: A): BoolOps[A]
Inherited from
BoolSyntax
implicit
def heytingOps[A : Heyting](a: A): HeytingOps[A]
Inherited from
HeytingSyntax