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

Empty

libretto.lambda.AForest.Empty
case class Empty[->[_, _], <*>[_, _], A]() extends AForest[->, <*>, A, A]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait AForest[->, <*>, A, A]
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 ->> A

Attributes

Definition Classes
override def nonEmpty: Boolean

Attributes

Definition Classes

Inherited methods

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
AForest
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

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

Attributes

Inherited from:
AForest
Generated with