cats-eo-api-docs
0.8.1-3-6c70289-SNAPSHOT
API
Generated with
cats-eo-api-docs/dev.constructive.eo/dev.constructive.eo.laws/dev.constructive.eo.laws.eo/PutIsReverseGetLaws

PutIsReverseGetLaws

dev.constructive.eo.laws.eo.PutIsReverseGetLaws
trait PutIsReverseGetLaws[S, A]

H3 — Iso put is the curried reverseGet ∘ pure.

Attributes

Source
ReverseAndTransformLaws.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

def iso: Optic[S, S, A, A, Direct]

The optic under test.

The optic under test.

Attributes

Source
ReverseAndTransformLaws.scala

Concrete methods

def putIsReverseGetCompose(a: A, f: A => A): Boolean

put(f)(a) == reverseGet(f(a)).

put(f)(a) == reverseGet(f(a)).

Attributes

Source
ReverseAndTransformLaws.scala
Generated with