LogicLaws

algebra.laws.LogicLaws$
See theLogicLaws companion trait
object LogicLaws

Attributes

Companion
trait
Source
LogicLaws.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
LogicLaws.type

Members list

Value members

Concrete methods

def apply[A : Arbitrary]: LogicLaws[A]

Attributes

Source
LogicLaws.scala