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

Punched

libretto.lambda.Shuffled.Punched
See thePunched companion object
override trait Punched[F[_], G[_]]

A Shuffled with a hole through it.

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Punched[F, G]

Members list

Value members

Abstract methods

def focusIn: Focus[|*|, F]
def focusOut: Focus[|*|, G]
def plug[X]: Shuffled[F[X], G[X]]

Concrete methods

def apply[X]: Shuffled[F[X], G[X]]
def knitBw(k: Knit[|*|, G]): Exists[[F0] =>> (Knitted[|*|, F, F0], Shuffled[F0, k.Res])]
Generated with