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

io.janstenpickle.trace4cats.base.context.laws.discipline

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

Type members

Classlikes

trait AskTests[F[_], R] extends Laws
Companion:
object
object AskTests
Companion:
class
trait LiftTests[Low[_], F[_]] extends Laws
Companion:
object
object LiftTests
Companion:
class
trait LocalTests[F[_], R] extends AskTests[F, R]
Companion:
object
object LocalTests
Companion:
class
trait ProvideTests[Low[_], F[_], R] extends LocalTests[F, R] with UnliftTests[Low, F]
Companion:
object
object ProvideTests
Companion:
class
trait UnliftTests[Low[_], F[_]] extends LiftTests[Low, F]
Companion:
object
object UnliftTests
Companion:
class