Proptics core/proptics.internal

proptics.internal

package proptics.internal

Type members

Classlikes

@implicitNotFound("Could not find an instance of Bazaar[${P}, ${A}, ${B}, ${S}, ${T}]")
trait Bazaar[P[_, _], A, B, S, T] extends Serializable

Bazaar is used to characterize a proptics.Traversal_

Bazaar is used to characterize a proptics.Traversal_

Companion:
object
object Bazaar extends BazaarInstances
Companion:
class
abstract class BazaarInstances
object Corepresentable extends CorepresentableInstances
trait CorepresentableInstances
final case class Exchange[A, B, S, T](view: S => A, review: B => T)
object Exchange extends ExchangeInstances
Companion:
class
abstract class ExchangeInstances
final case class Forget[R, A, B](runForget: A => R) extends AnyVal

Forget is a cats.arrow.Profunctor that forgets the B value and returns an accumulated value of type R.

Forget is a cats.arrow.Profunctor that forgets the B value and returns an accumulated value of type R.

Companion:
object
object Forget extends ForgetInstances
Companion:
class
abstract class ForgetInstances
final case class Indexed[P[_, _], I, S, T](runIndex: P[(S, I), T])

cats.arrow.Profunctor used for indexed optics

cats.arrow.Profunctor used for indexed optics

Companion:
object
object Indexed extends IndexedInstances
Companion:
class
trait IndexedGetter0[I, S, A] extends Serializable
trait IndexedGetter1[I, S, A] extends IndexedGetter0[I, S, A]
abstract class IndexedInstances
trait IndexedSetter0[I, S, T, A, B] extends Serializable
trait IndexedTraversal0[I, S, T, A, B] extends IndexedSetter0[I, S, T, A, B]
trait IndexedTraversal1[I, S, T, A, B] extends IndexedTraversal0[I, S, T, A, B] with IndexedFoldCompat[I, S, A]
final case class Market[A, B, S, T](viewOrModify: S => Either[T, A], review: B => T)
object Market extends MarketInstances
Companion:
class
abstract class MarketInstances
final case class Re[P[_, _], S, T, A, B](runRe: P[B, A] => P[T, S]) extends AnyVal

Re is a class for optics that can be reversed.

Re is a class for optics that can be reversed.

Companion:
object
object Re extends ReInstances
Companion:
class
abstract class ReInstances
trait RunBazaar[P[_, _], A, B, S, T] extends Serializable
@implicitNotFound("Could not find an instance of Sellable[${P}, ${W}]")
trait Sellable[P[_, _], W[_, _, _]] extends Serializable

The Sellable is used internally to construct a Bazaar

The Sellable is used internally to construct a Bazaar

Companion:
object
object Sellable extends SellableInstances
Companion:
class
abstract class SellableInstances
final case class Shop[A, B, S, T](view: S => A, set: S => B => T)

The Shop profunctor characterizes a proptics.Lens_

The Shop profunctor characterizes a proptics.Lens_

Companion:
object
object Shop extends ShopInstances
Companion:
class
abstract class ShopInstances
final case class Stall[A, B, S, T](viewOrModify: S => Either[T, A], set: S => B => T)
object Stall extends StallInstances
Companion:
class
abstract class StallInstances
final case class Tagged[A, B](runTag: B)

A Tagged value is a value of type B with an attached phantom type A

A Tagged value is a value of type B with an attached phantom type A

Companion:
object
object Tagged extends TaggedInstances
Companion:
class
abstract class TaggedInstances
final case class Zipping[A, B](runZipping: A => A => B) extends AnyVal
object Zipping extends ZippingInstances
Companion:
class
abstract class ZippingInstances