libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Focus

Focus

libretto.lambda.Focus
See theFocus companion object
sealed trait Focus[|*|[_, _], F[_]]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Fst[|*|, F, B]
class Id[|*|]
class Snd[|*|, F, A]

Members list

Concise view

Value members

Concrete methods

def compose[G[_]](that: Focus[|*|, G]): Focus[|*|, [x] =>> F[G[x]]]
def inFst[B]: Focus[|*|, [x] =>> F[x] |*| B]
def inSnd[A]: Focus[|*|, [x] =>> A |*| F[x]]
Generated with