analysis/org.polystat.odin.analysis.utils/Optics/optionals

optionals

object optionals
class Object
trait Matchable
class Any

Value members

Concrete methods

def focusArrayElemAtIndex(i: Int): Optional[EOArray[EOExprOnly], EOExprOnly]
def focusBndAttrWithName(name: EONamedBnd): Optional[EOObj[EOExprOnly], EOExprOnly]
def focusCopyArgAtIndex(i: Int): Optional[EOCopy[EOExprOnly], EOExprOnly]
def mapValueAtKey[K, V](k: K): Optional[Map[K, V], V]
def nonEmptyVectorIndexOptional[A](i: Int): Optional[NonEmptyVector[A], A]
def vectorFindOptional[A](pred: A => Boolean): Optional[Vector[A], A]
def vectorIndexOptional[A](i: Int): Optional[Vector[A], A]

Concrete fields

val bndToEONamedBND: Optional[EOBnd[EOExprOnly], EONamedBnd]