core/weaver/Expectations

Expectations

object Expectations
Companion
class
trait Product
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

object Additive extends NewType
trait Helpers
Companion
object
object Helpers extends Helpers
Companion
class
abstract class NewType

Trick to convert from multiplicative assertion to additive assertion

Trick to convert from multiplicative assertion to additive assertion

Types

type Additive = Type

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Concrete methods

def format(tpl: String, values: String*): String

Implicits

Implicits

implicit def additiveMonoid(loc: SourceLocation): Monoid[Additive]
implicit val multiplicativeMonoid: Monoid[Expectations]