t

monocle.std

StdInstances

trait StdInstances extends BigDecimalOptics with BigIntOptics with ByteOptics with CharOptics with DoubleOptics with EitherOptics with FunctionOptics with IntOptics with ListOptics with LongOptics with MapOptics with OptionOptics with StringOptics with Tuple1Optics with TryOptics with ChainOptics with TheseOptics with NonEmptyChainOptics with NonEmptyListOptics with NonEmptyVectorOptics with ValidatedOptics

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. StdInstances
  2. ValidatedOptics
  3. NonEmptyVectorOptics
  4. NonEmptyListOptics
  5. NonEmptyChainOptics
  6. TheseOptics
  7. ChainOptics
  8. TryOptics
  9. Tuple1Optics
  10. StringOptics
  11. PlatformSpecificStringOptics
  12. OptionOptics
  13. MapOptics
  14. LongOptics
  15. ListOptics
  16. IntOptics
  17. FunctionOptics
  18. EitherOptics
  19. DoubleOptics
  20. CharOptics
  21. ByteOptics
  22. BigIntOptics
  23. BigDecimalOptics
  24. AnyRef
  25. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. val bigDecimalToInt: Prism[BigDecimal, Int]
    Definition Classes
    BigDecimalOptics
  6. val bigDecimalToLong: Prism[BigDecimal, Long]
    Definition Classes
    BigDecimalOptics
  7. val bigIntToBoolean: Prism[BigInt, Boolean]
    Definition Classes
    BigIntOptics
  8. val bigIntToByte: Prism[BigInt, Byte]
    Definition Classes
    BigIntOptics
  9. val bigIntToChar: Prism[BigInt, Char]
    Definition Classes
    BigIntOptics
  10. val bigIntToInt: Prism[BigInt, Int]
    Definition Classes
    BigIntOptics
  11. val bigIntToLong: Prism[BigInt, Long]
    Definition Classes
    BigIntOptics
  12. val byteToBoolean: Prism[Byte, Boolean]
    Definition Classes
    ByteOptics
  13. def chainToList[A]: Iso[Chain[A], List[A]]
    Definition Classes
    ChainOptics
  14. final def chainToNec[A]: Prism[Chain[A], NonEmptyChain[A]]
    Definition Classes
    NonEmptyChainOptics
  15. def chainToVector[A]: Iso[Chain[A], Vector[A]]
    Definition Classes
    ChainOptics
  16. val charToBoolean: Prism[Char, Boolean]
    Definition Classes
    CharOptics
  17. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  18. val doubleToFloat: Prism[Double, Float]
    Definition Classes
    DoubleOptics
  19. val doubleToInt: Prism[Double, Int]
    Definition Classes
    DoubleOptics
  20. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  22. final def failure[E, A]: Prism[Validated[E, A], E]
    Definition Classes
    ValidatedOptics
  23. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  24. final def flip[A, B, C]: Iso[(A) => (B) => C, (B) => (A) => C]
    Definition Classes
    FunctionOptics
  25. final def flipped[A, B, C]: ((A) => (B) => C) => (B) => (A) => C
    Definition Classes
    FunctionOptics
  26. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  27. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  28. val intToBoolean: Prism[Int, Boolean]
    Definition Classes
    IntOptics
  29. val intToByte: Prism[Int, Byte]
    Definition Classes
    IntOptics
  30. val intToChar: Prism[Int, Char]
    Definition Classes
    IntOptics
  31. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  32. def listToVector[A]: Iso[List[A], Vector[A]]
    Definition Classes
    ListOptics
  33. val longToBoolean: Prism[Long, Boolean]
    Definition Classes
    LongOptics
  34. val longToByte: Prism[Long, Byte]
    Definition Classes
    LongOptics
  35. val longToChar: Prism[Long, Char]
    Definition Classes
    LongOptics
  36. val longToInt: Prism[Long, Int]
    Definition Classes
    LongOptics
  37. def mapToSet[K]: Iso[Map[K, Unit], Set[K]]
    Definition Classes
    MapOptics
  38. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  39. final def necToOneAnd[A]: Iso[NonEmptyChain[A], OneAnd[Chain, A]]
    Definition Classes
    NonEmptyChainOptics
  40. final def nelToOneAnd[A]: Iso[NonEmptyList[A], OneAnd[List, A]]
    Definition Classes
    NonEmptyListOptics
  41. final def nevToOneAnd[A]: Iso[NonEmptyVector[A], OneAnd[Vector, A]]
    Definition Classes
    NonEmptyVectorOptics
  42. final def none[A]: Prism[Option[A], Unit]
    Definition Classes
    OptionOptics
  43. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  44. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  45. final def optNecToChain[A]: Iso[Option[NonEmptyChain[A]], Chain[A]]
    Definition Classes
    NonEmptyChainOptics
  46. final def optNelToList[A]: Iso[Option[NonEmptyList[A]], List[A]]
    Definition Classes
    NonEmptyListOptics
  47. final def optNevToVector[A]: Iso[Option[NonEmptyVector[A]], Vector[A]]
    Definition Classes
    NonEmptyVectorOptics
  48. final def optionToDisjunction[A]: Iso[Option[A], Either[Unit, A]]
    Definition Classes
    OptionOptics
  49. def pChainToList[A, B]: PIso[Chain[A], Chain[B], List[A], List[B]]
    Definition Classes
    ChainOptics
  50. final def pChainToNec[A, B]: PPrism[Chain[A], Chain[B], NonEmptyChain[A], NonEmptyChain[B]]
    Definition Classes
    NonEmptyChainOptics
  51. def pChainToVector[A, B]: PIso[Chain[A], Chain[B], Vector[A], Vector[B]]
    Definition Classes
    ChainOptics
  52. final def pFailure[E, A, F]: PPrism[Validated[E, A], Validated[F, A], E, F]
    Definition Classes
    ValidatedOptics
  53. def pListToVector[A, B]: PIso[List[A], List[B], Vector[A], Vector[B]]
    Definition Classes
    ListOptics
  54. final def pNecToOneAnd[A, B]: PIso[NonEmptyChain[A], NonEmptyChain[B], OneAnd[Chain, A], OneAnd[Chain, B]]
    Definition Classes
    NonEmptyChainOptics
  55. final def pNelToOneAnd[A, B]: PIso[NonEmptyList[A], NonEmptyList[B], OneAnd[List, A], OneAnd[List, B]]
    Definition Classes
    NonEmptyListOptics
  56. final def pNevToOneAnd[A, B]: PIso[NonEmptyVector[A], NonEmptyVector[B], OneAnd[Vector, A], OneAnd[Vector, B]]
    Definition Classes
    NonEmptyVectorOptics
  57. final def pOptNecToChain[A, B]: PIso[Option[NonEmptyChain[A]], Option[NonEmptyChain[B]], Chain[A], Chain[B]]
    Definition Classes
    NonEmptyChainOptics
  58. final def pOptNelToList[A, B]: PIso[Option[NonEmptyList[A]], Option[NonEmptyList[B]], List[A], List[B]]
    Definition Classes
    NonEmptyListOptics
  59. final def pOptNevToVector[A, B]: PIso[Option[NonEmptyVector[A]], Option[NonEmptyVector[B]], Vector[A], Vector[B]]
    Definition Classes
    NonEmptyVectorOptics
  60. final def pOptionToDisjunction[A, B]: PIso[Option[A], Option[B], Either[Unit, A], Either[Unit, B]]
    Definition Classes
    OptionOptics
  61. final def pSome[A, B]: PPrism[Option[A], Option[B], A, B]
    Definition Classes
    OptionOptics
  62. final def pStdLeft[A, B, C]: PPrism[Either[A, B], Either[C, B], A, C]
    Definition Classes
    EitherOptics
  63. final def pStdRight[A, B, C]: PPrism[Either[A, B], Either[A, C], B, C]
    Definition Classes
    EitherOptics
  64. final def pSuccess[E, A, B]: PPrism[Validated[E, A], Validated[E, B], A, B]
    Definition Classes
    ValidatedOptics
  65. def pTheseLeft[A, B, C]: POptional[Ior[A, B], Ior[C, B], A, C]
    Definition Classes
    TheseOptics
  66. def pTheseRight[A, B, C]: POptional[Ior[A, B], Ior[A, C], B, C]
    Definition Classes
    TheseOptics
  67. final def pTrySuccess[A, B]: PPrism[Try[A], Try[B], A, B]
    Definition Classes
    TryOptics
  68. final def pValidatedToDisjunction[E1, E2, A1, A2]: PIso[Validated[E1, A1], Validated[E2, A2], Either[E1, A1], Either[E2, A2]]
    Definition Classes
    ValidatedOptics
  69. final def pVectorToNev[A, B]: PPrism[Vector[A], Vector[B], NonEmptyVector[A], NonEmptyVector[B]]
    Definition Classes
    NonEmptyVectorOptics
  70. final def some[A]: Prism[Option[A], A]
    Definition Classes
    OptionOptics
  71. final def stdLeft[A, B]: Prism[Either[A, B], A]
    Definition Classes
    EitherOptics
  72. final def stdRight[A, B]: Prism[Either[A, B], B]
    Definition Classes
    EitherOptics
  73. val stringToBoolean: Prism[String, Boolean]
    Definition Classes
    StringOptics
  74. val stringToByte: Prism[String, Byte]
    Definition Classes
    StringOptics
  75. val stringToInt: Prism[String, Int]
    Definition Classes
    StringOptics
  76. val stringToList: Iso[String, List[Char]]
    Definition Classes
    StringOptics
  77. val stringToLong: Prism[String, Long]
    Definition Classes
    StringOptics
  78. val stringToURI: Prism[String, URI]
    Definition Classes
    StringOptics
  79. val stringToURL: Prism[String, URL]
    Definition Classes
    PlatformSpecificStringOptics
  80. val stringToUUID: Prism[String, UUID]
    Definition Classes
    StringOptics
  81. final def success[E, A]: Prism[Validated[E, A], A]
    Definition Classes
    ValidatedOptics
  82. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  83. def theseLeft[A, B]: Optional[Ior[A, B], A]
    Definition Classes
    TheseOptics
  84. def theseRight[A, B]: Optional[Ior[A, B], B]
    Definition Classes
    TheseOptics
  85. def theseToDisjunction[A, B]: Prism[Ior[A, B], Either[A, B]]
    Definition Classes
    TheseOptics
  86. def toString(): String
    Definition Classes
    AnyRef → Any
  87. final def tryFailure[A]: Prism[Try[A], Throwable]
    Definition Classes
    TryOptics
  88. final def trySuccess[A]: Prism[Try[A], A]
    Definition Classes
    TryOptics
  89. def tuple1Iso[A]: Iso[(A), A]
    Definition Classes
    Tuple1Optics
  90. final def validationToDisjunction[E, A]: Iso[Validated[E, A], Either[E, A]]
    Definition Classes
    ValidatedOptics
  91. final def vectorToNev[A]: Prism[Vector[A], NonEmptyVector[A]]
    Definition Classes
    NonEmptyVectorOptics
  92. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  93. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  94. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  95. final def withDefault[A](defaultValue: A): Iso[Option[A], A]

    Creates an Iso that maps None to defaultValue and inversely.

    Creates an Iso that maps None to defaultValue and inversely.

    val defaultTo0 = withDefault(0)
defaultTo0.get(None) == 0
defaultTo0.get(Some(1)) == 1
defaultTo0.reverseGet(0) == None
defaultTo0.reverseGet(1) == Some(1)

    withDefault is a valid Iso only if we consider the set of A without defaultValue. For example, Some(0) breaks the round-trip property of Iso:

    defaultTo0.reverseGet(defaultTo0.get(Some(0))) == None
    Definition Classes
    OptionOptics
    See also

    This method is called non in Haskell Lens.

Inherited from ValidatedOptics

Inherited from NonEmptyVectorOptics

Inherited from NonEmptyListOptics

Inherited from NonEmptyChainOptics

Inherited from TheseOptics

Inherited from ChainOptics

Inherited from TryOptics

Inherited from Tuple1Optics

Inherited from StringOptics

Inherited from PlatformSpecificStringOptics

Inherited from OptionOptics

Inherited from MapOptics

Inherited from LongOptics

Inherited from ListOptics

Inherited from IntOptics

Inherited from FunctionOptics

Inherited from EitherOptics

Inherited from DoubleOptics

Inherited from CharOptics

Inherited from ByteOptics

Inherited from BigIntOptics

Inherited from BigDecimalOptics

Inherited from AnyRef

Inherited from Any

Ungrouped