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 Id[|*|]
trait Proper[|*|, F]
class Fst[|*|, F, B]
class Snd[|*|, F, A]

Members list

Value members

Abstract methods

def injective(using BiInjective[|*|]): Injective[F]

Concrete methods

infix 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