zio-optics/zio.optics/OpticTypesModule

OpticTypesModule

trait OpticTypesModule
class Object
trait Matchable
class Any
trait Optics

Type members

Classlikes

object Iso
object Lens
object Optional
object Prism
object Traversal
object ZIso
object ZLens
object ZOptional
object ZPrism
object ZTraversal

Types

type EOptic[-GetWhole, -SetWholeBefore, -SetPiece, +Error, +GetPiece, +SetWholeAfter] = Optic[GetWhole, SetWholeBefore, SetPiece, Error, Error, GetPiece, SetWholeAfter]
type Fold[-S, +A] = Optic[S, Nothing, Nothing, OpticFailure, Any, Chunk[A], Any]
type Getter[-S, +A] = Optic[S, Nothing, Nothing, OpticFailure, Any, A, Any]
type Iso[S, A] = ZIso[S, S, A, A]
type Lens[S, A] = ZLens[S, S, A, A]
type OpticPartiallyApplied[-SetPiece, +GetError, +SetError, +GetPiece, +SetWhole] = Optic[Any, Any, SetPiece, GetError, SetError, GetPiece, SetWhole]
type Optional[S, A] = ZOptional[S, S, A, A]
type Prism[S, A] = ZPrism[S, S, A, A]
type Setter[S, -A] = ZSetter[S, S, A]
type Traversal[S, A] = ZTraversal[S, S, A, A]
type ZIso[-S, +T, +A, -B] = Optic[S, Any, B, Nothing, Nothing, A, T]
type ZIsoPartiallyApplied[+S, +A, -B] = ZIso[Any, S, A, B]
type ZLens[-S, +T, +A, -B] = Optic[S, S, B, Nothing, Nothing, A, T]
type ZLensPartiallyApplied[+S, +A, -B] = ZLens[Any, S, A, B]
type ZOptional[-S, +T, +A, -B] = Optic[S, S, B, OpticFailure, OpticFailure, A, T]
type ZOptionalPartiallyApplied[+S, +A, -B] = ZOptional[Any, S, A, B]
type ZPrism[-S, +T, +A, -B] = Optic[S, Any, B, OpticFailure, Nothing, A, T]
type ZPrismPartiallyApplied[+S, +A, -B] = ZPrism[Any, S, A, B]
type ZSetter[-S, +T, -A] = Optic[Nothing, S, A, Any, OpticFailure, Any, T]
type ZTraversal[-S, +T, +A, -B] = Optic[S, S, Chunk[B], OpticFailure, OpticFailure, Chunk[A], T]
type ZTraversalPartiallyApplied[+S, +A, -B] = ZTraversal[Any, S, A, B]