Proptics law/proptics.law

proptics.law

package proptics.law

Type members

Classlikes

trait ALensLaws[S, A]
Companion:
object
object ALensLaws
Companion:
class
trait APrismLaws[S, A]
Companion:
object
object APrismLaws
Companion:
class
trait ATraversalLaws[S, A]
Companion:
object
object ATraversalLaws
Companion:
class
trait AffineTraversalLaws[S, A]
Companion:
object
object AffineTraversalLaws
Companion:
class
trait AnAffineTraversalLaws[S, A]
Companion:
object
object AnAffineTraversalLaws
Companion:
class
trait AnIndexedLensLaws[I, S, A]
Companion:
object
object AnIndexedLensLaws
Companion:
class
trait AnIsoLaws[S, A]
Companion:
object
object AnIsoLaws
Companion:
class
trait ChoiceLaws[F[_, _]] extends ProfunctorLaws[F]
Companion:
object
object ChoiceLaws
Companion:
class
trait ClosedLaws[F[_, _]] extends ProfunctorLaws[F]
Companion:
object
object ClosedLaws
Companion:
class
trait CochoiceLaws[F[_, _]] extends ProfunctorLaws[F]
Companion:
object
object CochoiceLaws
Companion:
class
trait FoldableWithIndexLaws[F[_], I]
Companion:
object
object FoldableWithIndexLaws
Companion:
class
trait FunctorWithIndexLaws[F[_], I]
Companion:
object
object FunctorWithIndexLaws
Companion:
class
trait GrateLaws[S, A]
Companion:
object
object GrateLaws
Companion:
class
trait IndexedLensLaws[I, S, A]
Companion:
object
object IndexedLensLaws
Companion:
class
trait IndexedSetterLaws[I, S, A]
Companion:
object
object IndexedSetterLaws
Companion:
class
trait IndexedTraversalLaws[I, S, A]
Companion:
object
object IndexedTraversalLaws
Companion:
class
trait IsoLaws[S, A]
Companion:
object
object IsoLaws
Companion:
class
trait LensLaws[S, A]
Companion:
object
object LensLaws
Companion:
class
trait PrismLaws[S, A]
Companion:
object
object PrismLaws
Companion:
class
trait SetterLaws[S, A]
Companion:
object
object SetterLaws
Companion:
class
trait TraversalLaws[S, A]
Companion:
object
object TraversalLaws
Companion:
class
trait TraverseWithIndexLaws[F[_], I] extends FunctorWithIndexLaws[F, I] with FoldableWithIndexLaws[F, I]
Companion:
object
object TraverseWithIndexLaws
Companion:
class
trait WanderLaws[F[_, _]]
Companion:
object
object WanderLaws
Companion:
class