core
core
weaver
weaver.internals
core
/
weaver
/
Expectations$
Expectations
object
Expectations
Companion
class
Graph
Super types
trait
Product
trait
Mirror
class
Object
trait
Matchable
class
Any
Type members
Value members
Implicits
Type members
Classlikes
abstract
class
NewType
Trick to convert from multiplicative assertion to additive assertion
object
Additive
extends
NewType
trait
Helpers
Companion
object
object
Helpers
extends
Helpers
Companion
class
Types
type
Additive
=
Type
Inherited types
type
MirroredLabel
<:
String
The name of the type
Inhertied from
Mirror
type
MirroredElemLabels
<:
Tuple
The names of the product elements
Inhertied from
Mirror
Value members
Methods
def
format
(tpl:
String
, values:
String
*):
String
Implicits
Implicits
implicit
val
multiplicativeMonoid
:
Monoid
[
Expectations
]
implicit
def
additiveMonoid
(loc:
SourceLocation
):
Monoid
[
Additive
]