package function
- Alphabetic
- Public
- All
Type Members
-
abstract
class
At[S, I, A] extends Serializable
Typeclass that defines a Lens from an
S
to anA
at an indexI
- trait AtFunctions extends AnyRef
-
abstract
class
Cons[S, A] extends Serializable
Typeclass that defines a Prism between an
S
and its headA
and tailS
-
abstract
class
Cons1[S, H, T] extends Serializable
Typeclass that defines an Iso between an
S
and its headH
and tailT
Cons1 is like Cons but for types that have *always* an head and tail, e.g.Typeclass that defines an Iso between an
S
and its headH
and tailT
Cons1 is like Cons but for types that have *always* an head and tail, e.g. a non empty list- S
source of Iso
- H
head of Iso target,
A
is supposed to be unique for a givenS
- T
tail of Iso target,
T
is supposed to be unique for a givenS
- Annotations
- @implicitNotFound( ... )
- trait Cons1Functions extends AnyRef
- trait ConsFunctions extends AnyRef
-
abstract
class
Curry[F, G] extends Serializable
- Annotations
- @implicitNotFound( ... )
- trait CurryFunctions extends AnyRef
- trait CurryInstances extends CurryInstances1
- trait CurryInstances1 extends CurryInstances2
- trait CurryInstances2 extends AnyRef
-
abstract
class
Each[S, A] extends Serializable
Typeclass that defines a Traversal from a monomorphic container
S
to all of its elements of typeA
- trait EachFunctions extends AnyRef
-
abstract
class
Empty[S] extends Serializable
Typeclass that defines a Prism from an
S
and its empty value - trait EmptyFunctions extends AnyRef
-
abstract
class
Field1[S, A] extends Serializable
Typeclass that defines a Lens from an
S
to its first element of typeA
- trait Field1Functions extends AnyRef
-
abstract
class
Field2[S, A] extends Serializable
Typeclass that defines a Lens from an
S
to its second element of typeA
- trait Field2Functions extends AnyRef
-
abstract
class
Field3[S, A] extends Serializable
Typeclass that defines a Lens from an
S
to its third element of typeA
- trait Field3Functions extends AnyRef
-
abstract
class
Field4[S, A] extends Serializable
Typeclass that defines a Lens from an
S
to its fourth element of typeA
- trait Field4Functions extends AnyRef
-
abstract
class
Field5[S, A] extends Serializable
Typeclass that defines a Lens from an
S
to its fifth element of typeA
- trait Field5Functions extends AnyRef
-
abstract
class
Field6[S, A] extends Serializable
Typeclass that defines a Lens from an
S
to its sixth element of typeA
- trait Field6Functions extends AnyRef
-
abstract
class
FilterIndex[S, I, A] extends Serializable
Typeclass that defines a Traversal from an
S
to all its elementsA
whose indexI
inS
satisfies the predicate - trait FilterIndexFunctions extends AnyRef
- trait GenericOptics extends AtFunctions with ConsFunctions with Cons1Functions with CurryFunctions with EachFunctions with EmptyFunctions with Field1Functions with Field2Functions with Field3Functions with Field4Functions with Field5Functions with Field6Functions with FilterIndexFunctions with IndexFunctions with PlatedFunctions with PossibleFunctions with ReverseFunctions with SnocFunctions with Snoc1Functions with WrappedFunctions
-
abstract
class
Index[S, I, A] extends Serializable
Typeclass that defines an Optional from an
S
to anA
at an indexI
Index is less powerful than At as it cannot create or delete value - trait IndexFunctions extends AnyRef
-
abstract
class
Plated[A] extends Serializable
Plated is a type-class for types which can extract their immediate self-similar children.
- trait PlatedFunctions extends AnyRef
-
abstract
class
Possible[S, A] extends Serializable
Typeclass that defines an Optional from a monomorphic container
S
to a possible valueA
. - trait PossibleFunctions extends AnyRef
-
abstract
class
Reverse[S, A] extends Serializable
- Annotations
- @implicitNotFound( ... )
- trait ReverseFunctions extends AnyRef
-
abstract
class
Snoc[S, A] extends Serializable
Typeclass that defines a Prism between an
S
and its initS
and lastS
-
abstract
class
Snoc1[S, I, L] extends Serializable
Typeclass that defines an Iso between an
S
and its initH
and lastT
Snoc1 is like Snoc but for types that have *always* an init and a last element, e.g.Typeclass that defines an Iso between an
S
and its initH
and lastT
Snoc1 is like Snoc but for types that have *always* an init and a last element, e.g. a non empty list- S
source of Iso
- I
init of Iso target,
I
is supposed to be unique for a givenS
- L
last of Iso target,
L
is supposed to be unique for a givenS
- Annotations
- @implicitNotFound( ... )
- trait Snoc1Functions extends AnyRef
- trait SnocFunctions extends AnyRef
-
abstract
class
Wrapped[S, A] extends Serializable
Typeclass that defines an Iso from an
S
to anA
whereS
is expected to wrapA
. - trait WrappedFunctions extends AnyRef
Value Members
- object At extends AtFunctions with Serializable
- object Cons extends ConsFunctions with Serializable
- object Cons1 extends Cons1Functions with Serializable
- object Curry extends CurryFunctions with CurryInstances with Serializable
- object Each extends EachFunctions with Serializable
- object Empty extends EmptyFunctions with Serializable
- object Field1 extends Field1Functions with Serializable
- object Field2 extends Field2Functions with Serializable
- object Field3 extends Field3Functions with Serializable
- object Field4 extends Field4Functions with Serializable
- object Field5 extends Field5Functions with Serializable
- object Field6 extends Field6Functions with Serializable
- object FilterIndex extends FilterIndexFunctions with Serializable
- object Index extends IndexFunctions with Serializable
- object Plated extends PlatedFunctions with Serializable
- object Possible extends PossibleFunctions with Serializable
- object Reverse extends ReverseFunctions with Serializable
- object Snoc extends SnocFunctions with Serializable
- object Snoc1 extends Snoc1Functions with Serializable
- object Wrapped extends WrappedFunctions with Serializable
- object all extends GenericOptics
- object fields extends Field1Functions with Field2Functions with Field3Functions with Field4Functions with Field5Functions with Field6Functions