trace4cats-context-utils-laws
API
Generated with
trace4cats-context-utils-laws/trace4cats.context.laws

trace4cats.context.laws

package trace4cats.context.laws

Members list

Packages

package trace4cats.context.laws.discipline

Type members

Classlikes

trait AskLaws[F[_], R]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait LocalLaws[F, R]
trait ProvideLaws[Low, F, R]
object AskLaws

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
AskLaws.type
trait LiftLaws[Low[_], F[_]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait UnliftLaws[Low, F]
trait ProvideLaws[Low, F, R]
object LiftLaws

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
LiftLaws.type
trait LocalLaws[F[_], R] extends AskLaws[F, R]

Attributes

Companion
object
Supertypes
trait AskLaws[F, R]
class Object
trait Matchable
class Any
Known subtypes
trait ProvideLaws[Low, F, R]
object LocalLaws

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
LocalLaws.type
trait ProvideLaws[Low[_], F[_], R] extends LocalLaws[F, R], UnliftLaws[Low, F]

Attributes

Companion
object
Supertypes
trait UnliftLaws[Low, F]
trait LiftLaws[Low, F]
trait LocalLaws[F, R]
trait AskLaws[F, R]
class Object
trait Matchable
class Any
Show all
object ProvideLaws

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait UnliftLaws[Low[_], F[_]] extends LiftLaws[Low, F]

Attributes

Companion
object
Supertypes
trait LiftLaws[Low, F]
class Object
trait Matchable
class Any
Known subtypes
trait ProvideLaws[Low, F, R]
object UnliftLaws

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
UnliftLaws.type
Generated with