Strict

cats.derived.DerivedInvariant$package.DerivedInvariant.Strict
object Strict

Attributes

Source
DerivedInvariant.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Strict.type

Members list

Givens

Givens

given coproduct[F[_]](using inst: => CoproductInstances[Or, F]): DerivedInvariant[F]

Attributes

Source
DerivedInvariant.scala
given product[F[_]](using evidence$1: ProductInstancesOf[[F[_]] =>> Invariant[F]][F]): DerivedInvariant[F]

Attributes

Source
DerivedInvariant.scala