proptics.typeclass
package proptics.typeclass
Type members
Classlikes
@implicitNotFound("Could not find an instance of At[${S}, ${I}, ${A}]")
@implicitNotFound("Could not find an instance of Cons[${S}, ${A}]")
@implicitNotFound("Could not find an instance of Each[${S}, ${A}]")
@implicitNotFound("Could not find an instance of Empty[${S}]")
@implicitNotFound("Could not find an instance of Field1[${S}, ${A}]")
@implicitNotFound("Could not find an instance of Field2[${S}, ${A}]")
@implicitNotFound("Could not find an instance of Field3[${S}, ${A}]")
@implicitNotFound("Could not find an instance of Field4[${S}, ${A}]")
@implicitNotFound("Could not find an instance of Field5[${S}, ${A}]")
@implicitNotFound("Could not find an instance of Index[${S}, ${I}, ${A}]")
The Index typeclass provides an AffineTraversal that can be used to traverse the value at a given key
The Index typeclass provides an AffineTraversal that can be used to traverse the value at a given key
- Type parameters:
- A
target of an AffineTraversal
- I
index an AffineTraversal
- S
source of an AffineTraversal
- Companion:
- object
@implicitNotFound("Could not find an instance of NonEmptyCons[${S}, ${H}, ${T}]")
The NonEmptyCons typeclass provides an Iso for a way to attach or detach elements on the left side of a structure.
The NonEmptyCons typeclass provides an Iso for a way to attach or detach elements on the left side of a structure.
The NonEmptyCons is similar to Cons, but is suitable for Non empty structures.
@implicitNotFound("Could not find an instance of Prefixed[${S}, ${T}]")
@implicitNotFound("Could not find an instance of Reverse[${S}, ${T}]")
@implicitNotFound("Could not find an instance of Suffixed[${S}, ${T}]")