Proptics core/proptics.typeclass

proptics.typeclass

package proptics.typeclass

Type members

Classlikes

@implicitNotFound("Could not find an instance of At[${S}, ${I}, ${A}]")
trait At[S, I, A] extends Index[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
object At
Companion:
class
@implicitNotFound("Could not find an instance of Cons[${S}, ${A}]")
trait Cons[S, A] extends Serializable

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
object Cons
Companion:
class
@implicitNotFound("Could not find an instance of Each[${S}, ${A}]")
trait Each[S, A] extends Serializable

The Each typeclass provides a Traversal that can extract each element of a monomorphic container.

The Each typeclass provides a Traversal that can extract each element of a monomorphic container.

Type parameters:
A

the focus of a Traversal

S

the source of a Traversal

Companion:
object
object Each
Companion:
class
@implicitNotFound("Could not find an instance of Empty[${S}]")
trait Empty[S] extends Serializable

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
object Empty
Companion:
class
@implicitNotFound("Could not find an instance of Field1[${S}, ${A}]")
trait Field1[S, A] extends Serializable

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
object Field1
Companion:
class
@implicitNotFound("Could not find an instance of Field2[${S}, ${A}]")
trait Field2[S, A] extends Serializable

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
object Field2
Companion:
class
@implicitNotFound("Could not find an instance of Field3[${S}, ${A}]")
trait Field3[S, A] extends Serializable

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
object Field3
Companion:
class
@implicitNotFound("Could not find an instance of Field4[${S}, ${A}]")
trait Field4[S, A] extends Serializable

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
object Field4
Companion:
class
@implicitNotFound("Could not find an instance of Field5[${S}, ${A}]")
trait Field5[S, A] extends Serializable

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
object Field5
Companion:
class
@implicitNotFound("Could not find an instance of Index[${S}, ${I}, ${A}]")
trait Index[S, I, A] extends Serializable

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
object Index
Companion:
class
@implicitNotFound("Could not find an instance of NonEmptyCons[${S}, ${H}, ${T}]")
trait NonEmptyCons[S, H, T] extends Serializable

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
object NonEmptyCons
Companion:
class
@implicitNotFound("Could not find an instance of Prefixed[${S}, ${T}]")
trait Prefixed[S, T] extends Serializable

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
object Prefixed
Companion:
class
@implicitNotFound("Could not find an instance of Reverse[${S}, ${T}]")
trait Reverse[S, T] extends Serializable

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
object Reverse
Companion:
class
@implicitNotFound("Could not find an instance of Suffixed[${S}, ${T}]")
trait Suffixed[S, T] extends Serializable

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
object Suffixed
Companion:
class