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

Punched

libretto.lambda.AForest.Punched
See thePunched companion object
sealed trait Punched[->[_, _], <*>[_, _], F[_], G[_]]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Fst[->, <*>, F, A2, G, B2]
class Id[->, <*>]
class Snd[->, <*>, A1, F, B1, G]

Members list

Value members

Abstract methods

def apply[T]: AForest[->, <*>, F[T], G[T]]
def inFocus: Focus[<*>, F]
def outFocus: Focus[<*>, G]
def plug[T, U](f: AForest[->, <*>, T, U]): AForest[->, <*>, F[T], G[U]]

Concrete methods

def inFst[T, U](snd: AForest[->, <*>, T, U]): Punched[->, <*>, [x] =>> F[x] <*> T, [y] =>> G[y] <*> U]
def inSnd[T, U](fst: AForest[->, <*>, T, U]): Punched[->, <*>, [x] =>> T <*> F[x], [y] =>> U <*> G[y]]
Generated with