Embed

dev.constructive.eo.optics.Embed
trait Embed[F[_], S]

Attributes

See also

Project — the dual, gluing one F-layer back into an S.

Source
Basis.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Basis[F, S]

Members list

Value members

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

Source
Basis.scala