Proptics core/proptics.std/all

all

object all extends AllStdOptics
trait ALensTupleOptics
trait LensTupleOptics
class Object
trait Matchable
class Any
all.type

Value members

Inherited methods

final def _1[A, B](implicit ev: Field1[(A, B), A]): Lens[(A, B), A]

extract the first element of a tuple using monomorphic Lens

extract the first element of a tuple using monomorphic Lens

Inherited from:
LensTupleOptics
final def _1A[A, B](implicit ev: Field1[(A, B), A]): ALens[(A, B), A]

extract the first element of a tuple using polymorphic Lens_

extract the first element of a tuple using polymorphic Lens_

Inherited from:
ALensTupleOptics
final def _1P[A, B, C]: Lens_[(A, C), (B, C), A, B]

extract the first element of a tuple using polymorphic Lens_

extract the first element of a tuple using polymorphic Lens_

Inherited from:
LensTupleOptics
final def _1PA[A, B, C]: ALens_[(A, C), (B, C), A, B]

extract the first element of a tuple using polymorphic Lens_

extract the first element of a tuple using polymorphic Lens_

Inherited from:
ALensTupleOptics
final def _1T2K[F[_], G[_], H[_], A]: Lens_[Tuple2K[F, G, A], Tuple2K[H, G, A], F[A], H[A]]
Inherited from:
ProductOptics
final def _2[A, B](implicit ev: Field2[(A, B), B]): Lens[(A, B), B]

extract the second element of a tuple using monomorphic Lens_

extract the second element of a tuple using monomorphic Lens_

Inherited from:
LensTupleOptics
final def _2A[A, B](implicit ev: Field2[(A, B), B]): ALens[(A, B), B]

extract the second element of a tuple using polymorphic Lens_

extract the second element of a tuple using polymorphic Lens_

Inherited from:
ALensTupleOptics
final def _2P[A, B, C]: Lens_[(C, A), (C, B), A, B]

extract the second element of a tuple using polymorphic Lens_

extract the second element of a tuple using polymorphic Lens_

Inherited from:
LensTupleOptics
final def _2PA[A, B, C]: ALens_[(C, A), (C, B), A, B]

extract the second element of a tuple using polymorphic Lens_

extract the second element of a tuple using polymorphic Lens_

Inherited from:
ALensTupleOptics
final def _2T2K[F[_], G[_], H[_], A]: Lens_[Tuple2K[F, G, A], Tuple2K[F, H, A], G[A], H[A]]
Inherited from:
ProductOptics
final def curried[A, B, C]: Iso[(A, B) => C, A => B => C]

a monomorphic Iso for currying and uncurrying a function

a monomorphic Iso for currying and uncurrying a function

Inherited from:
FunctionOptics
final def curriedP[A, B, C, D, E, F]: Iso_[(A, B) => C, (D, E) => F, A => B => C, D => E => F]

a polymorphic Iso_ for currying and uncurrying a function

a polymorphic Iso_ for currying and uncurrying a function

Inherited from:
FunctionOptics
final def firstP[A, B, C]: Lens_[(A, C), (B, C), A, B]

synonym for _1P

synonym for _1P

Inherited from:
LensTupleOptics
final def flip[A, B, C]: Iso[A => B => C, B => A => C]

a monomorphic Iso for flipping a function

a monomorphic Iso for flipping a function

Inherited from:
FunctionOptics
final def flipP[A, B, C, D, E, F]: Iso_[A => B => C, D => E => F, B => A => C, E => D => F]

a polymorphic Iso_ for flipping a function

a polymorphic Iso_ for flipping a function

Inherited from:
FunctionOptics
final def fst2K[F[_], G[_], H[_], A]: Lens_[Tuple2K[F, G, A], Tuple2K[H, G, A], F[A], H[A]]
Inherited from:
ProductOptics
final def fstPA[A, B, C]: ALens_[(A, C), (B, C), A, B]

extract the first element of a tuple using polymorphic Lens_

extract the first element of a tuple using polymorphic Lens_

Inherited from:
ALensTupleOptics
final def left[A, B]: Prism[Either[A, B], A]

extract the left element of an either using monomorphic Prism

extract the left element of an either using monomorphic Prism

Inherited from:
EitherOptics
final def leftK[F[_], G[_], H[_], A]: Prism_[EitherK[F, G, A], EitherK[H, G, A], F[A], H[A]]
Inherited from:
CoproductOptics
final def leftP[A, B, C]: Prism_[Either[A, C], Either[B, C], A, B]

