scalaz-core/scalaz/PLensInstances

PLensInstances

abstract
class PLensInstances
class Object
trait Matchable
class Any
object PLens

Type members

Classlikes

case
class FractionalPLens[S, F](lens: PLens[S, F], frac: Fractional[F])

Allow the illusion of imperative updates to potential numbers viewed through a partial lens

Allow the illusion of imperative updates to potential numbers viewed through a partial lens

case
class IntegralPLens[S, I](lens: PLens[S, I], ig: Integral[I])

Allow the illusion of imperative updates to potential numbers viewed through a partial lens

Allow the illusion of imperative updates to potential numbers viewed through a partial lens

case
class NumericPLens[S, N](lens: PLens[S, N], num: Numeric[N])(implicit evidence$1: Numeric[N])

Allow the illusion of imperative updates to potential numbers viewed through a partial lens

Allow the illusion of imperative updates to potential numbers viewed through a partial lens

Implicits

Implicits

implicit
def PLensFamilyState[A, B](plens: PLensFamily[A, _, B, _]): PState[A, B]

Partial Lenses may be used implicitly as State monadic actions that get the potentially viewed portion of the state

Partial Lenses may be used implicitly as State monadic actions that get the potentially viewed portion of the state

implicit
def PLensFamilyUnzip[S, R]: Unzip[[α] =>> PLensFamily[S, R, α, α]]
implicit
def fractionalPLens[S, F : Fractional](lens: PLens[S, F]): FractionalPLens[S, F]
implicit
def integralPLens[S, I : Integral](lens: PLens[S, I]): IntegralPLens[S, I]
implicit
def numericPLens[S, N : Numeric](lens: PLens[S, N]): NumericPLens[S, N]
implicit
val plensCategory: PLensCategory