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

NonEmpty

libretto.lambda.AForest.NonEmpty
sealed trait NonEmpty[->[_, _], <*>[_, _], A, B] extends AForest[->, <*>, A, B]

Attributes

Graph
Supertypes
trait AForest[->, <*>, A, B]
class Object
trait Matchable
class Any
Known subtypes
class Node[->, <*>, A, X, B]
class Par[->, <*>, A1, A2, B1, B2]

Members list

Value members

Concrete methods

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, 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
def to[C](using ev: B =:= C): AForest[->, <*>, A, C]

Attributes

Inherited from:
AForest

Inherited and Abstract methods

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

Attributes

Inherited from:
AForest
Generated with