@implicitNotFound("Could not find an instance of At[${S}, ${I}, ${A}]")
The At typeclass provides a Lens that can be used to read, write or delete the value associated with a key in a Map-like container
The At typeclass provides a Lens that can be used to read, write or delete the value associated with a key in a Map-like container
- Type parameters:
- A
an optional focus of a Lens
- I
the index of a Lens
- S
the source of a Lens
- Companion:
- object
@implicitNotFound("Could not find an instance of Cons[${S}, ${A}]")
The Cons typeclass provides a Prism for a way to attach or detach elements on the left side of a structure.
The Cons typeclass provides a Prism for a way to attach or detach elements on the left side of a structure.
- Type parameters:
- A
the head part of the focus (A, S)
of a Prism
- S
the source of a Prism
- Companion:
- object
@implicitNotFound("Could not find an instance of Each[${S}, ${A}]")
The Each typeclass provides a Traversal that can extract each element of a monomorphic container.
@implicitNotFound("Could not find an instance of Empty[${S}]")
The Empty typeclass provides a Prism that can tell whether a structure is empty.
The Empty typeclass provides a Prism that can tell whether a structure is empty.
- Type parameters:
- S
the source of a Prism
- Companion:
- object
@implicitNotFound("Could not find an instance of Field1[${S}, ${A}]")
The Field1 typeclass provides a Lens for a way to get the first element of structure.
The Field1 typeclass provides a Lens for a way to get the first element of structure.
- Type parameters:
- A
the focus of a Lens
- S
the source of a Lens
- Companion:
- object
@implicitNotFound("Could not find an instance of Field2[${S}, ${A}]")
The Field2 typeclass provides a Lens for a way to get the second element of structure.
The Field2 typeclass provides a Lens for a way to get the second element of structure.
- Type parameters:
- A
the focus of a Lens
- S
the source of a Lens
- Companion:
- object
@implicitNotFound("Could not find an instance of Field3[${S}, ${A}]")
The Field3 typeclass provides a Lens for a way to get the third element of structure.
The Field3 typeclass provides a Lens for a way to get the third element of structure.
- Type parameters:
- A
the focus of a Lens
- S
the source of a Lens
- Companion:
- object
@implicitNotFound("Could not find an instance of Field4[${S}, ${A}]")
The Field4 typeclass provides a Lens for a way to get the fourth element of structure.
The Field4 typeclass provides a Lens for a way to get the fourth element of structure.
- Type parameters:
- A
the focus of a Lens
- S
the source of a Lens
- Companion:
- object
@implicitNotFound("Could not find an instance of Field5[${S}, ${A}]")
The Field5 typeclass provides a Lens for a way to get the fifth element of structure.
The Field5 typeclass provides a Lens for a way to get the fifth element of structure.
- Type parameters:
- A
the focus of a Lens
- S
the source of a Lens
- Companion:
- object
@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
@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.
- Type parameters:
- H
the head part of the focus (H, T)
of an Iso
- S
the source of an Iso
- T
the tail part of the focus (H, T)
of an Iso
- Companion:
- object
@implicitNotFound("Could not find an instance of Prefixed[${S}, ${T}]")
The Prefixed typeclass provides a Prism for a way to prepend or remove elements on the left side of a structure.
The Prefixed typeclass provides a Prism for a way to prepend or remove elements on the left side of a structure.
- Type parameters:
- S
the source of a Prism
- T
the focus of a Prism
- Companion:
- object
@implicitNotFound("Could not find an instance of Reverse[${S}, ${T}]")
The Reverse typeclass provides an Iso for a way to reverse the elements of a structure.
The Reverse typeclass provides an Iso for a way to reverse the elements of a structure.
- Type parameters:
- S
the source of a Iso
- T
the focus of a Iso
- Companion:
- object
@implicitNotFound("Could not find an instance of Suffixed[${S}, ${T}]")
The Suffixed typeclass provides a Prism for a way to append or truncate elements on the right side of a structure.
The Suffixed typeclass provides a Prism for a way to append or truncate elements on the right side of a structure.
- Type parameters:
- S
the source of a Prism
- T
the focus of a Prism
- Companion:
- object