trace4cats-base-laws
trace4cats-base-laws
io.janstenpickle.trace4cats.base.context.laws
AskLaws
AskLaws
LiftLaws
LiftLaws
LocalLaws
LocalLaws
ProvideLaws
ProvideLaws
UnliftLaws
UnliftLaws
io.janstenpickle.trace4cats.base.context.laws.discipline
AskTests
AskTests
LiftTests
LiftTests
LocalTests
LocalTests
ProvideTests
ProvideTests
UnliftTests
UnliftTests
trace4cats-base-laws
/
io.janstenpickle.trace4cats.base.context.laws
/
ProvideLaws
ProvideLaws
object
ProvideLaws
Companion:
class
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
ProvideLaws
.type
Value members
Value members
Concrete methods
def
apply
[
Low
[
_
],
F
[
_
],
R
](
implicit
instance0:
Provide
[
Low
,
F
,
R
]):
ProvideLaws
[
Low
,
F
,
R
]