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

Branch

libretto.lambda.Bin$.Branch
case class Branch[<*>[_, _], T[_], F[_], A, B](l: Bin[<*>, T, F, A], r: Bin[<*>, T, F, B]) extends Bin[<*>, T, F, A <*> B]

Attributes

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

Members list

Concise view

Type members

Inherited classlikes

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

Attributes

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

Value members

Inherited methods

def <*>[B](that: Bin[<*>, T, F, B]): Bin[<*>, T, F, 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[X, A])]

Attributes

Inherited from:
Bin
def foldMap[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[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 getValue[V](using leafIsNotBranch: [x, y, z] => (x$1: T[x] =:= y <*> z) => Nothing, T: Injective[T], ev: A <*> B =:= T[V]): F[V]

Attributes

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

Attributes

Inherited from:
Bin
def mask: Masked[[_] =>> Bin[<*>, T, F, _$5], 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, ~⚬]

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[P, A], 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