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
object Helpers extends Helpers
Companion:
class
trait Helpers
Companion:
object
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(implicit loc: SourceLocation): Monoid[Additive]