extract the left element of an either using polymorphic Prism_

extract the left element of an either using polymorphic Prism_

Inherited from:
EitherOptics
final def listToArray[A : ClassTag]: Iso[List[A], Array[A]]

a monomorphic Iso from a list to an Array

a monomorphic Iso from a list to an Array

Inherited from:
ListOptics
final def listToNonEmptyList[A]: Prism[List[A], NonEmptyList[A]]

a monomorphic Prism from a List to a NonEmptyList

a monomorphic Prism from a List to a NonEmptyList

Inherited from:
ListOptics
final def listToVector[A]: Iso[List[A], Vector[A]]

a monomorphic Iso from a List to a Vector

a monomorphic Iso from a List to a Vector

Inherited from:
ListOptics
def mkString(sep: String): Iso_[String, String, String, List[String]]

shows all elements of a collection in a string using a separator string

shows all elements of a collection in a string using a separator string

Inherited from:
StringOptics
final def none[A]: Prism[Option[A], Unit]
Inherited from:
OptionOptics
final def noneP[A, B]: Prism_[Option[A], Option[B], Unit, Unit]
Inherited from:
OptionOptics
final def right[A, B]: Prism[Either[A, B], B]

extract the right element of an either using monomorphic Prism

extract the right element of an either using monomorphic Prism

Inherited from:
EitherOptics
final def rightK[F[_], G[_], H[_], A]: Prism_[EitherK[F, G, A], EitherK[F, H, A], G[A], H[A]]
Inherited from:
CoproductOptics
final def rightP[A, B, C]: Prism_[Either[C, A], Either[C, B], A, B]

extract the right element of an either using polymorphic Prism_

extract the right element of an either using polymorphic Prism_

Inherited from:
EitherOptics
final def secondA[A, B](implicit ev: Field2[(A, B), B]): ALens[(A, B), B]

extract the first element of a tuple using polymorphic Lens_

extract the first element of a tuple using polymorphic Lens_

Inherited from:
ALensTupleOptics
final def secondP[A, B, C]: Lens_[(C, A), (C, B), A, B]

synonym for _2P

synonym for _2P

Inherited from:
LensTupleOptics
final def secondPA[A, B, C]: ALens_[(C, A), (C, B), A, B]

extract the second element of a tuple using polymorphic Lens_

extract the second element of a tuple using polymorphic Lens_

Inherited from:
ALensTupleOptics
final def snd2K[F[_], G[_], H[_], A]: Lens_[Tuple2K[F, G, A], Tuple2K[F, H, A], G[A], H[A]]
Inherited from:
ProductOptics
final def some[A]: Prism[Option[A], A]
Inherited from:
OptionOptics
final def someP[A, B]: Prism_[Option[A], Option[B], A, B]
Inherited from:
OptionOptics
def split(regex: String): Traversal_[String, List[String], String, String]

splits this string around matches of the given regex

splits this string around matches of the given regex

Inherited from:
StringOptics
final def swapEither[A, B]: Iso[Either[A, B], Either[B, A]]

swap the elements of an Either

swap the elements of an Either

Inherited from:
EitherOptics
final def swapTuple[A, B]: Iso[(A, B), (B, A)]

swap the elements of a Tuple

swap the elements of a Tuple

Inherited from:
LensTupleOptics
def takeWords(i: Int): Traversal[String, String]

select the first n words of a string

select the first n words of a string

Inherited from:
StringOptics
final def uncurried[A, B, C]: Iso[A => B => C, (A, B) => C]

a monomorphic Iso for uncurrying and currying a function

a monomorphic Iso for uncurrying and currying a function

Inherited from:
FunctionOptics
final def uncurriedP[A, B, C, D, E, F]: Iso_[A => B => C, D => E => F, (A, B) => C, (D, E) => F]

a polymorphic Iso_ for uncurrying and currying a function

a polymorphic Iso_ for uncurrying and currying a function

Inherited from:
FunctionOptics
final def unit[A]: Lens[A, Unit]
Inherited from:
UnitOptics

Inherited fields

final val charsToString: Iso[List[Char], String]

a monomorphic Iso from a List[char] to a String

a monomorphic Iso from a List[char] to a String

Inherited from:
ListOptics
final val stringToChars: Iso[String, List[Char]]

a monomorphic Iso from a string to a list of chars

a monomorphic Iso from a string to a list of chars

Inherited from:
StringOptics
val words: Traversal[String, String]

fold over the individual words of a String

fold over the individual words of a String

Inherited from:
StringOptics