@implicitNotFound("Could not find an instance of At[${S},${I},${A}], please check Monocle instance location policy to ".+("find out which import is necessary"))
Typeclass that defines a Lens from an S to an A at an index I
Typeclass that defines a Lens from an S to an A at an index I
- Type Params
- A
target of Lens, A is supposed to be unique for a given pair (S, I)
- I
index
- S
source of Lens
- Companion
- object
- Source
- At.scala
@implicitNotFound("Could not find an instance of Each[${S},${A}], please check Monocle instance location policy to ".+("find out which import is necessary"))
Typeclass that defines a Traversal from a monomorphic container S to all of its elements of type A
Typeclass that defines a Traversal from a monomorphic container S to all of its elements of type A
- Type Params
- A
target of Traversal, A is supposed to be unique for a given S
- S
source of Traversal
- Companion
- object
- Source
- Each.scala
@implicitNotFound("Could not find an instance of FilterIndex[${S},${I},${A}], please check Monocle instance location policy to ".+("find out which import is necessary"))
Typeclass that defines a Traversal from an S to all its elements A whose index I in S satisfies the predicate
Typeclass that defines a Traversal from an S to all its elements A whose index I in S satisfies the predicate
- Type Params
- A
target of Traversal, A is supposed to be unique for a given pair (S, I)
- I
index
- S
source of Traversal
- Companion
- object
- Source
- FilterIndex.scala
@implicitNotFound("Could not find an instance of Index[${S},${I},${A}], please check Monocle instance location policy to ".+("find out which import is necessary"))
Typeclass that defines an Optional from an S to an A at an index I
Index is less powerful than At as it cannot create or delete value
Typeclass that defines an Optional from an S to an A at an index I
Index is less powerful than At as it cannot create or delete value
- Type Params
- A
target of Optional, A is supposed to be unique for a given pair (S, I)
- I
index
- S
source of Optional
- Companion
- object
- Source
- Index.scala
@implicitNotFound("Could not find an instance of Plated[${A}], please check Monocle instance location policy to ".+("find out which import is necessary"))
Plated is a type-class for types which can extract their immediate
self-similar children.
Plated is a type-class for types which can extract their immediate
self-similar children.
- Type Params
- A
the parent and child type of a Plated
- Companion
- object
- Source
- Plated.scala
@implicitNotFound("Could not find an instance of Cons[${S},${A}], please check Monocle instance location policy to ".+("find out which import is necessary")) @deprecated("no replacement", since = "3.0.0-M1")
Typeclass that defines a Prism between an S and its head A and tail S
Typeclass that defines a Prism between an S and its head A and tail S
- Type Params
- A
head of Prism target, A is supposed to be unique for a given S
- S
source of Prism and tail of Prism target
- Companion
- object
- Deprecated
[Since version 3.0.0-M1] - Source
- Cons.scala
@implicitNotFound("Could not find an instance of Cons1[${S}, ${H}, ${T}], please check Monocle instance location policy to ".+("find out which import is necessary")) @deprecated("no replacement", since = "3.0.0-M1")
Typeclass that defines an Iso between an S and its head H and tail T
Cons1 is like Cons but for types that have always an head and tail, e.g. a non empty list
Typeclass that defines an Iso between an S and its head H and tail T
Cons1 is like Cons but for types that have always an head and tail, e.g. a non empty list
- Type Params
- H
head of Iso target, A is supposed to be unique for a given S
- S
source of Iso
- T
tail of Iso target, T is supposed to be unique for a given S
- Companion
- object
- Deprecated
[Since version 3.0.0-M1] - Source
- Cons1.scala
@implicitNotFound("Could not find an instance of Curry[${F},${G}], please check Monocle instance location policy to ".+("find out which import is necessary")) @deprecated("no replacement", since = "3.0.0-M1")
@implicitNotFound("Could not find an instance of Empty[${S}], please check Monocle instance location policy to ".+("find out which import is necessary")) @deprecated("no replacement", since = "3.0.0-M1")
Typeclass that defines a Prism from an S and its empty value
Typeclass that defines a Prism from an S and its empty value
- Type Params
- S
source of Prism
- Companion
- object
- Deprecated
[Since version 3.0.0-M1] - Source
- Empty.scala
@implicitNotFound("Could not find an instance of Field1[${S},${A}], please check Monocle instance location policy to ".+("find out which import is necessary")) @deprecated("use Focus[$TupleType](_._1)", since = "3.0.0-M2")
Typeclass that defines a Lens from an S to its first element of type A
Typeclass that defines a Lens from an S to its first element of type A
- Type Params
- A
target of Lens, A is supposed to be unique for a given S
- S
source of Lens
- Companion
- object
- Deprecated
[Since version 3.0.0-M2] - Source
- Field1.scala
@implicitNotFound("Could not find an instance of Field2[${S},${A}], please check Monocle instance location policy to ".+("find out which import is necessary")) @deprecated("use Focus[$TupleType](_._2)", since = "3.0.0-M2")
Typeclass that defines a Lens from an S to its second element of type A
Typeclass that defines a Lens from an S to its second element of type A
- Type Params
- A
target of Lens, A is supposed to be unique for a given S
- S
source of Lens
- Companion
- object
- Deprecated
[Since version 3.0.0-M2] - Source
- Field2.scala
@implicitNotFound("Could not find an instance of Field3[${S},${A}], please check Monocle instance location policy to ".+("find out which import is necessary")) @deprecated("use Focus[$TupleType](_._3)", since = "3.0.0-M2")
Typeclass that defines a Lens from an S to its third element of type A
Typeclass that defines a Lens from an S to its third element of type A
- Type Params
- A
target of Lens, A is supposed to be unique for a given S
- S
source of Lens
- Companion
- object
- Deprecated
[Since version 3.0.0-M2] - Source
- Field3.scala
@implicitNotFound("Could not find an instance of Field4[${S},${A}], please check Monocle instance location policy to ".+("find out which import is necessary")) @deprecated("use Focus[$TupleType](_._4)", since = "3.0.0-M2")
Typeclass that defines a Lens from an S to its fourth element of type A
Typeclass that defines a Lens from an S to its fourth element of type A
- Type Params
- A
target of Lens, A is supposed to be unique for a given S
- S
source of Lens
- Companion
- object
- Deprecated
[Since version 3.0.0-M2] - Source
- Field4.scala
@implicitNotFound("Could not find an instance of Field5[${S},${A}], please check Monocle instance location policy to ".+("find out which import is necessary")) @deprecated("use Focus[$TupleType](_._5)", since = "3.0.0-M2")
Typeclass that defines a Lens from an S to its fifth element of type A
Typeclass that defines a Lens from an S to its fifth element of type A
- Type Params
- A
target of Lens, A is supposed to be unique for a given S
- S
source of Lens
- Companion
- object
- Deprecated
[Since version 3.0.0-M2] - Source
- Field5.scala
@implicitNotFound("Could not find an instance of Field6[${S},${A}], please check Monocle instance location policy to ".+("find out which import is necessary")) @deprecated("use Focus[$TupleType](_._6)", since = "3.0.0-M2")
Typeclass that defines a Lens from an S to its sixth element of type A
Typeclass that defines a Lens from an S to its sixth element of type A
- Type Params
- A
target of Lens, A is supposed to be unique for a given S
- S
source of Lens
- Companion
- object
- Deprecated
[Since version 3.0.0-M2] - Source
- Field6.scala
@deprecated("no replacement", since = "3.0.0-M1")
Typeclass that defines an Optional from a monomorphic container S to a possible value A.
There must be at most one A in S.
Typeclass that defines an Optional from a monomorphic container S to a possible value A.
There must be at most one A in S.
- Type Params
- A
target of the Optional, A is supposed to be unique for a given S
- S
source of the Optional
- Companion
- object
- Deprecated
[Since version 3.0.0-M1] - Source
- Possible.scala
@implicitNotFound("Could not find an instance of Reverse[${S},${A}], please check Monocle instance location policy to ".+("find out which import is necessary")) @deprecated("no replacement", since = "3.0.0-M1")
@implicitNotFound("Could not find an instance of Snoc[${S},${A}], please check Monocle instance location policy to ".+("find out which import is necessary")) @deprecated("no replacement", since = "3.0.0-M1")
Typeclass that defines a Prism between an S and its init S and last S
Typeclass that defines a Prism between an S and its init S and last S
- Type Params
- A
last of Prism target, A is supposed to be unique for a given S
- S
source of Prism and init of Prism target
- Companion
- object
- Deprecated
[Since version 3.0.0-M1] - Source
- Snoc.scala
@implicitNotFound("Could not find an instance of Snoc1[${S}, ${I}, ${L}], please check Monocle instance location policy to ".+("find out which import is necessary")) @deprecated("no replacement", since = "3.0.0-M1")
Typeclass that defines an Iso between an S and its init H and last T
Snoc1 is like Snoc but for types that have always an init and a last element, e.g. a non empty list
Typeclass that defines an Iso between an S and its init H and last T
Snoc1 is like Snoc but for types that have always an init and a last element, e.g. a non empty list
- Type Params
- I
init of Iso target, I is supposed to be unique for a given S
- L
last of Iso target, L is supposed to be unique for a given S
- S
source of Iso
- Companion
- object
- Deprecated
[Since version 3.0.0-M1] - Source
- Snoc1.scala