libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/AForest/Punched/Snd

Snd

libretto.lambda.AForest.Punched.Snd
case class Snd[->[_, _], <*>[_, _], A1, F[_], B1, G[_]](fst: AForest[->, <*>, A1, B1], snd: Punched[->, <*>, F, G]) extends Punched[->, <*>, [x] =>> A1 <*> F[x], [y] =>> B1 <*> G[y]]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Punched[->, <*>, [x] =>> A1 <*> F[x], [y] =>> B1 <*> G[y]]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def apply[T]: AForest[->, <*>, A1 <*> F[T], B1 <*> G[T]]

Attributes

Definition Classes
override def inFocus: Focus[<*>, [x] =>> A1 <*> F[x]]

Attributes

Definition Classes
override def outFocus: Focus[<*>, [y] =>> B1 <*> G[y]]

Attributes

Definition Classes
override def plug[T, U](f: AForest[->, <*>, T, U]): AForest[->, <*>, A1 <*> F[T], B1 <*> G[U]]

Attributes

Definition Classes

Inherited methods

def inFst[T, U](snd: AForest[->, <*>, T, U]): Punched[->, <*>, [x] =>> [x] =>> A1 <*> F[x][x] <*> T, [y] =>> [y] =>> B1 <*> G[y][y] <*> U]

Attributes

Inherited from:
Punched
def inSnd[T, U](fst: AForest[->, <*>, T, U]): Punched[->, <*>, [x] =>> T <*> [x] =>> A1 <*> F[x][x], [y] =>> U <*> [y] =>> B1 <*> G[y][y]]

Attributes

Inherited from:
Punched
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with