Basis

dev.constructive.eo.optics.Basis
See theBasis companion object
trait Basis[F[_], S] extends Project[F, S], Embed[F, S]

Both halves of the S↔F correspondence in one instance — the convenience an implementor reaches for when supplying project and embed together. A given Basis satisfies both a Project and an Embed requirement.

Attributes

Companion
object
Source
Basis.scala
Graph
Supertypes
trait Embed[F, S]
trait Project[F, S]
class Object
trait Matchable
class Any

Members list

Value members

Inherited and Abstract methods

def embed(fs: F[S]): S

Glue one layer: rebuild an S node from an F of already-built children.

Glue one layer: rebuild an S node from an F of already-built children.

Attributes

Inherited from:
Embed
Source
Basis.scala
def project(s: S): F[S]

Peel one layer: expose S's immediate children as F's recursive slots.

Peel one layer: expose S's immediate children as F's recursive slots.

Attributes

Inherited from:
Project
Source
Basis.scala