libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Bin/Leaf

Leaf

libretto.lambda.Bin.Leaf
case class Leaf[<*>[_, _], T[_], F[_], A](value: F[A]) extends Bin[<*>, T, F, T[A]]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Bin[<*>, T, F, T[A]]
class Object
trait Matchable
class Any
Show all

Members list

Type members

Inherited classlikes

enum Partitioned[G[_], H[_], ~⚬[_, _]]

Attributes

Inherited from:
Bin
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
class Both[G, H, X, Y, ~⚬]

Value members

Inherited methods

def <*>[B](that: Bin[<*>, T, F, B]): Bin[<*>, T, F, T[A] <*> B]

Attributes

Inherited from:
Bin
def deduplicateLeafs[->[_, _]](dup: [x] => (x$1: F[x]) => ->[T[x], T[x] <*> T[x]])(using leafTest: UniqueTypeArg[F], shuffled: Shuffled[->, <*>]): Exists[[X] =>> (Bin[<*>, T, F, X], shuffled.Shuffled[X, T[A]])]

Attributes

Inherited from:
Bin
def foldMap[G[_]](map: [x] => (x$1: F[x]) => G[T[x]])(using G: Zippable[<*>, G]): G[T[A]]

Attributes

Inherited from:
Bin
def foldMap0[B](map: [x] => (x$1: F[x]) => B, reduce: (B, B) => B): B

Attributes

Inherited from:
Bin
def foldMapWith[G[_]](map: [x] => (x$1: F[x]) => G[T[x]], zip: [x, y] => (x$1: G[x], x$2: G[y]) => G[x <*> y]): G[T[A]]

Attributes

Inherited from:
Bin
def getValue[V](using leafIsNotBranch: [x, y, z] => (x$1: T[x] =:= (y <*> z)) => Nothing, T: Injective[T], ev: T[A] =:= T[V]): F[V]

Attributes

Inherited from:
Bin
def mapLeafs[G[_]](f: [x] => (x$1: F[x]) => G[x]): Bin[<*>, T, G, T[A]]

Attributes

Inherited from:
Bin
def mask: Masked[[_] =>> Bin[<*>, T, F, _$5], T[A]]

Attributes

Inherited from:
Bin
def partition[G[_], H[_]](f: [x] => (x$1: F[x]) => Either[G[x], H[x]])(using shuffle: Shuffle[<*>]): Partitioned[G, H, shuffle.~⚬]

Attributes

Inherited from:
Bin
def product[B, ->[_, _]](that: Bin[<*>, T, F, B])(discardFst: [X, Y] => (x$1: F[X]) => ->[T[X] <*> Y, Y])(using leafTest: UniqueTypeArg[F], shuffled: Shuffled[->, <*>]): Exists[[P] =>> (Bin[<*>, T, F, P], shuffled.Shuffled[P, T[A]], shuffled.Shuffled[P, B])]

Attributes

Inherited from:
Bin
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with