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

Par

libretto.lambda.AForest.Par
case class Par[->[_, _], <*>[_, _], A1, A2, B1, B2] extends NonEmpty[->, <*>, A1 <*> A2, B1 <*> B2]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait NonEmpty[->, <*>, A1 <*> A2, B1 <*> B2]
trait AForest[->, <*>, A1 <*> A2, B1 <*> B2]
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[->>, <*>]): (A1 <*> A2) ->> (B1 <*> B2)

Attributes

Definition Classes

Inherited methods

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

Attributes

Inherited from:
AForest
def from[Z](using ev: Z =:= (A1 <*> A2)): AForest[->, <*>, Z, B1 <*> B2]

Attributes

Inherited from:
AForest
def inFst[Y]: AForest[->, <*>, A1 <*> A2 <*> Y, B1 <*> B2 <*> Y]

Attributes

Inherited from:
AForest
def inSnd[X]: AForest[->, <*>, X <*> A1 <*> A2, X <*> B1 <*> B2]

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: (B1 <*> B2) =:= C): AForest[->, <*>, A1 <*> A2, C]

Attributes

Inherited from:
AForest
Generated with