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

IntoNode

libretto.lambda.AForest.Focused.IntoNode
case class IntoNode[->[_, _], <*>[_, _], FO[_], FI[_], X, P, Y, GO[_]](outerF: Focus[<*>, FO], innerF: Proper[<*>, FI], target: Node[->, <*>, FI[X], P, Y]) extends Focused[->, <*>, [x] =>> FO[FI[x]], X, GO[Y]]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Focused[->, <*>, [x] =>> FO[FI[x]], X, GO[Y]]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def inFst[T, U](snd: AForest[->, <*>, T, U]): Focused[->, <*>, [x] =>> FO[FI[x]] <*> T, X, GO[Y] <*> U]

Attributes

Definition Classes
override def inSnd[T, U](fst: AForest[->, <*>, T, U]): Focused[->, <*>, [x] =>> T <*> FO[FI[x]], X, U <*> GO[Y]]

Attributes

Definition Classes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def to[C](using ev: GO[Y] =:= C): Focused[->, <*>, [x] =>> FO[FI[x]], X, C]

Attributes

Inherited from:
Focused
Generated with