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

Node

libretto.lambda.AForest.Node
case class Node[->[_, _], <*>[_, _], A, X, B](value: A -> X, children: AForest[->, <*>, X, B]) extends NonEmpty[->, <*>, A, B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait NonEmpty[->, <*>, A, B]
trait AForest[->, <*>, A, B]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def foldMap[->>[_, _]](f: [X, Y] => (X -> Y) => ->>[X, Y])(using cat: SemigroupalCategory[->>, <*>]): A ->> B

Attributes

Definition Classes

Inherited methods

def focus[F[_], X](pos: Focus[<*>, F])(using in: BiInjective[<*>], ev: F[X] =:= A): Focused[->, <*>, F, X, B]

Attributes

Inherited from:
AForest
def from[Z](using ev: Z =:= A): AForest[->, <*>, Z, B]

Attributes

Inherited from:
AForest
def inFst[Y]: AForest[->, <*>, A <*> Y, B <*> Y]

Attributes

Inherited from:
AForest
def inSnd[X]: AForest[->, <*>, X <*> A, X <*> B]

Attributes

Inherited from:
AForest
override def nonEmpty: Boolean

Attributes

Definition Classes
Inherited from:
NonEmpty
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def to[C](using ev: B =:= C): AForest[->, <*>, A, C]

Attributes

Inherited from:
AForest
Generated with