trace4cats-base-laws/io.janstenpickle.trace4cats.base.context.laws

io.janstenpickle.trace4cats.base.context.laws

package io.janstenpickle.trace4cats.base.context.laws

Type members

Classlikes

trait AskLaws[F[_], R]
Companion:
object
object AskLaws
Companion:
class
trait LiftLaws[Low[_], F[_]]
Companion:
object
object LiftLaws
Companion:
class
trait LocalLaws[F[_], R] extends AskLaws[F, R]
Companion:
object
object LocalLaws
Companion:
class
trait ProvideLaws[Low[_], F[_], R] extends LocalLaws[F, R] with UnliftLaws[Low, F]
Companion:
object
object ProvideLaws
Companion:
class
trait UnliftLaws[Low[_], F[_]] extends LiftLaws[Low, F]
Companion:
object
object UnliftLaws
Companion:
class