Uses of Package
com.jnape.palatable.lambda.optics.functions

  • Class
    Description
     
    Given an Optic, a function from A to B, and a "larger" value S, produce a T by retrieving the A from the S, applying the function, and updating the S with the B resulting from the function.
    Turn an Optic with a unary mapping that can be used for viewing some number of values into an Optic that views the first value, if it exists.
    Turn an Optic with a unary mapping that can be used for setting (e.g.
    Given an Optic, a "smaller" value B, and a "larger" value S, produce a T by lifting the Optic into the Identity functor.
    The inverse of Over: given an Iso, a function from T to S, and a "smaller" value B, return a "smaller" value A by traversing around the type ring (B -> T -> S -> A).
    Given an Optic and a "larger" value S, retrieve a "smaller" value A by lifting the Optic into the Const functor.