libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/AForest/Focused

Focused

libretto.lambda.AForest.Focused
See theFocused companion object
sealed trait Focused[->[_, _], <*>[_, _], F[_], X, B]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class At[->, <*>, F, X, Y, G]
class IntoNode[->, <*>, FO, FI, X, P, Y, GO]

Members list

Value members

Abstract methods

def inFst[T, U](snd: AForest[->, <*>, T, U]): Focused[->, <*>, [x] =>> F[x] <*> T, X, B <*> U]
def inSnd[T, U](fst: AForest[->, <*>, T, U]): Focused[->, <*>, [x] =>> T <*> F[x], X, U <*> B]

Concrete methods

def to[C](using ev: B =:= C): Focused[->, <*>, F, X, C]
Generated with